Decentralized systems have an increasing impact because they are the key to cooperation and even integration of large organizations and services. The increasing demands for computation, related distributed information and reliability have overtaken single machines, forcing the use of interconnected ones. The resulting challenges and problems are leading to new ideas, concepts and methods. The papers in this book cover a range of topics including: Communication Networks, Distributed Operating Systems, Object and Actor Oriented Systems, Logic Programming, Theoretical Models and Analysis, Parallel and Distributed Algorithms, Methodology of Parallelization, Scheduling and Load Balancing, and Performance Evaluation.
Decentralized systems have an increasing impact because they are the key to cooperation and even integration of large organizations and services. The increasing demands for computation, related distributed information and reliability have overtaken single machines, forcing the use of interconnected ones. The resulting challenges and problems are leading to new ideas, concepts and methods. The papers in this book cover a range of topics including: Communication Networks, Distributed Operating Systems, Object and Actor Oriented Systems, Logic Programming, Theoretical Models and Analysis, Parallel and Distributed Algorithms, Methodology of Parallelization, Scheduling and Load Balancing, and Performance Evaluation.
Sprache
Verlagsort
Verlagsgruppe
Elsevier Science & Technology
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Illustrationen
Maße
ISBN-13
978-0-444-88898-3 (9780444888983)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
Systems and Networks. Protocol and Architecture Performances in High Speed Packet Switches (G. Albertengo, U. Isnardi). The Durra Language and Runtime Environment: Tools for PMS-Level Programming (M. Barbacci et al.). Formal Methods for Describing Distributed Systems: A Discussion of the Experience in OSI Standardization (G. v. Bochmann). Authentication in a Secure LAN (P.I.P. Boulton et al.). A New Communication Design for Massively Parallel Message-Passing Computers (D. Etiemble et al.). Naming and Network Transparent Process Migration in Loosely Coupled Distributed Systems (C. Jacqmot et al.). Interconnection of Decentralized Vehicle Software Components (A. Kung et al.). SDX: A Distributed Executive for Decentralized Perception Machines (A. Lalo, C. Bur). Cooperative Modeling in a Distributed Information Processing Framework (M. Papazouglou, L. Marinos). Eternal Issuing of Low-Level IDs in a Distributed System (E.G. Zondag). Distributed Programming. The WEB: A Distributed-Object Constructor (C. Betourne, M. Filali). OMPHALE, an Active Objects-Based Distributed Operating System (E. Delattre, J.M. Geib). Extending Prolog to a Parallel Object Oriented Language (A. Eliens). GMAL: Gosseyn Machine Actor Language (J.M. Fouet, S. Hassas). Flat Concurrent Prolog on Transputers (U. Glasser et al.). A Parallel Distribution Method for Logical Schemas with Complex Objects (J.Ch. Nicolas, B. Toursel). SPIDERS: Structure and Communication Scheme for Mobile Objects (J.B. Stefani). Experience with CSA: An Object-Oriented Distributed System (M. Tag et al.). A Highly Decentralized Architecture for the Parallel Execution of Logic Programs (D. Talia et al.). Parallel and Distributed Algorithms. A Distributed Algorithm for Increasing Fault Tolerance by Reducing Error Latency (M. Allia et al.). A Software Tool for Symbolic Simulation of Systolic Networks (A. Benaini, M. Tchuente). Asymptotically Efficient Algorithms for Parallel Architectures (P. Feautrier). Distance Transform on a Ring of Processors (S. Miguet). Algorithms that Implement the Shared Data Model in Loosely Coupled Distributed Systems (M. Stumm, O. Krieger). True Parallelism on an Unknown Topology (J. Vautherin, D. Millot). Models and Analysis. Approximate Performance Analysis of Parallel Processing Systems (S. Balsamo, L. Donatiello). A Study of Distributed Control Algorithms by Means of Colored Petri Nets (P. Blanc et al.). Modelling Mappings of Parallel Computations onto Parallel Architectures with the PRM-Net Model (A. Ferscha). GATOS Distributed Tasks Manager (B. Folliot). Performance of Asynchronous Algorithms in Multi-Level Data-Driven Systems (J.L. Gaudiot, C.M. Lin). ISO CCR Formal Modelling and Verification via Projections (G. Juanole, M. Ayoub). Performance Evaluation on the Wrong Track? (M. Rupprecht, P. Martini). Static Analysis of Deadlock, Distributed Termination, and Timing Properties in Real-Time Distributed Programs (R.K. Shyamasundar, L. Yuhsiang).
