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.]
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
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.]
|
| Pubblicazione: | Amsterdam ; ; Washington, DC, : IOS Press, c2002 |
| Descrizione fisica: | 1 online resource (396 p.) |
| Disciplina: | 004/.357 |
| Soggetto topico: | Transputers |
| occam (Computer program language) | |
| Telecommunication systems | |
| Soggetto genere / forma: | Electronic books. |
| Altri autori: |
PascoeJames (James S.)
|
| 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. |
| Titolo autorizzato: | Communicating process architectures 2002 |
| ISBN: | 1-60129-409-3 |
| 600-00-0365-X | |
| 9786610505586 | |
| 1-280-50558-3 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910455569003321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Concurrent systems engineering series ; ; v. 60.