Author of the publication

Runtime Verification of Scientific Computing: Towards an Extreme Scale.

, , , and . ESPT@SC, page 26-33. IEEE, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Job Management in Grids of MOSIX Clusters., , and . ISCA PDCS, page 36-42. ISCA, (2003)Parallel Relative Debugging with Dynamic Data Structures., , , , and . ISCA PDCS, page 22-29. ISCA, (2003)Automated Synthesis of Interleaved Memory Systems for Custom Computing Machine., , , and . EUROMICRO, page 10115-10122. IEEE Computer Society, (1998)Mixing Grids and Clouds: High-Throughput Science Using the Nimrod Tool Family., , , , , and . Cloud Computing, Springer, (2010)Deploying Scientific Applications to the PRAGMA Grid Testbed: Strategies and Lessons., , , , , , , , , and 8 other author(s). CCGRID, page 241-248. IEEE Computer Society, (2006)An abstract virtual instrument system for high throughput automatic microscopy., , , , , , , , , and 1 other author(s). ICCS, volume 1 of Procedia Computer Science, page 545-554. Elsevier, (2010)The WorkWays Problem Solving Environment., , and . ICCS, volume 29 of Procedia Computer Science, page 2284-2294. Elsevier, (2014)Debugging Scientific Applications With Statistical Assertions., , , , , , and . ICCS, volume 9 of Procedia Computer Science, page 1940-1949. Elsevier, (2012)Spaces: Support for Decoupled Communication in Wide-Area Parallel Applications., and . GCC, page 3-10. IEEE Computer Society, (2007)Bridging organizational network boundaries on the grid., , and . GRID, page 327-332. IEEE Computer Society, (2005)