983 search results - page 88 / 197 » Object-oriented Abstractions for Distributed Programming |
179
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
127
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
143
click to vote
EUROPAR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Modern multiprocessor architectures such as CC-NUMA machines or CMPs have nonuniform communication architectures that render programs sensitive to memory access locality....
143
click to vote
CONCUR
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...
128
click to vote
IEEEPACT
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Load elimination is a classical compiler transformation that is increasing in importance for multi-core and many-core architectures. The effect of the transformation is ...