619 search results - page 47 / 124 » Visualization of Concurrent Program Executions |
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
103
click to vote
FASE
2010
Springer
15 years 6 months ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
SIGCSE
1995
ACM
15 years 3 months ago
1995
ACM
We present a package which provides a visually oriented simulation of the execution of machine and assembly language programs on a simple computer. The programs am written for Hyp...
131
click to vote
TRIER
2002
14 years 11 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...
ASPLOS
2000
ACM
15 years 4 months ago
2000
ACM
Processors execute the full dynamic instruction stream to arrive at the final output of a program, yet there exist shorter instruction streams that produce the same overall effec...