959 search results - page 58 / 192 » Transfers between Logics and their Applications |
167
click to vote
DAC
2006
ACM
16 years 3 days ago
2006
ACM
Several emerging Design-for-Debug (DFD) methodologies are addressing silicon debug by making internal signal values and other data observable. Most of these methodologies require ...
289
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
206
click to vote
MIDDLEWARE
2009
Springer
16 years 20 days ago
2009
Springer
Mobile phones are set to become the universal interface to online services and cloud computing applications. However, using them for this purpose today is limited to two configura...
162
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
149
click to vote
HCW
2000
IEEE
15 years 10 months ago
2000
IEEE
Dramatic increasesin availablewide-area bandwidth have driven event-basedmonitoring to new heights. Monitoring services are widely used in today's distributed laboratories, w...