2838 search results - page 162 / 568 » Verifying Controlled Components |
123
Voted
AADEBUG
2005
Springer
15 years 2 months 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...
72
Voted
ACL
1997
15 years 2 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...
110
Voted
UAI
1997
15 years 2 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...
103
Voted
TLDI
2010
ACM
15 years 9 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
16 years 1 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...