3436 search results - page 2 / 688 » Software Tools for Performance Modeling of Parallel Programs |
ARCS
2010
Springer
13 years 10 months ago
2010
Springer
SIMUTOOLS
2008
13 years 7 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
PADS
1999
ACM
13 years 9 months ago
1999
ACM
We have developed a set of performance prediction tools which help to estimate the achievable speedups from parallelizing a sequential simulation. The tools focus on two important...
PLDI
2009
ACM
14 years 10 days ago
2009
ACM
Multicore designs have emerged as the mainstream design paradigm for the microprocessor industry. Unfortunately, providing multiple cores does not directly translate into performa...
WOSP
1998
ACM
13 years 9 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...