3436 search results - page 19 / 688 » Software Tools for Performance Modeling of Parallel Programs |
132
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
137
click to vote
SPAA
2010
ACM
15 years 7 months ago
2010
ACM
Transactional Memory (TM) is a promising technique that simplifies parallel programming for shared-memory applications. To date, most TM systems have been designed to efficientl...
118
click to vote
EUROPAR
2007
Springer
15 years 8 months ago
2007
Springer
Periscope is a distributed automatic online performance analysis system for large scale parallel systems. It consists of a set of analysis agents distributed on the parallel machin...
101
click to vote
PC
1998
15 years 1 months ago
1998
In this paper, we present several tools for analyzing parallel programs. The tools are built on top of a compiler infrastructure, which provides advanced capabilities for symbolic...