Object-Based Parallel and Distributed Computation: France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected PapersSpringer Science & Business Media, 24 juil. 1996 - 348 pages 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. |
Table des matières
Data Parallel Programming in the Parallel ObjectOriented Language OCore | 1 |
Polymorphic Matrices in Paladin | 18 |
The Case for a Parallel ObjectOriented Language | 38 |
A Concurrent ObjectOriented Extension to Scheme | 59 |
Thread and ObjectOriented Distributed Programming | 83 |
Distributed and Object Oriented Symbolic Programming in April | 104 |
Reactive Programming in Eiffel | 125 |
Proofs Concurrent Objects and Computations in a FILL Framework | 148 |
Adaptive Operating System Design Using Reflection | 205 |
A Customizable Distributed ObjectBased Runtime System | 219 |
Lessons from Designing and Implementing GARF | 238 |
Design and Implementation of DROL Runtime Environment on RealTime Mach Kernel | 257 |
The Actor Model Applied to Mobile Robotic Environments | 273 |
Componentbased Programming and Application Management with Olan | 290 |
OZ++ | 310 |
Formal Semantics of Agent Evolution in Language Flage | 329 |
Modular Description and Verification of Concurrent Objects | 168 |
CHORUSCOOL CHORUS Object Oriented Technology | 187 |
Author Index | |
Autres éditions - Tout afficher
Object-Based Parallel and Distributed Computation Jean-Pierre Briot,Jean-Marc Geib,Akinori Yonezawa Aucun aperçu disponible - 2014 |
Expressions et termes fréquents
A-NETL abstractions activity actor model actors agent algorithm allows Apertos architecture attributes behavior broadcast btree buffer called client communication components concurrent computation concurrent object-oriented concurrent objects configuration constraints data object data parallel data structure debugging define-method defined described distributed application Distributed Computing distributed programming Distributed Systems DROL dynamic encapsulator environment example execution Flage framework function GARF implementation inheritance instance interface object Isatis linear logic load balancing logic programming mailer matrix mechanism member objects message passing meta-level meta-object meta-space microkernel migration modular Multilisp node object oriented object-based object-oriented languages Object-Oriented Programming operating system OZ++ parallel computation performance primitives Proc Proceedings processor programming language programming model proof reactive real-time request reuse robot runtime Schematic semantics sender sequential server Smalltalk specific static synchronization thread UNIX update variables Yonezawa