10159 search results - page 1840 / 2032 » System Design Validation Using Formal Models |
129
click to vote
BIRTHDAY
2012
Springer
13 years 10 months ago
2012
Springer
3-D integration presents many new opportunities for architects and embedded systems designers. However, 3-D integration has not yet been explored by the cryptographic hardware com...
131
click to vote
EUROSYS
2006
ACM
15 years 11 months ago
2006
ACM
Building content-based search tools for feature-rich data has been a challenging problem because feature-rich data such as audio recordings, digital images, and sensor data are in...
119
Voted
AIME
2005
Springer
15 years 7 months ago
2005
Springer
Though multi-agent systems have been explored in a wide variety of medical settings, their role at the primary care level has been relatively little investigated. In this paper, we...
127
click to vote
JSSPP
2004
Springer
15 years 7 months ago
2004
Springer
As we continue to evolve into large-scale parallel systems, many of them employing hundreds of computing engines to take on mission-critical roles, it is crucial to design those s...
132
click to vote
IPTPS
2005
Springer
15 years 7 months ago
2005
Springer
— We propose here an analysis of a rich dataset which gives an exhaustive and dynamic view of the exchanges processed in a running eDonkey system. We focus on correlation in term...