Muutke küpsiste eelistusi

Wotug-23: Communicating Process Architectures 2000 [Pehme köide]

Edited by , Edited by
Modern computing systems are built in terms of components and those components communicating. Communication systems imply concurrency, which is a theme of the WoTUG series. Traditionally concurrency has been taught, considered and experienced as an advanced and difficult topic. The thesis underlying this conference is that that idea is wrong. The natural world operates through continuous interaction of massive numbers of autonomous agents at all levels (sub-atomic, human, astronomic). It seems it is time to mature concurrency into a core engineering discipline that can be used on an everyday basis to simplify problem solutions, as well as to enable them. The goal of "Communicating Process Architectures 2000" was to stimulate discussion and ideas as to the role concurrency should play in future generations of scalable computer infrastructure and applications - where scaling means the ability to ramp up functionality (stay in control as complexitiy increases) as well as physical metrics (such as performance).
Preface vii
P. H. Welch
A. W. P. Bakkers
Programme Committee viii
Papers
Parallel Algorithms for Deadlock and Livelock Analysis of Concurrent Systems
1(14)
J. M. R. Martin
Y. Huddart
The Automated Serialization of Concurrent CSP Scripts using Mathematica
15(18)
W. Zhou
G. S. Stiles
CSP Design Model and Tool Support
33(16)
H. J. Volkerink
G. H. Hilderink
J. F. Broenink
W. A. Vervoort
A. W. P. Bakkers
Distributed Computing using Channel Communications in Java
49(14)
A. Ripke
A. Allen
Y. Feng
S. C. Allison
A Comparison of Linda Implementations in Java
63(14)
G. Wells
A. Chalmers
P. Clayton
Conditional Communication in the Presence of Priority
77(22)
G. H. Hilderink
J. F. Broenink
Steering High-Performance Parallel Programs: a Case Study
99(10)
P. J. Love
J. M. R. Martin
A Self-Configuring Distributed Kernel for Statellite Networks
109(12)
S. Cannon
L. Denys
A Cruise Control in occam Based on an Implementation of KRoC on the Philips 8051 Microcontroller
121(16)
F. T. M. van Vugt
A. W. P. Bakkers
Synchronisation in a Multithreaded Processor
137(8)
S. Sen
H. Muller
D. May
Effective Caching for Multithreaded Processors
145(10)
D. May
J. Irwin
H. Muller
D. Page
Blocking System Calls in KroC/Linux
155(24)
F. R. M. Barnes
Post-Mortem Debugging in KroC
179(14)
D. C. Wood
F. R. M. Barnes
An Experiment with Recursion in occam
193(12)
D. C. Wood
Using Java for Parallel Computing: JCSP versus CTJ
205(22)
N. C. Schaller
G. H. Hilderink
P. H. Welch
occam on Field Programmable Gate Arrays - Optimising for Performance
227(12)
R. M. A. Peel
B. M. Cook
libcsp - a Building Mechanism for CSP Communication and Synchronisation in Multithreaded C Programs
239(12)
R. Beton
CSP: Arriving at the CHANnel Island (an Industrial Practitioner's Diary: in Search of a New Fairway)
251(12)
Ø. Teig
Native JCSP - the CSP for Java library with a Low-Overhead CSP Kernel
263(12)
J. Moores
Formal Analysis of Concurrent Java Systems
275(27)
P. H. Welch
J. M. R. Martin
Author Index 302