1182 search results - page 160 / 237 » Reducing the Overhead of Dynamic Analysis |
DAC
2007
ACM
14 years 10 months ago
2007
ACM
In this paper, we propose TROY, the first track router with yield-driven wire planning to optimize yield loss due to random defects. As the probability of failure (POF) computed f...
DAC
2003
ACM
14 years 10 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
OSDI
2008
ACM
14 years 9 months ago
2008
ACM
Production systems are commonly plagued by intermittent problems that are difficult to diagnose. This paper describes a new diagnostic tool, called Chopstix, that continuously col...
PERCOM
2005
ACM
14 years 8 months ago
2005
ACM
Topographic querying is the process of extracting data from a sensor network for understanding the graphic delineation of features of interest in a terrain. Query processing techn...
EWSN
2007
Springer
14 years 8 months ago
2007
Springer
While a multithreading approach provides a convenient sensor application developing environment with automatic control flow and stack managment, it is considered to have a larger d...