| Sunday, 16th. September, 2001 |
| 18:00-19:30 |
Registration |
Hawthorns |
| 18:00-19:30 |
Dinner |
Hawthorns |
| 20:00-22:00 |
Special Interest Groups (I and II) (and late Registration) |
Hawthorns |
| 22:00-24:00 |
Late Bar (and late Registration) |
Hawthorns |
| Monday, 17th. September, 2001 |
| 09:30-09:40 |
Introduction and Welcome
Alan Chalmers |
Hawthorns (Cabot Room) |
| 09:40-10:30 |
1st Invited Talk
Beyond the Transputer
David May, FRS (University of Bristol, UK) |
Hawthorns (Cabot Room) |
| 10:30-11:00 |
Tea/Coffee and Registration |
Hawthorns (Cabot Room) |
| 11:00-11:30 |
Towards a successor for Occam (p 231)
I. East |
Hawthorns (Cabot Room) |
| 11:30-12:00 |
Towards a Viable Alternative to OO - extending the occam/CSP programming model
T. Locke |
Hawthorns (Cabot Room) |
| 12:00-12:30 |
A programming language for hardware/software co-design (p 167)
D. Watt and D. May |
Hawthorns (Cabot Room) |
| 12:30-13:45 |
Lunch |
Hawthorns |
| 13:45-14:30 |
2nd Invited Talk
Computing without Computers
Stephen Chappel (Celoxica) |
Hawthorns (Cabot Room) |
| 14:30-15:00 |
The 40Gbit/s Network Processing Overview (p 193)
R. McConnel and P. Winser |
Hawthorns (Cabot Room) |
| 15:00-15:30 |
Using two-, four-, and eight-way multiprocessors as cluster components (p 129)
B. Vinter, O. Anshus, T. Larsen and J. Bjorndalen |
Hawthorns (Cabot Room) |
| 15:30-16:00 |
Tea/Coffee |
Hawthorns |
| 16:00-16:30 |
Successes and Failures: Extending CSP (p 49)
A. Lawrence |
Hawthorns (Cabot Room) |
| 16:30-16.50 |
CSPP and Event Priority (p 67)
A. Lawrence |
Hawthorns (Cabot Room) |
| 16:50-17.10 |
Infinite Traces, Acceptances, and CSPP (p 93)
A. Lawrence |
Hawthorns (Cabot Room) |
| 18:30-19:30 |
Dinner |
Hawthorns |
| 20:00-22:00 |
Special Interest Groups (III and IV) |
Hawthorns |
| 22:00-24:00 |
Late Bar |
Hawthorns |
| Tuesday, 18th. September, 2001 |
| 09:30-10:00 |
Protocol Verification in Millipede
J. Pedersen and A. Wagner |
Hawthorns (Cabot Room) |
| 10:00-10:30 |
Mobile data, dynamic allocation and zero aliasing: An occam experiment (p109)
F. Barnes and P. H. Welch |
Hawthorns (Cabot Room) |
| 10:30-11:00 |
Tea/Coffee |
Hawthorns |
| 11:00-11:30 |
Guaranteed message delivery time on real-time distributed systems (p 149)
T-Y. Yang and G. S. Stiles |
Hawthorns (Cabot Room) |
| 11:30-12:00 |
A Reconfigurable host interconnection scheme for occam based field programmable gate arrays (p 179)
R. M. A. Peel |
Hawthorns (Cabot Room) |
| 12:00-12:30 |
From safe concurrent processes to process-classes?
�. Teig |
Hawthorns (Cabot Room) |
| 12:30-14:00 |
Lunch |
Hawthorns |
| 14:00-14:30 |
The agreement problem protocol verification environment (p 213)
J. Pascoe, R. Loader and V. Sundera |
Hawthorns (Cabot Room) |
| 14:30-15:00 |
Analysis of communication protocols for use in multiprocessor routing networks (p 37)
S. Triger, B.C. O'Neill and S.Clark |
Hawthorns (Cabot Room) |
| 15:00-15:30 |
Tea/Coffee |
Hawthorns |
| 15:30-16:00 |
Parallel genetic algorithms to find a near optimal schedule to functionally
distribute tasks on multiprocessor architectures (p 27)
M. Moore |
Hawthorns (Cabot Room) |
| 16:00-16:30 |
Copying, borrowing, and moving semantics (p 15)
D. May and H. Muller |
Hawthorns (Cabot Room) |
| 16:30-17:00 |
transx86 - an optimising ETC to IA32 translator
F. Barnes |
Hawthorns (Cabot Room) |
| 17:00-17:30 |
Announcements |
Hawthorns (Cabot Room) |
| 17:30-18:00 |
Sherry Reception
(sponsored by WoTUG) |
Hawthorns |
| 18:00-19:00 |
Panel Session |
Hawthorns (Cabot Room) |
| 20:00-24:00 |
Conference Dinner and Late Bar |
Hawthorns (James Room) |
| Wednesday, 19th. September, 2001 |
| 09:30-10:00 |
The uniform heterogeneous multi-threaded processor architecture (p 103)
D. Towner and D. May |
Hawthorns (Cabot Room) |
| 10:00-10:30 |
Event-Based design of concurrent programs with Java implementation (p 117)
H. Rischel and H. Sun |
Hawthorns (Cabot Room) |
| 10:30-11:00 |
Tea/Coffee |
Hawthorns |
| 11:00-11:30 |
Efficient execution of process networks (p 1)
T. Basten and J. Hoogerbrugge |
Hawthorns (Cabot Room) |
| 11:30-12:00 |
CHANnels to deliver memory?
�. Teig |
Hawthorns (Cabot Room) |
| 12:00-12:45 |
WoTUG AGM
and Conference Prizes |
Hawthorns (Cabot Room) |
| 12:45-14:00 |
Lunch |
Hawthorns |
