1635 search results - page 95 / 327 » DIPC: A System Software Solution for Distributed Programming |
CCGRID
2002
IEEE
14 years 1 months ago
2002
IEEE
Despite the large research efforts in the SW–DSM community, this technology has not yet been adapted widely for significant codes beyond benchmark suites. One of the reasons co...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
EMSOFT
2006
Springer
14 years 16 days ago
2006
Springer
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...
COLING
1996
13 years 10 months ago
1996
We. are going to describe the design and implementatior, of a connnuniealion system l.or large AI projects, capable of supporting various software components in a heterogeneous ha...
CSMR
2002
IEEE
14 years 1 months ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...