Sciweavers

2466 search results - page 108 / 494
» Concurrent Clustered Programming
Sort
View
HASKELL
2006
ACM
14 years 2 months ago
User-level transactional programming in Haskell
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...
Peter Thiemann
FROCOS
2000
Springer
14 years 14 days ago
Compiling Multi-Paradigm Declarative Programs into Prolog
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
Sergio Antoy, Michael Hanus
CONCURRENCY
2007
100views more  CONCURRENCY 2007»
13 years 8 months ago
An instrumentation technique for online analysis of multithreaded programs
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
Grigore Rosu, Koushik Sen
CLUSTER
2002
IEEE
14 years 1 months ago
COMB: A Portable Benchmark Suite for Assessing MPI Overlap
This paper describes a portable benchmark suite that assesses the ability of cluster networking hardware and software to overlap MPI communication and computation. The Communicati...
William Lawry, Christopher Wilson, Arthur B. Macca...
FASE
2010
Springer
14 years 3 months ago
Analyzing the Impact of Change in Multi-threaded Programs
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
Krishnendu Chatterjee, Luca de Alfaro, Vishwanath ...