2129 search results - page 254 / 426 » Cutting-Edge Timing Analysis Techniques |
180
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
New embedded systems offer rich power management features in the form of multiple operational and non-operational power modes. While they offer mechanisms for better energy effic...
176
click to vote
RAID
2009
Springer
16 years 1 months ago
2009
Springer
Because of the ad hoc nature of web applications, intrusion detection systems that leverage machine learning techniques are particularly well-suited for protecting websites. The re...
155
click to vote
SSDBM
2007
IEEE
16 years 25 days ago
2007
IEEE
Space-partitioning trees, like the disk-based trie, quadtree, kd-tree and their variants, are a family of access methods that index multi-dimensional objects. In the case of index...
275
click to vote
VLSI
2007
Springer
16 years 20 days ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
159
click to vote
COMPSAC
2006
IEEE
16 years 18 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...