1781 search results - page 268 / 357 » Visualizing program execution using user abstractions |
GCC
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. A flexible intermediate library named Stampi for MPI-2 support on a heterogeneous computing environment has been implemented on an SCore cluster system. With the help of...
EMISA
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. When assessing the usability of BPM technologies enterprises have to rely on vendor promises or qualitative data rather than on empirical or experimental research. To add...
SIGADA
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
PPOPP
2009
ACM
14 years 3 months ago
2009
ACM
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
PACT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper describes a mechanism for “fusing” concurrent invocations of exclusive methods. The target of our work is object-oriented languages with concurrent extensi...