523 search results - page 26 / 105 » A General Model for Reachability Testing of Concurrent Progr... |
ASPLOS
2010
ACM
14 years 3 months ago
2010
ACM
Debugging concurrent programs is difficult. This is primarily because the inherent non-determinism that arises because of scheduler interleavings makes it hard to easily reproduc...
DAC
2000
ACM
14 years 9 months ago
2000
ACM
In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...
KBSE
2009
IEEE
14 years 3 months ago
2009
IEEE
Advances in recent years have made it possible in some cases to locate a bug (the source of a failure) automatically. But debugging is also about correcting bugs. Can tools do thi...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk[1] (all values are objects), Self[2] (prototype-based), NewtonScript[3] (differe...
ASPLOS
2006
ACM
14 years 2 months ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...