Author : Timothy T. Rogers
Publisher : MIT Press
Page : 446 pages
File Size : 49,35 MB
Release : 2004
Category : Computers
ISBN : 9780262182393
A mechanistic theory of the representation and use of semantic knowledge that uses distributed connectionist networks as a starting point for a psychological theory of semantic cognition.
Author : Carlos A. Varela
Publisher : MIT Press
Page : 291 pages
File Size : 16,94 MB
Release : 2013-05-31
Category : Computers
ISBN : 0262313367
An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems. Starting from the premise that understanding the foundations of concurrent programming is key to developing distributed computing systems, this book first presents the fundamental theories of concurrent computing and then introduces the programming languages that help develop distributed computing systems at a high level of abstraction. The major theories of concurrent computation—including the π-calculus, the actor model, the join calculus, and mobile ambients—are explained with a focus on how they help design and reason about distributed and mobile computing systems. The book then presents programming languages that follow the theoretical models already described, including Pict, SALSA, and JoCaml. The parallel structure of the chapters in both part one (theory) and part two (practice) enable the reader not only to compare the different theories but also to see clearly how a programming language supports a theoretical model. The book is unique in bridging the gap between the theory and the practice of programming distributed computing systems. It can be used as a textbook for graduate and advanced undergraduate students in computer science or as a reference for researchers in the area of programming technology for distributed computing. By presenting theory first, the book allows readers to focus on the essential components of concurrency, distribution, and mobility without getting bogged down in syntactic details of specific programming languages. Once the theory is understood, the practical part of implementing a system in an actual programming language becomes much easier.
Author : Vijay K. Garg
Publisher : John Wiley & Sons
Page : 448 pages
File Size : 13,21 MB
Release : 2002-05-23
Category : Computers
ISBN : 9780471036005
Mit der Verfügbarkeit verteilter Systeme wächst der Bedarf an einer fundamentalen Diskussion dieses Gebiets. Hier ist sie! Abgedeckt werden die grundlegenden Konzepte wie Zeit, Zustand, Gleichzeitigkeit, Reihenfolge, Kenntnis, Fehler und Übereinstimmung. Die Betonung liegt auf der Entwicklung allgemeiner Mechanismen, die auf eine Vielzahl von Problemen angewendet werden können. Sorgfältig ausgewählte Beispiele (Taktgeber, Sperren, Kameras, Sensoren, Controller, Slicer und Syncronizer) dienen gleichzeitig der Vertiefung theoretischer Aspekte und deren Umsetzung in die Praxis. Alle vorgestellten Algorithmen werden mit durchschaubaren, induktionsbasierten Verfahren bewiesen.
Author : David Peleg
Publisher : SIAM
Page : 359 pages
File Size : 24,21 MB
Release : 2000-01-01
Category : Computers
ISBN : 9780898719772
Presents the locality-sensitive approach to distributed network algorithms-the utilization of locality to simplify control structures and algorithms and reduce their costs. The author begins with an introductory exposition of distributed network algorithms focusing on topics that illustrate the role of locality in distributed algorithmic techniques. He then introduces locality-preserving network representations and describes sequential and distributed techniques for their construction. Finally, the applicability of the locality-sensitive approach is demonstrated through several applications. Gives a thorough exposition of network spanners and other locality-preserving network representations such as sparse covers and partitions. The book is useful for computer scientists interested in distributed computing, electrical engineers interested in network architectures and protocols, and for discrete mathematicians and graph theorists.
Author : Jose Rolim
Publisher : Springer Science & Business Media
Page : 1332 pages
File Size : 34,21 MB
Release : 2000-04-19
Category : Computers
ISBN : 354067442X
This volume contains the proceedings from the workshops held in conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 2000, on 1-5 May 2000 in Cancun, Mexico. The workshopsprovidea forum for bringing together researchers,practiti- ers, and designers from various backgrounds to discuss the state of the art in parallelism.Theyfocusondi erentaspectsofparallelism,fromruntimesystems to formal methods, from optics to irregular problems, from biology to networks of personal computers, from embedded systems to programming environments; the following workshops are represented in this volume: { Workshop on Personal Computer Based Networks of Workstations { Workshop on Advances in Parallel and Distributed Computational Models { Workshop on Par. and Dist. Comp. in Image, Video, and Multimedia { Workshop on High-Level Parallel Prog. Models and Supportive Env. { Workshop on High Performance Data Mining { Workshop on Solving Irregularly Structured Problems in Parallel { Workshop on Java for Parallel and Distributed Computing { WorkshoponBiologicallyInspiredSolutionsto ParallelProcessingProblems { Workshop on Parallel and Distributed Real-Time Systems { Workshop on Embedded HPC Systems and Applications { Recon gurable Architectures Workshop { Workshop on Formal Methods for Parallel Programming { Workshop on Optics and Computer Science { Workshop on Run-Time Systems for Parallel Programming { Workshop on Fault-Tolerant Parallel and Distributed Systems All papers published in the workshops proceedings were selected by the p- gram committee on the basis of referee reports. Each paper was reviewed by independent referees who judged the papers for originality, quality, and cons- tency with the themes of the workshops.
Author : Wesley W. Chu
Publisher : Artech House Publishers
Page : 320 pages
File Size : 45,41 MB
Release : 1986
Category : Computers
ISBN :
Author : K. Boyanov
Publisher : Elsevier
Page : 400 pages
File Size : 22,72 MB
Release : 1991-01-28
Category : Computers
ISBN : 0444597344
The aim of this volume is to present discussion of the main problems in the theory of parallel and distributed architectures. It covers a wide range of basic topics, most of the papers being theoretical, though some cover application areas with the possibility of direct implementation.
Author : Wan Fokkink
Publisher : MIT Press
Page : 242 pages
File Size : 25,91 MB
Release : 2013-12-06
Category : Computers
ISBN : 0262026775
A comprehensive guide to distributed algorithms that emphasizes examples and exercises rather than mathematical argumentation.
Author : Michael Alexander
Publisher : CRC Press
Page : 440 pages
File Size : 33,84 MB
Release : 2008-12-22
Category : Mathematics
ISBN : 1420064878
Collects the Latest Research Involving the Application of Process Algebra to ComputingExploring state-of-the-art applications, Process Algebra for Parallel and Distributed Processing shows how one formal method of reasoning-process algebra-has become a powerful tool for solving design and implementation challenges of concurrent systems. Parallel Pr
Author : Phillip J. Brooke
Publisher : Springer Science & Business Media
Page : 276 pages
File Size : 37,53 MB
Release : 2007-09-05
Category : Computers
ISBN : 184628841X
Distributed processing has a strong theoretical foundation, but many day-to-day practitioners make limited use of the advantages this theory can give them. The result includes unreliable systems with obscure and intermittent failures, that can cost time, money and in extreme cases, lives. Reliable construction of distributed and concurrent systems must incorporate theory in practice. This book provides a concise presentation of the theory closely linked to the practical realization of these concepts. This highly practical presentation contains all the elements needed for a complete development of a distributed system. The book includes examples from C, Java and Eiffel, and sample code is available online.
