619 search results - page 53 / 124 » Visualization of Concurrent Program Executions |
KBSE
2008
IEEE
15 years 6 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...
106
click to vote
APLAS
2010
ACM
14 years 9 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
AVI
2004
15 years 1 months ago
2004
Software development is prone to time-consuming and expensive errors. Finding and correcting errors in a program (debugging) is usually done by executing the program with differen...
101
click to vote
CAV
2008
Springer
15 years 1 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...
104
click to vote
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...