Object-Based Parallel and Distributed Computation

France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers
Erscheinungsjahr 1996
ISBN: 978-3-540-61487-6
Verlag: Springer

Buch, Englisch, 354 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1150 g

Reihe: Lecture Notes in Computer Science

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.

Zielgruppe

Research

Autoren/Hrsg.

Briot, Jean-Pierre

Geib, Jean-Marc

Yonezawa, Akinori

Fachgebiete

• Mathematik | Informatik EDV | Informatik Betriebssysteme Windows Betriebssysteme
• Mathematik | Informatik EDV | Informatik Technische Informatik Externe Speicher & Peripheriegeräte
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Objektorientierte Programmierung
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Funktionale, Logische, Parallele und Visuelle Programmierung

Inhaltsverzeichnis

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.