4 search results - page 1 / 1 » Probabilistic computing with future deep sub-micrometer devi... |
ISCAS
2005
IEEE
13 years 11 months ago
2005
IEEE
WSC
2008
13 years 7 months ago
2008
As part of the DARPA Deep Green efforts, SAIC developed a multi-threaded and resolution approach to constructing and evaluating simulated futures to address the SimPath component....
ASPDAC
2010
ACM
13 years 3 months ago
2010
ACM
- Dynamic power consumption in CMOS circuits is usually estimated based on the number of signal transitions. However, when considering glitches, this is not accurate because narrow...
SIGSOFT
2007
ACM
14 years 6 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...