Communicating process architectures 2008 : WoTUG-31 /

Communicating Process Architectures 2008 contains the proceedings of the thirty-first Communicating Process Architectures Conference (CPA 2008) organized under the auspices of WoTUG and the Department of Computer Science of the University of York. The aim of this book is to cover both theoretical as...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: WoTUG Technical Meeting University of York
Otros Autores: Welch, P. H.
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam ; Washington, D.C. : IOS Press, ©2008.
Colección:Concurrent systems engineering series ; v. 51.
Temas:
Computer architecture > Congresses.
occam (Computer program language) > Congresses.
Parallel processing (Electronic computers) > Congresses.
Transputers > Congresses.
Ordinateurs > Architecture > Congrès.
Occam (Langage de programmation) > Congrès.
Parallélisme (Informatique) > Congrès.
Transputers > Congrès.
COMPUTERS > Systems Architecture > Distributed Systems & Computing.
Computer architecture
occam (Computer program language)
Parallel processing (Electronic computers)
Transputers
Computer network resources.
Conference papers and proceedings
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Title page; Preface; Editorial Board; Reviewing Committee; Contents; Part A. Invited Speakers; Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures; How to Soar with CSP; Part B. Conference Papers; A CSP Model for Mobile Channels; Communicating Scala Objects; Combining EDF Scheduling with occam Using the Toc Programming Language; Communicating Haskell Processes: Composable Explicit Concurrency Using Monads; Two-Way Protocols for occam-pi; Prioritized Service Architecture: Refinement and Visual Design; Experiments in Translating CSP
  • B to Handel-C
  • FPGA Based Control of a Production Cell SystemShared-Clock Methodology for Time-Triggered Multi-Cores; Transfer Request Broker: Resolving Input-Output Choice; Mechanical Verification of a Two-Way Sliding Window Protocol; RRABP: Point-to-Point Communication over Unreliable Components; IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks; Asynchronous Active Objects in Java; JCSPre: the Robot Edition to Control LEGO NXT Robots; A Critique of JCSP Networking; Virtual Machine Based Debugging for occam-pi; Process-Oriented Collective Operations
  • Representation and Implementation of CSP and VCR TracesCSPBuilder
  • CSP Based Scientific Workflow Modelling; Visual Process-Oriented Programming for Robotics; Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques; Mobile Agents and Processes Using Communicating Process Architectures; YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation; Modelling a Multi-Core Media Processor Using JCSP; Part C. Fringe Presentation Abstracts; How to Make a Process Invisible; Designing Animation Facilities for gCSP; Tock: One Year On
  • Introducing JCSP Networking 2.0Mobile Processes in an Ant Simulation; Santa Claus
  • with Mobile Reindeer and Elves; Subject Index; Author Index

Ejemplares similares