438 search results - page 24 / 88 » Bugs in the programs |
ASPLOS
2006
ACM
14 years 3 months ago
2006
ACM
Significant time is spent by companies trying to reproduce and fix bugs. BugNet and FDR are recent architecture proposals that provide architecture support for deterministic rep...
ASPLOS
2010
ACM
14 years 4 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speci...
KBSE
2008
IEEE
14 years 4 months ago
2008
IEEE
—Writing correct multithreaded programs is difficult. Existing tools for finding bugs in multithreaded programs primarily focus on finding generic concurrency problems such as...
OOPSLA
2009
Springer
14 years 4 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
CAV
2008
Springer
13 years 11 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...