3436 search results - page 213 / 688 » Software Tools for Performance Modeling of Parallel Programs |
226
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
ANSS
2000
IEEE
15 years 7 months ago
2000
IEEE
The cost of building a new system is usually quite high and without a proper design, a mismatch might occur between the proposed system and the actual system delivered. One aspect...
127
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...
116
click to vote
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
As levels of parallelism are becoming increasingly complex in multiprocessor architectures, GALS, and asynchronous circuits, methodologies and software tools are needed to verify ...
115
click to vote
SCAM
2007
IEEE
15 years 9 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...