138 search results - page 25 / 28 » Hardness of fully dense problems |
MICRO
2009
IEEE
14 years 9 days ago
2009
IEEE
Despite flash memory’s promise, it suffers from many idiosyncrasies such as limited durability, data integrity problems, and asymmetry in operation granularity. As architects, ...
MODELS
2009
Springer
14 years 6 days ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
FDL
2008
IEEE
14 years 4 days ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
MM
2006
ACM
13 years 11 months ago
2006
ACM
Automated annotation of digital pictures has been a highly challenging problem for computer scientists since the invention of computers. The capability of annotating pictures by c...
CCS
2005
ACM
13 years 11 months ago
2005
ACM
In automated trust negotiation (ATN), two parties exchange digitally signed credentials that contain attribute information to establish trust and make access control decisions. Be...