914 search results - page 123 / 183 » Lightweight scalable components |
83
Voted
IPPS
1996
IEEE
15 years 4 months ago
1996
IEEE
To maintain the integrity of the US nuclear stockpile without detonating nuclear weapons, the DOE needs the results of computer-simulations that overwhelm the world's most po...
99
Voted
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
91
Voted
CASES
2007
ACM
15 years 4 months ago
2007
ACM
We present an efficient framework for dynamic reconfiguration of application-specific custom instructions. A key component of this framework is an iterative algorithm for temporal...
109
Voted
ERCIMDL
2006
Springer
15 years 4 months ago
2006
Springer
Peer-to-peer networks have been identified as promising architectural concept for developing search scenarios across digital library collections. Digital libraries typically offer ...
116
Voted
DEXA
2008
Springer
15 years 2 months ago
2008
Springer
Information filtering systems constitute a critical component in modern information seeking applications. As the number of users grows and the information available becomes even bi...