CPA 2005: Eindhoven, The Netherlands
Jan F. Broenink, Herman W. Roebbers, Johan P. E. Sunter, Peter H. Welch, David C. Wood (Eds.): The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005. IOS Press 2005 Concurrent Systems Engineering Series 63 ISBN 978-1-58603-561-7- Ian East: Interfacing with Honeysuckle by Formal Contract. 1-11
- Dusko S. Jovanovic, Bojan E. Orlic, Jan F. Broenink: On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software. 29-41
- Bart Rem, Ajeesh Gopalakrishnan, Tom J. H. Geelen, Herman W. Roebbers: Automatic Handel-C Generation from MATLAB. 43-69
- Bernhard H. C. Sputh, Alastair R. Allen: JCSP-Poison: Safe Termination of CSP Process Networks. 71-107
- Kevin Chalmers, Jon M. Kerridge: jcsp.mobile: A Package Enabling Mobile Processes and Channels. 109-127
- William B. Gardner: CSP++: How Faithful to CSPm? 129-146
- Albert L. Schoute, Remco Seesink, Werner Dierssen, Niek Kooij: Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams. 147-154
- Adam T. Sampson, Peter H. Welch, Fred R. M. Barnes: Lazy Cellular Automata with Communicating Processes. 165-175
- Marc L. Smith: A Unifying Theory of True Concurrency Based on CSP and Lazy Observation. 177-188
- Brian Vinter: The Architecture of the Minimum intrusion Grid (MiG). 189-201
- Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt: Verification of JCSP Programs. 203-218
- Maarten Wiggers, Nikolay Kavaldjiev, Gerard J. M. Smit, Pierre G. Jansen: Architecture Design Space Exploration for Streaming Applications through Timing Analysis. 219-233
- Damian J. Dimmich, Christian L. Jacobsen: A Foreign-Function Interface Generator for occam-pi. 235-248
- Fred R. M. Barnes: Interfacing C and occam-pi. 249-260
- John Markus Bjørndalen, Otto J. Anshus, Brian Vinter: Interactive Computing with the Minimum intrusion Grid (MiG). 261-273
- Arash Saifhashemi, Peter A. Beerel: High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog. 275-288
- Peter H. Welch, Fred R. M. Barnes: Mobile Barriers for occam-pi: Semantics, Implementation and Application. 289-316
- Gerald H. Hilderink: Exception Handling Mechanism in Communicating Threads for Java. 317-334
- John Jakson: R16: A New Transputer Design for FPGAs. 335-362
- Johnston Stewart, Paddy Nixon, Tim Walsh, Ian Ferguson: Towards Strong Mobility in the Shared Source CLI. 363-373
- Mihail Ivanovici, Razvan Beuran, Neil Davies: Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach. 385-395
- H. Peter Hofstee: Communication and Synchronization in the Cell Processor - Invited Talk. 397
- Paul Stravers: Homogeneous Multiprocessing for Consumer Electronics - Invited Talk. 399
- Ad M. G. Peeters: Handshake Technology: High Way to Low Power - Invited Talk. 401
- Guy H. Broadfoot: If Concurrency in Software is So Simple, Why is it So Hard? - Invited Talk. 403
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team