296 search results - page 17 / 60 » Using SAT-based techniques in power estimation |
SENSYS
2004
ACM
14 years 1 months ago
2004
ACM
Developing sensor network applications demands a new set of tools to aid programmers. A number of simulation environments have been developed that provide varying degrees of scala...
TVLSI
2008
13 years 7 months ago
2008
Applications in computer networks often require high throughput access to large data structures for lookup and classification. While advanced algorithms exist to speed these search...
DMSN
2010
ACM
13 years 9 months ago
2010
ACM
In Mobile Sensor Network (MSN) applications, sensors move to increase the area of coverage and/or to compensate for the failure of other sensors. In such applications, loss or cor...
ICCAD
1995
IEEE
13 years 11 months ago
1995
IEEE
This paper describes two techniques to quantify energy consumption of burst-modeasynchronous(clock-less)controlcircuits. The circuit specifications consideredare extended burst-m...
DAC
1998
ACM
14 years 8 months ago
1998
ACM
Statistical analysis of bug discovery data is used in the software industry to check the quality of the testing process and estimate the reliability of the tested program. In this...