1256 search results - page 140 / 252 » A Model of Interaction in Concurrent and Distributed Systems |
123
click to vote
PPOPP
1990
ACM
15 years 7 months ago
1990
ACM
Many different parallel programming models, including lightweight processes that communicate with shared memory and heavyweight processes that communicate with messages, have been...
133
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
163
click to vote
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a distributed planning and control architecture for autonomous Multi-Manipulator Systems (MMS). The control architecture is implemented using an agent-based ap...
163
click to vote
COOPIS
2003
IEEE
15 years 9 months ago
2003
IEEE
The Common Object Request Broker Architecture standardizes a platform- and programming-language-independent distributed object computing environment. It also provides a standard fo...
137
click to vote
ICDCS
1995
IEEE
1995
IEEE
Implementing Sequentially Consistent Shared Objects Using Broadcast and Point-to-Point Communication
15 years 7 months ago
A distributed algorithm that implements a sequentially consistent collection of shared read/update objects using a combination of broadcast and point-to-point communication is pre...