Sciweavers

1263 search results - page 14 / 253
» An Object-Passing Model for Parallel Programming
Sort
View
ARCS
2010
Springer
15 years 2 months ago
Compiler-Directed Performance Model Construction for Parallel Programs
Martin Schindewolf, David Kramer, Marcelo Cintra
TOSEM
2008
91views more  TOSEM 2008»
14 years 9 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 1 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