983 search results - page 88 / 197 » Object-oriented Abstractions for Distributed Programming |
156
click to vote
CONCUR
2006
Springer
15 years 6 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. ...
111
click to vote
CONCUR
2006
Springer
15 years 6 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...
121
Voted
EUROPAR
2006
Springer
15 years 6 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....
130
click to vote
CONCUR
2012
Springer
13 years 4 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...
119
click to vote
IEEEPACT
2009
IEEE
15 years 9 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 ...