2 search results - page 1 / 1 » A Case Study of Selected SPLASH-2 Applications and the SBT D... |
IPPS
2003
IEEE
13 years 10 months ago
2003
IEEE
SBT is portable library and tool for on-line debugging and performance monitoring of shared-memory parallel programs using the single-program-multiple-data (SPMD) model of paralle...
FORMATS
2006
Springer
13 years 8 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...