Sciweavers

1263 search results - page 14 / 253
» An Object-Passing Model for Parallel Programming
Sort
View
ARCS
2010
Springer
15 years 4 months ago
Compiler-Directed Performance Model Construction for Parallel Programs
Martin Schindewolf, David Kramer, Marcelo Cintra
TOSEM
2008
91views more  TOSEM 2008»
14 years 11 months ago
Combining symbolic execution with model checking to verify parallel numerical programs
Stephen F. Siegel, Anastasia Mironova, George S. A...
ICCS
2001
Springer
15 years 4 months ago
Performance Prediction for Parallel Local Weather Forecast Programs
: Performance modeling for scientific production codes is of interest both for program tuning and for the selection of new machines. An empirical method is used for developing a m...
Wolfgang Joppich, Hermann Mierendorff