|
Concurrent Systems Engineering Series
Volume 63, 2005
Communicating Process Architectures 2005
- WoTUG-28
Edited by Jan F. Broenink, Herman W. Roebbers, Johan P.E. Sunter, Peter H. Welch, David C. Wood
ISBN 978-1-58603-561-7
$145.00 / € 120,00
|
|
|
|
|
Interfacing with Honeysuckle by Formal Contract
|
|
1 - 11 |
| Ian East
|
|
|
|
Groovy Parallel! A Return to the Spirit of occam?
|
|
13 - 28 |
| Jon Kerridge, Ken Barclay, John Savage
|
|
|
|
On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software
|
|
29 - 41 |
| Dusko S. Jovanovic, Bojan E. Orlic, Jan F. Broenink
|
|
|
|
Automatic Handel-C Generation from MATLAB® and Simulink® for Motion Control with an FPGA
|
|
43 - 69 |
| Bart Rem, Ajeesh Gopalakrishnan, Tom J.H. Geelen, Herman Roebbers
|
|
|
|
JCSP-Poison: Safe Termination of CSP Process Networks
|
|
71 - 107 |
| Bernhard H.C. Sputh, Alastair R. Allen
|
|
|
|
jcsp.mobile: A Package Enabling Mobile Processes and Channels
|
|
109 - 127 |
| Kevin Chalmers, Jon Kerridge
|
|
|
|
CSP++: How Faithful to CSPm?
|
|
129 - 146 |
| W.B. Gardner
|
|
|
|
Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams
|
|
147 - 154 |
| Albert Schoute, Remco Seesink, Werner Dierssen, Niek Kooij
|
|
|
|
Improving TCP/IP Multicasting with Message Segmentation
|
|
155 - 163 |
| Hans Henrik Happe, Brian Vinter
|
|
|
|
Lazy Cellular Automata with Communicating Processes
|
|
165 - 175 |
| Adam Sampson, Peter Welch, Fred Barnes
|
|
|
|
A Unifying Theory of True Concurrency Based on CSP and Lazy Observation
|
|
177 - 188 |
| Marc L. Smith
|
|
|
|
The Architecture of the Minimum intrusion Grid (MiG)
|
|
189 - 201 |
| Brian Vinter
|
|
|
|
Verification of JCSP Programs
|
|
203 - 218 |
| Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt
|
|
|
|
Architecture Design Space Exploration for Streaming Applications through Timing Analysis
|
|
219 - 233 |
| Maarten H. Wiggers, Nikolay Kavaldjiev, Gerard J.M. Smit, Pierre G. Jansen
|
|
|
|
A Foreign-Function Interface Generator for occam-pi
|
|
235 - 248 |
| Damian J. Dimmich, Christian L. Jacobsen
|
|
|
|
Interfacing C and occam-pi
|
|
249 - 260 |
| Fred Barnes
|
|
|
|
Interactive Computing with the Minimum intrusion Grid (MiG)
|
|
261 - 273 |
| John Markus Bjørndalen, Otto J. Anshus, Brian Vinter
|
|
|
|
High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog
|
|
275 - 288 |
| Arash Saifhashemi, Peter A. Beerel
|
|
|
|
Mobile Barriers for occam-pi: Semantics, Implementation and Application
|
|
289 - 316 |
| Peter Welch, Fred Barnes
|
|
|
|
Exception Handling Mechanism in Communicating Threads for Java
|
|
317 - 334 |
| Gerald H. Hilderink
|
|
|
|
R16: A New Transputer Design for FPGAs
|
|
335 - 362 |
| John Jakson
|
|
|
|
Towards Strong Mobility in the Shared Source CLI
|
|
363 - 373 |
| Johnston Stewart, Paddy Nixon, Tim Walsh, Ian Ferguson
|
|
|
|
gCSP occam Code Generation for RMoX
|
|
375 - 383 |
| Marcel A. Groothuis, Geert K. Liet, Jan F. Broenink
|
|
|
|
Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach
|
|
385 - 395 |
| Mihai Ivanovici, Razvan Beuran, Neil Davies
|
|
|
|
Communication and Synchronization in the Cell Processor - Invited Talk
|
|
397 |
| H. Peter Hofstee
|
|
|
|
Homogeneous Multiprocessing for Consumer Electronics - Invited Talk
|
|
399 |
| Paul Stravers
|
|
|
|
Handshake Technology: High Way to Low Power - Invited Talk
|
|
401 |
| Ad Peeters
|
|
|
|
If Concurrency in Software is So Simple, Why is it So Hard? - Invited Talk
|
|
403 |
| Guy Broadfoot
|
|
|
|
|
|
|
To order a single article, please navigate to the article first by clicking 'abstract' and then click
'Add to Cart'
|
|