1611 search results - page 211 / 323 » A Library for Self-Adjusting Computation |
181
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
152
click to vote
DIM
2009
ACM
16 years 24 days ago
2009
ACM
This paper concerns the problem of identity management in modern Web-2.0-based mashup applications. Identity management supports convenient access to information when mashups are ...
175
click to vote
IEEEPACT
2007
IEEE
16 years 17 days ago
2007
IEEE
With the advent of chip-multiprocessors, we are faced with the challenge of parallelizing performance-critical software. Transactional memory (TM) has emerged as a promising progr...
178
click to vote
TPHOL
2007
IEEE
16 years 16 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
178
click to vote
VLSID
2006
IEEE
16 years 8 days ago
2006
IEEE
This tutorial present the key aspects of design challenges and its solutions that are being experienced in VLSI design in the era of nano technology. The focus will be on design c...