230 search results - page 4 / 46 » Checkpointing Aided Parallel Execution Model and Analysis |
CODES
2006
IEEE
13 years 11 months ago
2006
IEEE
Simulating chip-multiprocessor systems (CMP) can take a long time. For single-threaded workloads, earlier work has shown the utility of phase analysis, that is identification of r...
WECWIS
2007
IEEE
14 years 1 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
SIMUTOOLS
2008
13 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
FGCS
2006
13 years 7 months ago
2006
This work introduces a method for instrumenting applications, producing execution traces, and visualizing multiple trace instances to identify performance features. The approach p...
EGC
2005
Springer
14 years 28 days ago
2005
Springer
A major challenge facing grid applications is the appropriate handling of failures. In this paper we address the problem of making parallel Java applications based on Remote Method...