Proceedings details

Title: Communicating Process Architectures 2012
Editors: Peter H. Welch, Frederick R. M. Barnes, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson
Publisher: Open Channel Publishing Ltd., Bicester
ISBN: 978-0-9565409-5-9
Items:

Designing a Concurrent File Server James Whitehead, 14 pages [PDF]
JCircus 2.0: an Extension of an Automatic Translator from Circus to Java S.L.M. Barrocas, Marcel Oliveira, 22 pages [PDF]
A Distributed Multi-Agent Control System for Power Consumption in Buildings Anna Kosek, Oliver Gehrke, 16 pages [PDF]
Specification of APERTIF Polyphase Filter Bank in ClaSH Rinse Wester, Dimitrios Sarakiotis, Eric Kooistra, Jan Kuper, 12 pages [PDF]
Schedulability Analysis of Timed CSP Models Using the PAT Model Checker Oguzcan Oguz, Jan F. Broenink, Angelika Mader, 24 pages [PDF]
Supporting Timed CSP Operators in CSP++ W. B. Gardner, Yuriy Solovyov, 18 pages [PDF]
A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance Kevin Chalmers, 14 pages [PDF]
Beauty And The Beast: Exploiting GPUs In Haskell Alex Cole, Alistair A. McEwan, Geoff Mainland, 14 pages [PDF]
A Debugger for Communicating Scala Objects Andrew Bate, Gavin Lowe, 20 pages [PDF]
XCHANs: Notes on a New Channel Type Øyvind Teig, 16 pages [PDF]
A High Performance Reconfigurable Architecture for Flash File Systems Irfan Mir, Alistair A. McEwan, Neil J. Perrins, 14 pages [PDF]
Design and Use of CSP Meta-Model for Embedded Control Software Development Maarten M. Bezemer, Robert J.W. Wilterdink, Jan F. Broenink, 16 pages [PDF]
Exception Handling and Checkpointing in CSP Mads Ohm Larsen, Brian Vinter, 12 pages [PDF]
occam Obviously Peter H. Welch, 2 pages [PDF]
Process-Oriented Building Blocks Adam T. Sampson, 2 pages [PDF]
Data Escape Analysis for Process Oriented Systems Martin Ellis, Frederick R. M. Barnes, 2 pages [PDF]
SEU Protection for High-Reliability Flash File Systems Neil J. Perrins, Alistair A. McEwan, 2 pages [PDF]
Cancellable Servers - a Pattern for Curiousity Peter H. Welch
A CPA Series Ian R. East
Polyphonic Processors - Fantasy on an FPGA Richard Miller
Developing JIWY using TERRA Maarten M. Bezemer, Robert J.W. Wilterdink, Jan F. Broenink
JCircus Demo S.L.M. Barrocas, Marcel Oliveira
Unfinished Business - occam-pi² Peter H. Welch
Implementation of an Agent-based Model with TBB Technique Ye Li
Handel-C++ - Adding Syntactic Support to C++ Alex Cole

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.