| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465662003316 |
|
|
Titolo |
Object-Based Parallel and Distributed Computation [[electronic resource] ] : France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers / / edited by Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1996.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 354 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 1107 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Architecture, Computer |
Computer programming |
Computers |
Computer communication systems |
Software engineering |
Operating systems (Computers) |
Computer System Implementation |
Programming Techniques |
Computation by Abstract Devices |
Computer Communication Networks |
Software Engineering |
Operating Systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
|
|
| |