Sciweavers

1263 search results - page 14 / 253
» An Object-Passing Model for Parallel Programming
Sort
View
ARCS
2010
Springer
14 years 22 days ago
Compiler-Directed Performance Model Construction for Parallel Programs
Martin Schindewolf, David Kramer, Marcelo Cintra
TOSEM
2008
91views more  TOSEM 2008»
13 years 7 months ago
Combining symbolic execution with model checking to verify parallel numerical programs
Stephen F. Siegel, Anastasia Mironova, George S. A...
ICCS
2001
Springer
14 years 1 days 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