Communicating Process Architectures 2005 (CPA 2005)


  Editors:
 
  Publisher: IOS Press, Amsterdam, The Netherlands
  ISBN: 978-1586035617

  Held at Technische Universiteit Eindhoven in Eindhoven, The Netherlands, September 18 - 21, 2005
 
 Keynote Presentations
 
 Title: Communication and Synchronisation in the Cell Processor
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: Homogeneous Multiprocessing for Consumer Electronics
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: Handshake Technology: High Way to Low Power
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: If Concurrency in Software is So Simple, Why is it So Hard?
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 
 Fringe Presentations
 
 Title: Interfacing with Honeysuckle by Formal Contract
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: Groovy Parallel! A Return to the Spirit of occam?
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: Automatic Handel-C Generation from MATLAB and Simulink for Motion Control with an FPGA
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: JCSP-Poison: Safe Termination of CSP Process Networks
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: jcsp.mobile: A Package Enabling Mobile Processes and Channels
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: CSP++: How Faithful to CSPm?
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: Improving TCP/IP Multicasting with Message Segmentation
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: Lazy Cellular Automata with Communicating Processes
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: A Unifying Theory of True Concurrency Based on CSP and Lazy Observation
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: The Architecture of the Minimum intrusion Grid (MiG)
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: Verification of JCSP Programs
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: Architecture Design Space Exploration for Streaming Applications through Timing Analysis
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: A Foreign Function Interface Generator for occam-pi
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: Interfacing C and occam-pi
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: Interactive Computing with the Minimum intrusion Grid (MiG)
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: gCSP occam Code Generation for RMoX
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: Mobile Barriers for occam-pi: Semantics, Implementation and Application
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: Exception Handling Mechanism in Communicating Threads for Java
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: R16: a New Transputer Design for FPGAs
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: Towards Strong Mobility in the Shared Source CLI
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation:
 
 Title: Assessing Application Performance in Degraded Network Environments: an FPGA-based Approach
 Authors:
 Abstract:
 Bibliography:   [BibTeX]
 Abstract:
 Presentation: