1992 search results - page 270 / 399 » Memory modeling for system synthesis |
203
click to vote
IJVR
2006
15 years 6 months ago
2006
In this paper, we will present an overview of existing research in the vast area of IVH systems. We will also present our ongoing work on improving the expressive capabilities of I...
183
click to vote
ICLP
1995
Springer
15 years 9 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
176
click to vote
MOBICOM
2004
ACM
15 years 11 months ago
2004
ACM
The progress of mobile device technology unfolds a new spectrum of applications that challenges conventional infrastructure models. Most of these devices are perceived by their us...
199
click to vote
AC
2005
Springer
15 years 6 months ago
2005
Springer
Reducing power consumption has become a major challenge in the design and operation of today's computer systems. This chapter describes different techniques addressing this c...
162
click to vote
ENTCS
2002
15 years 6 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...