2838 search results - page 162 / 568 » Verifying Controlled Components |
AADEBUG
2005
Springer
14 years 11 days ago
2005
Springer
Increased reuse of software components has led to a software mishmash as existing packages are used as building blocks for new systems. Current debuggers cannot cope with the intr...
ACL
1997
13 years 11 months ago
1997
Most algorithms dedicated to the generation of referential descriptions widely suffer from a fundamental problem: they make too strong assumptions about adjacent processing compon...
UAI
1997
13 years 11 months ago
1997
We describe work to control graphics rendering under limited computational resources by taking a decision-theoretic perspective on perceptual costs and computational savings of ap...
TLDI
2010
ACM
14 years 7 months ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
HPCA
2008
IEEE
14 years 10 months ago
2008
IEEE
Fetch gating mechanisms have been proposed to gate the processor pipeline to reduce the wasted energy consumption due to wrongpath (i.e. mis-speculated) instructions. These scheme...