Titlebook: Object-Based Parallel and Distributed Computation; France-Japan Worksho Jean-Pierre Briot,Jean-Marc Geib,Akinori Yonezawa Conference procee

细颈瓶

Isatis: A customizable distributed object-based runtime system,d through the integration of a facility that is aimed at enhancing the applications‘ performance. This goal is achieved by means of a load balancing strategy that implements initial-placement of method executions and migration of data objects according to both the processors‘ load and the objects‘ features.

桶去微染

Recessive

ActNet: The actor model applied to mobile robotic environments,nctionality changes need to be managed transparently from the user applications..This paper describes ActNet, an actor based system designed for a robotic environment and its dynamic resource management. The ActPL programming language model associated to this system is also presented.

Banister

Inclement

永久

Programming and debugging for massive parallelism: The case for a parallel object-oriented languageobal view of the execution. The history is also utilized at the replay phase to provide a virtual event-level clock to a multicomputer and to keep the happened-before relation at test execution time. This not only enables cyclic debugging but also simplifies debugging by showing originally asynchronous operations synchronously.

SPECT

Adaptive operating system design using reflection,ugh the use of . and ., which allows the system to be adapted by application programmers via the reflective infrastructure. In this paper we discuss the object model that Apertos supports and how it can be tailored to support different application requirements.

错事

Schematic: A concurrent object-oriented extension to Scheme,ry, and permit intra-object concurrency. Schematic will be useful for intensive parallel applications on parallel machines or networks of workstations, concurrent graphical user interface programming, distributed programming over network, and even concurrent shell programming.

Cardiac-Output

Modular description and verification of concurrent objects, Logic of Actions. Modular verification is achieved by restricting inheritance in a way that ensures that subclasses refine superclasses. Interesting properties can thus be verified at an abstract level, ignoring unnecessary implementation detail.

Neutral-Spine