1491 search results - page 91 / 299 » Resource-Passing Concurrent Programming |
109
click to vote
AIME
2011
Springer
13 years 10 months ago
2011
Springer
This paper describes a novel methodological approach to identifying inconsistencies when concurrently using multiple clinical practice guidelines. We discuss how to construct a for...
101
click to vote
POPL
2012
ACM
13 years 5 months ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
HPCN
1998
Springer
15 years 2 months ago
1998
Springer
In this paper, we describe a graphical editor GRED as part of the integrated programming environment GRADE that is intended to support designing, debugging and performance tuning o...
PLDI
1990
ACM
15 years 1 months ago
1990
ACM
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the wor...
ESEC
1995
Springer
15 years 1 months ago
1995
Springer
This paper presents the results of an exploratory experiment investigating the use of program metrics to predict reachability graph size, reachability graph generation time, and d...