317 search results - page 51 / 64 » Snap-Stabilization in Message-Passing Systems |
152
click to vote
LCPC
2007
Springer
15 years 11 months ago
2007
Springer
Recent studies have shown that programming in a Partition Global Address Space (PGAS) language can be more productive than programming in a message passing model. One reason for th...
190
click to vote
ACOM
2006
Springer
15 years 11 months ago
2006
Springer
In this research, we re-arrange FIPA’s ACL performatives to form a subsumption lattice (ontology) and apply a theory of social commitments to achieve a simplified and observable...
145
click to vote
EUROPAR
2005
Springer
15 years 11 months ago
2005
Springer
The parallel edge-based solution of 3D incompressible Navier-Stokes equations is presented. The governing partial differential equations are discretized using the SUPG/PSPG stabili...
156
click to vote
ADAEUROPE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The development of real-time distributed applications requires middleware providing both reliability and performance. Middleware must be adaptable to meet application req...
157
click to vote
APN
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...