Communicating Process Architectures 2005 : WoTUG-28 : Proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands /
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); a...
| Автор-организации: | WoTUG Technical Meeting Technische Universiteit Eindhoven) |
|---|---|
| Други автори: | Broenink, Jan F. |
| Формат: | Електронна книга |
| Език: | English |
| Публикувано: |
Amsterdam ; Washington, D.C. :
IOS Press,
℗♭2005.
|
| Серия: |
Concurrent systems engineering series ;
v. 63. |
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164004 |
| Подобни документи: |
Print version::
Communicating process architectures 2005. |
Съдържание:
- 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.