2075 search results - page 308 / 415 » aime 2007 |
109
Voted
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
In today's SoC design cycles, debugging is one of the most time consuming manual tasks. CAD solutions strive to reduce the inefficiency of debugging by identifying error sourc...
FOAL
2007
ACM
15 years 4 months ago
2007
ACM
AspectJ aims at managing tangled concerns in Java systems. Crosscutting aspect definitions are woven into the Java bytecode at compile-time. Whether the better modularization intr...
FOAL
2007
ACM
15 years 4 months ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
107
click to vote
FROCOS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
131
Voted
GIR
2007
ACM
15 years 4 months ago
2007
ACM
This paper introduces the concept of spatial filters as an approach to increasing the relevance of the information retrieved by users of mobile information systems. This approach ...