Communicating Process Architectures 2002 : WoTUG-25 : Proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom /

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/&...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: World Occam and Transputer User Group. Technical Meeting
Otros Autores: Pascoe, James
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; Washington, DC : Tokyo : IOS ; Ohmsha, ©2002.
Colección:Concurrent systems engineering series ; v. 60.
Temas:
occam (Computer program language) > Congresses.
Parallel processing (Electronic computers) > Congresses.
Computer multitasking > Congresses.
Occam (Langage de programmation) > Congrès.
Parallélisme (Informatique) > Congrès.
Fonctionnement multitâche > Congrès.
COMPUTERS > Programming Languages > C♯
COMPUTERS > Programming Languages > Java.
COMPUTERS > Programming Languages > Pascal.
Computer multitasking
occam (Computer program language)
Parallel processing (Electronic computers)
Andre fag (naturvidenskab og teknik) > Andre fag
Conference papers and proceedings
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Machine derived contents note: Preface
  • James Pascoe, Peter Welch, Roger Loader and Vaidy Sunderam vii
  • Programme Committee viii
  • Papers
  • Semantics ofprialt in Handel-CM
  • Andrew Butterfield and Jim Woodcock I
  • Acceptances, Behaviours and Infinite Activity in CSPP
  • Adrian Lawrence 17
  • HCSP: Imperative State and True Concurrency
  • Adrian Lawrence 39
  • Consolidating the Agreement Problem Protocol Verification Environment
  • James Pascoe and Roger Loader 57
  • On the Complexity of Buffer Allocation in Message Passing Systems
  • Alex Brodsky, Jan Bcekgaard Pedersen and Alan Wagner 79
  • Java PastSet
  • A Structured Distributed Shared Memory System
  • Kei Simon Pedersen and Brian Vinter 97
  • Synchronous Active Objects Introduce CSP's Primitives in Java
  • Claude Petitpierre 109
  • Configurable Collective Communication in LAM-MPI
  • John Markus Bjorndalen, Otto J. Anshus, Brian Vinter and Tore Larsen 123
  • Cache-Affinity Scheduling for Fine Grain Multithreading
  • Kurt Debattista, Kevin Vella and Joseph Cordina 135
  • A Predicate Transformer Semantics for a Concurrent Language of Refinement
  • Ana Cavalcanti and Jim Woodcock 147
  • Reconnetics: A System for the Dynamic Implementation
  • of Mobile Hardware Processes in FPGAs
  • Ralph Moseley 167
  • Performance Analysis and Behaviour Tuning for Optimisation
  • of Communicating Systems
  • Mark Green and Ali E. Abdallah 181
  • Configuration Discovery and Mapping of a Home Network
  • Keith Pugh 191
  • Cluster Computing and JCSP Networking
  • Brian Vinter and Peter Welch 203
  • View-Centric Reasoning for Linda and Tuple Space Computation
  • Marc L. Smith, Rebecca J. Parsons and Charles E. Hughes 223
  • A Graphical Modeling Language for Specifying Concurrency based on CSP
  • Gerald Hilderink 255
  • The "Honeysuckle" Programming Language: Event and Process
  • Ian East 285
  • The "Honeysuckle" Programming Language: Object and Protocol
  • lan East 301
  • A Communicating Threads (CT) Case Study: JIWY
  • Dusko Jovanovic, Gerald Hilderink, Jan Broenink 311
  • Prioritised Dynamic Communicating Processes
  • Part I
  • Fred Barnes and Peter Welch 321
  • Prioritised Dynamic Communicating Processes
  • Part II
  • Fred Barnes and Peter Welch 353
  • Implementing a Distributed Algorithm for Detection
  • of Local Knots and Cycles in Directed Graphs
  • Geraldo Pereira de Souza and Gerson Henrique Pfitscher 371
  • Author Index 387.

Ejemplares similares