1112 search results - page 166 / 223 » Executing Abstract Test Cases |
123
click to vote
JCST
2010
14 years 6 months ago
2010
Abstract Workflows are prevailing in scientific computation. Multicluster environments emerge and provide more resources, benefiting workflows but also challenging the traditional ...
ICFP
2005
ACM
15 years 12 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
130
click to vote
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
PDPTA
2004
15 years 1 months ago
2004
Abstract Computational Grids consist of a multitude of geographically distributed resources. The co-allocation of several of those resources allows for the execution of highly comp...
103
click to vote
AOSD
2007
ACM
15 years 3 months ago
2007
ACM
Modern source-level debuggers support dynamic breakpoints that are guarded by conditions based on program state. Such breakpoints address situations where a static breakpoint is n...