3436 search results - page 98 / 688 » Software Tools for Performance Modeling of Parallel Programs |
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
Abstract. Nested data-parallel programs often have large memory requirements due to their high degree of parallelism. Piecewise execution is an implementation technique used to min...
SC
2005
ACM
14 years 2 months ago
2005
ACM
Performance prediction across platforms is increasingly important as developers can choose from a wide range of execution platforms. The main challenge remains to perform accurate...
EMSOFT
2007
Springer
14 years 3 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
CADE
2004
Springer
14 years 9 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...