Home | Conferences | Links | Reference | About | Search |
|
Communicating Process Architectures - 2000Accepted Papers[Note: abstracts for each paper will be linked off each item - real soon now] Theory:Formal Analysis of Concurrent Java Systems
Practice:CSP: Arriving at the CHANnel Island (an Industrial Practioner's
Diary: in Search of a New Fairway)
Hardware Infrastructure:Synchronisation in a Multithreaded Processor
Effective Caching for Multithreaded Processors
occam on Field Programmable Gate Arrays - Optimising for
Performance
Software Infrastructure:Distributed Computing using Channel Communications
in Java
A Comparison of Linda Implementations in Java
Conditional Communication in the Presence of Priority
Using Java for Parallel Computing - JCSP versus CTJ
Blocking System Calls in KRoC/Linux
An Experiment with Recursion in occam
Post-Mortem Debugging in KRoC
Native JCSP - the CSP for Java library with a Low-Overhead
CSP Kernel
libcsp - a Building mechanism for CSP Communication
and Synchronisation in Multithreaded C Programs
Tools:The Automated Serialization of Concurrent CSP Scripts
using Mathematica
Parallel Algorithms for Deadlock and Livelock Analysis
of Concurrent Systems
CSP Design Model and Tool Support
Applications:A Self-Configuring Distributed Kernel for Satellite Networks
Steering High-Performance Parallel Programs: a Case
Study
A Cruise Control in occam based on an Implementation of
KRoC on the Philips 8051 Microcontroller
|
Page last modified on 2nd March 2001
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to:
www at wotug.org