1 option
Communicating process architectures 2005 : WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, The Netherlands / ed. by Jan F. Broenink ... [et al.].
- Format:
- Book
- Conference/Event
- Author/Creator:
- WoTUG Technical Meeting, Corporate Author.
- Conference Name:
- WoTUG Technical Meeting (28th : 2005 : Technische Universiteit Eindhoven)
- WoTUG Technical Meeting
- Series:
- Concurrent systems engineering series ; v. 63.
- Concurrent systems engineering series, 1383-7575 ; v. 63
- Language:
- English
- Subjects (All):
- Parallel processing (Electronic computers)--Congresses.
- Parallel processing (Electronic computers).
- occam (Computer program language)--Congresses.
- occam (Computer program language).
- Transputers--Congresses.
- Transputers.
- Computer architecture--Congresses.
- Computer architecture.
- Physical Description:
- 1 online resource (416 p.)
- Edition:
- 1st ed.
- Place of Publication:
- Amsterdam ; Washington, D.C. : IOS Press, c2005.
- Language Note:
- English
- Summary:
- Modern computing systems work when all components are correct by design and can be combined to achieve scalability. This publication offers refereed papers covering various aspects such as: system design and implementation; tools (concurrent programming languages, libraries, and run-time kernels); and, formal methods and applications.
- Contents:
- Title page; Preface; Programme Committee; Contents; Interfacing with Honeysuckle by Formal Contract; Groovy Parallel! A Return to the Spirit of occam?; On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software; Automatic Handel-C Generation from MATLAB and Simulink for Motion Control with an FPGA; JCSP-Poison: Safe Termination of CSP Process Networks; jcsp.mobile: A Package Enabling Mobile Processes and Channels; CSP++: How Faithful to CSPm?; Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams
- Improving TCP/IP Multicasting with Message SegmentationLazy Cellular Automata with Communicating Processes; A Unifying Theory of True Concurrency Based on CSP and Lazy Observation; The Architecture of the Minimum intrusion Grid (MiG); Verification of JCSP Programs; Architecture Design Space Exploration for Streaming Applications through Timing Analysis; A Foreign-Function Interface Generator for occam-pi; Interfacing C and occam-pi; Interactive Computing with the Minimum intrusion Grid (MiG); High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog
- Mobile Barriers for occam-pi: Semantics, Implementation and ApplicationException Handling Mechanism in Communicating Threads for Java; R16: A New Transputer Design for FPGAs; Towards Strong Mobility in the Shared Source CLI; gCSP occam Code Generation for RMoX; Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach; Communication and Synchronization in the Cell Processor (Invited Talk); Homogeneous Multiprocessing for Consumer Electronics (Invited Talk); Handshake Technology: High Way to Low Power (Invited Talk)
- If Concurrency in Software Is So Simple, Why Is It So Hard? (Invited Talk)Author Index
- Notes:
- Description based upon print version of record.
- Includes bibliographical references and index.
- ISBN:
- 1-280-50507-9
- 9786610505074
- 1-4237-9735-3
- 1-60750-144-9
- 600-00-0366-8
- 1-60129-124-8
- OCLC:
- 299570427
- Publisher Number:
- 9781586035617
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.