Proceedings details

Title: Communicating Process Architectures 2005
Subtitle: WoTUG-28
Editors: Jan F. Broenink, Herman Roebbers, Johan P. E. Sunter, Peter H. Welch, David C. Wood
Publisher: IOS Press, Amsterdam
ISBN: 978-1-58603-561-7
ISSN: 1383-7575
Items:

Communication and Synchronisation in the Cell Processor H. Peter Hofstee, 1 page
Homogeneous Multiprocessing for Consumer Electronics Paul Stravers, 1 page
Handshake Technology: High Way to Low Power Ad Peeters, 1 page
If Concurrency in Software is So Simple, Why is it So Hard? Guy Broadfoot, 1 page
Interfacing with Honeysuckle by Formal Contract Ian R. East, 11 pages [PDF]
Groovy Parallel! A Return to the Spirit of occam? Jon Kerridge, Ken Barclay, John Savage, 16 pages [PDF]
On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software Dusko S. Jovanovic, Bojan Orlic, Jan F. Broenink, 13 pages [PDF]
Automatic Handel-C Generation from MATLAB® and Simulink® for Motion Control with an FPGA Bart Rem, Ajeesh Gopalakrishnan, Tom J. H. Geelen, Herman Roebbers, 27 pages
JCSP-Poison: Safe Termination of CSP Process Networks Bernhard H.C. Sputh, Alastair R. Allen, 37 pages [PDF]
jcsp.mobile: A Package Enabling Mobile Processes and Channels Kevin Chalmers, Jon Kerridge, 19 pages [PDF]
CSP++: How Faithful to CSPm? W. B. Gardner, 18 pages [PDF]
Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams Albert L. Schoute, Remco Seesink, Werner Dierssen, Niek Kooij, 8 pages [PDF]
Improving TCP/IP Multicasting with Message Segmentation Hans Henrik Happe, Brian Vinter, 9 pages [PDF]
Lazy Cellular Automata with Communicating Processes Adam T. Sampson, Peter H. Welch, Frederick R. M. Barnes, 11 pages
A Unifying Theory of True Concurrency Based on CSP and Lazy Observation Marc L. Smith, 12 pages [PDF]
The Architecture of the Minimum intrusion Grid (MiG) Brian Vinter, 13 pages [PDF]
Verification of JCSP Programs Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt, 16 pages [PDF]
Architecture Design Space Exploration for Streaming Applications through Timing Analysis Maarten H. Wiggers, Nikolay Kavaldjiev, Gerard J. M. Smit, Pierre G. Jansen, 15 pages [PDF]
A Foreign Function Interface Generator for occam-pi Damian J. Dimmich, Christian L. Jacobsen, 14 pages [PDF]
Interfacing C and occam-pi Frederick R. M. Barnes, 12 pages
Interactive Computing with the Minimum intrusion Grid (MiG) John Markus Bjørndalen, Otto J. Anshus, Brian Vinter, 13 pages [PDF]
High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog Arash Saifhashemi, Peter A. Beerel, 14 pages [PDF]
Mobile Barriers for occam-pi: Semantics, Implementation and Application Peter H. Welch, Frederick R. M. Barnes, 28 pages [PDF, PDF]
Exception Handling Mechanism in Communicating Threads for Java Gerald H. Hilderink, 18 pages [PDF]
R16: a New Transputer Design for FPGAs John Jakson, 28 pages [PDF]
Towards Strong Mobility in the Shared Source CLI Johnston Stewart, Patrick Nixon, Tim Walsh, Ian Ferguson, 11 pages [PDF]
gCSP occam Code Generation for RMoX Marcel A. Groothuis, Geert K. Liet, Jan F. Broenink, 9 pages [PDF]
Assessing Application Performance in Degraded Network Environments: an FPGA-based Approach Mihai Ivanovici, Razvan Beuran, Neil Davies, 11 pages

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.