3307 search results - page 166 / 662 » The meaning of concurrent programs |
176
click to vote
POPL
1997
ACM
15 years 9 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
162
click to vote
IFIP
2010
Springer
15 years 14 days ago
2010
Springer
Abstract In this paper, we describe an automatic synthesis procedure that distributes synchronous programs on a set of desynchronized processing elements. Our distribution procedur...
195
click to vote
AIME
2011
Springer
14 years 5 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...
183
click to vote
POPL
2012
ACM
14 years 1 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...
170
click to vote
CC
2010
Springer
16 years 14 days ago
2010
Springer
On Chip Multiprocessors (CMP), it is common that multiple cores share certain levels of cache. The sharing increases the contention in cache and memory-to-chip bandwidth, further h...