2686 search results - page 99 / 538 » Parallel object monitors |
CONCUR
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
132
click to vote
IC
2003
15 years 3 months ago
2003
Abstract— Marshaling or serialization of objects is an important component of both distributed and parallel computing. Current systems impose a significant burden on the program...
120
Voted
ISORC
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes how GLADE, our implementation of the Ada 95 Distributed Systems Annex, can be used to build large object-oriented real-time distributed systems. In addition t...
ECOOPW
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we explore the object-oriented reflective world, performing an overview of the existing models and presenting a set of features suitable to evaluate the quality of e...
110
click to vote
PDPTA
2003
15 years 3 months ago
2003
This paper describes an object-oriented framework for solving computational fluid dynamics problems on parallel computers. The design and components of the framework are discussed ...