5790 search results - page 346 / 1158 » Distributed programming with distributed authorization |
147
click to vote
EUROPAR
2004
Springer
15 years 7 months ago
2004
Springer
Measurement-based profiling introduces intrusion in program execution. Intrusion effects can be mitigated by compensating for measurement overhead. Techniques for compensation anal...
173
click to vote
CONCUR
2006
Springer
15 years 7 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. ...
125
Voted
CONCUR
2006
Springer
15 years 7 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...
139
Voted
EUROPAR
2006
Springer
15 years 7 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....
135
click to vote
IANDC
2006
15 years 3 months ago
2006
We discuss Osius's [22] concept of a recursive coalgebra of a functor from the perspective of programming semantics and give some new sufficient conditions for the recursiven...