Cover image for Communicating Process Architectures 2006 : WoTUG-29.
Communicating Process Architectures 2006 : WoTUG-29.
Title:
Communicating Process Architectures 2006 : WoTUG-29.
Author:
Welch, P.H.
ISBN:
9781607502050
Personal Author:
Physical Description:
1 online resource (400 pages)
Series:
Concurrent Systems Engineering Series
Contents:
Title page -- Preface -- Programme Committee -- Contents -- SpaceWire - DS-Links Reborn -- An Introduction to CSP.NET -- Performance Evaluation of JCSP Micro Edition: JCSPme -- Ubiquitous Access to Site Specific Services by Mobile Devices: The Process View -- CSP for .NET Based on JCSP -- pony - The occam-pi Network Environment -- A Study of Percolation Phenomena in Process Networks -- Portable CSP Based Design for Embedded Multi-Core Systems -- A JCSP.net Implementation of a Massively Multiplayer Online Game -- SystemCSP - Visual Notation -- Interacting Components -- TCP Input Threading in High Performance Distributed Systems -- A Cell Transterpreter -- Mobile Robot Control: The Subsumption Architecture and occam-pi -- Rain: A New Concurrent Process-Oriented Programming Language -- Rain VM: Portable Concurrency Through Managing Code -- Native Code Generation Using the Transterpreter -- Compositions of Concurrent Processes -- Software Specification Refinement and Verification Method with I-Mathic Studio -- Video Processing in occam-pi -- No Blocking on Yesterday's Embedded CSP Implementation -- A Circus Development and Verification of an Internet Packet Filter -- Classification of Programming Errors in Parallel Message Passing System -- Compiling CSP -- A Fast Resolution of Choice Between Multiway Synchronisations (Invited Talk) -- Author Index.
Abstract:
This publication contains papers from the Communicating Process Architectures 2006 conference, held at Napier University in Edinburgh. It is perhaps appropriate that a meeting concerning simple ways of designing, implementing and reasoning about concurrent systems should be held in an institution named after the inventor of a simple, and highly concurrent, adding machine. The house in which John Napier lived forms part of the campus where the meeting was held. The papers are very varied and wide ranging and subjects include various aspects of communicating process theory and their application to designing and building systems. One of the hottest current topics - safe and effective programming models for multicore processors (e.g. IBM's Cell) - has a natural home in this community and is addressed. Other papers include a case study on large scale formal development and verification, CSP mechanisms for Microsoft's .NET framework, parallel systems on embedded and mobile devices, modern link technology ('SpaceWire'), various applications of occam, JCSP and JCSP.net (video processing, robotics, massive multiplayer gaming, material and biological modeling, etc.), visual design languages and tools for CSP and real-time systems, new process oriented programming and design environments, new developments of the Transterpreter, efficient cluster computing and the debugging of message-passing systems.
Local Note:
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2017. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
Electronic Access:
Click to View
Holds: Copies: