1379 search results - page 41 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
CAV
2004
Springer
15 years 5 months ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
119
click to vote
ICSM
2002
IEEE
15 years 4 months ago
2002
IEEE
When a software system enters the maintenance phase, the availability of accurate and consistent information about its organization can help alleviate the difficulties of program...
108
click to vote
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
If parallelism can be successfully exploited in a program, significant reductions in execution time can be achieved. However, if sections of the code are dominated by parallel ove...
120
click to vote
IJCAI
1997
15 years 1 months ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
RV
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Concurrent trace programs (CTPs) are slices of the concurrent programs that generate the concrete program execution traces, where inter-thread event order specific to th...