1499 search results - page 56 / 300 » Chopping Concurrent Programs |
166
click to vote
IFIP
2010
Springer
15 years 26 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...
201
click to vote
AIME
2011
Springer
14 years 6 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...
188
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...
152
click to vote
IROS
2007
IEEE
16 years 9 days ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
158
click to vote
ECOOP
2010
Springer
15 years 10 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...