Communicating process architectures 2002 [[electronic resource] ] : WoTUG-25 : proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom / / edited by James Pascoe ... [et al.]

• Record Nr.: UNINA9910780247803321
• Pubbl/distr/stampa: Amsterdam ; ; Washington, DC, : IOS Press, c2002
• ISBN: 1-60129-409-3; 600-00-0365-X; 9786610505586; 1-280-50558-3
• Descrizione fisica: 1 online resource (396 p.)
• Collana: Concurrent systems engineering series, , 1383-7575 ; ; v. 60
• Altri autori (Persone): PascoeJames (James S.)
• Disciplina: 004/.357
• Soggetti: Transputers; occam (Computer program language); Telecommunication systems
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: ""Cache-Affinity Scheduling for Fine Grain Multithreading""""A Predicate Transformer Semantics for a Concurrent Language of Refinement""; ""Reconnetics: A System for the Dynamic Implementation of Mobile Hardware Processes in FPGAs""; ""Performance Analysis and Behaviour Tuning for Optimisation of Communicating Systems""; ""Configuration Discovery and Mapping of a Home Network""; ""Cluster Computing and JCSP Networking""; ""View-Centric Reasoning for Linda and Tuple Space Computation""; ""A Graphical Modeling Language for Specifying Concurrency based on CSP""; ""The ""Honeysuckle"" Programming Language: Event and Process""""The ""Honeysuckle"" Programming Language: Object and Protocol""; ""A Communicating Threads (CT) Case Study: JIWY""; ""Prioritised Dynamic Communicating Processes - Part I""; ""Prioritised Dynamic Communicating Processes - Part II""; ""Implementing a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs""; ""Author Index""
• Sommario/riassunto: The WoTUG series of conferences are a major forum for the presentation of state-of-the-art ideas on concurrency and communication. This book continues this trend, with these proceedings containing a number of papers that discuss a wide range of issues fundamental to the future of concurrency.<p/>This book combines papers from researchers and practitioners from many disciplines. Topics covered include: theory, such as development to Hoare's Communicating Sequential Processes; hardware and real-time systems; software architecture and design; and applications.