2300 search results - page 161 / 460 » Maximally Concurrent Programs |
100
click to vote
COMPSAC
1997
IEEE
15 years 6 months ago
1997
IEEE
Robot workcell programming is an application where object-oriented programming paradigms can be effectively applied to handle the issues such as concurrency and autonomy. In this ...
145
Voted
POPL
1997
ACM
15 years 6 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...
132
Voted
IFIP
2010
Springer
14 years 9 months 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...
159
Voted
AIME
2011
Springer
14 years 2 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...
145
Voted
POPL
2012
ACM
13 years 10 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...