10055 search results - page 1402 / 2011 » Structured programming using processes |
204
click to vote
FM
2009
Springer
16 years 25 days ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
199
click to vote
KBSE
2006
IEEE
16 years 8 days ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
174
click to vote
EUROPAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present PerfMiner, a system for the transparent collection, storage and presentation of thread-level hardware performance data across an entire cluster. Every sub-proc...
152
click to vote
PVM
2005
Springer
15 years 11 months ago
2005
Springer
Many large-scale production parallel programs often run for a very long time and require data checkpoint periodically to save the state of the computation for program restart and/o...
157
click to vote
SOCO
2005
Springer
15 years 11 months ago
2005
Springer
Aspects that trigger on a sequence of join points instead of on a single join point are not explicitly supported in current AspectOriented approaches. Explicit protocols are howeve...