Decentralized systems : proceedings of the IFIP WG 10.3 Working Conference on Decentralized Systems, Lyon, France, 11-13 December, 1989
著者
書誌事項
Decentralized systems : proceedings of the IFIP WG 10.3 Working Conference on Decentralized Systems, Lyon, France, 11-13 December, 1989
North Holland, 1990
大学図書館所蔵 件 / 全9件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
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.
目次
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).
「Nielsen BookData」 より