10159 search results - page 1767 / 2032 » System Design Validation Using Formal Models |
146
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
This paper presents a way of encoding some kinds of dynamic reconfiguration behaviour in the interface portion of circuit descriptions. This has many advantages. The user of a rec...
161
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
—An energy detector designed in a 0.18μm CMOS technology and intended for a non-coherent impulse-radio UWB receiver is presented in this paper. The proposed circuit exploits the...
164
click to vote
DEXA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The development of scalable parallel database systems requires the design of efficient algorithms for the join operation which is the most frequent and expensive operatio...
162
click to vote
OOPSLA
2004
Springer
16 years 12 hour ago
2004
Springer
Generative programming and aspect-oriented software development have been proposed over the last years aiming at increasing maintainability and reusability of software systems. Wh...
185
Voted
ISWC
2003
IEEE
15 years 12 months ago
2003
IEEE
Context-aware computing describes the situation where a wearable / mobile computer is aware of its user’s state and surroundings and modifies its behavior based on this informat...