1379 search results - page 134 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
112
click to vote
LCPC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...
144
Voted
ICPP
1993
IEEE
15 years 7 months ago
1993
IEEE
Task graphs are used for scheduling tasks on parallel processors when the tasks have dependencies. If the execution of the program is known ahead of time, then the tasks can be st...
138
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
119
click to vote
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
121
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Programs written in languages that provide direct access to memory through pointers often contain memory-related faults, which may cause non-deterministic failures and even securi...