Object-Based Parallel and Distributed Computation France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21

Object-Based Parallel and Distributed Computation France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers

Başlık:

Object-Based Parallel and Distributed Computation France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers

ISBN:

9783540686729

Edition:

1st ed. 1996.

Yayın Bilgileri:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996.

Fiziksel Tanımlama:

XI, 354 p. online resource.

Series:

Lecture Notes in Computer Science, 1107

Contents:

Data parallel programming in the parallel object-oriented language OCore -- Polymorphic matrices in paladin -- Programming and debugging for massive parallelism: The case for a parallel object-oriented language A-NETL -- Schematic: A concurrent object-oriented extension to Scheme -- (Thread and Object)-Oriented Distributed Programming -- Distributed and object oriented symbolic programming in April -- Reactive programming in Eiffel// -- Proofs, concurrent objects and computations in a FILL framework -- Modular description and verification of concurrent objects -- CHORUS/COOL CHORUS Object oriented technology -- Adaptive operating system design using reflection -- Isatis: A customizable distributed object-based runtime system -- Lessons from designing and implementing GARF -- Design and implementation of DROL runtime environment on Real-Time Mach kernel -- ActNet: The actor model applied to mobile robotic environments -- Component-based programming and application management with olan -- The version management architecture of an object-oriented distributed systems environment: OZ++ -- Formal semantics of agent evolution in language flage.

Abstract:

This book contains a refereed collection of revised papers selected from the presentations at the France-Japan Workshop on Object-Based Parallel and Distributed Computation, OBPDC'95, held in Tokyo in June 1995. The 18 full papers included in the book constitute a representative, well-balanced set of timely research contributions to the growing field of object-based concurrent computing. The volume is organized in sections on massively parallel programming languages, distributed programming languages, formalisms, distributed operating systems, dependable distributed computing, and software management.

Subject Term:

Computer systems.

Computer programming.

Computer science.

Computer networks .

Software engineering.

Operating systems (Computers).

Computer System Implementation.

Programming Techniques.

Theory of Computation.

Computer Communication Networks.

Operating Systems.