865 search results - page 167 / 173 » Uncertainty Reduction Using Dynamics |
158
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
Power has become a critical concern for battery-driven computing systems, on which many applications that are run are interactive. System-level voltage scaling techniques, such as...
126
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
100
click to vote
CGO
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we investigate the benefit of scheduling non-critical loads for a higher latency during software pipelining. "Noncritical" denotes those loads that have s...
173
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
122
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...