Communicating Process Architectures 2008
CPA 2008 will start on the evening of Sunday 7th September, through
to lunchtime on Wednesday 10th September, at the University of York in Yorkshire (UK).
Welcome!
WoTUG is a forum set up to support those applying the CSP
model of parallel processing. You will find on this site articles and information
that can help you design and build concurrent software and hardware systems that
really work, day in, day out, without any need to spend man-years of debugging
effort.
- Information on CSP, the mathematical basis of our work
- Our papers, the distilled results of our work
- The KRoC retargettable occam compiler
- A page about the group.
The Abstract below is from a paper in our database:
An OCCAM@ implementation of prolog and its preliminary performance
By Kang Zhang
The paper presents an execution model for Prolog, which attempts to exploit the parallelism mainly at the argument level through the unification operation. The model, consisting of a number of virtual machine instructions, has been implemented in Occam2 on a Transputer Development System (TDS). The performance of the pure software implementation has been evaluated in real-time. The speed, as assessed by running a few hand compiled benchmark programs on the TDS with a single transputer, ranges from 7-18 KLIPS. The paper gives some details of the performance, and then proposes a dataflow-based functionally distributed configuration of the multitransputer system.
Complete record...
|