Proceedings details

Title: Communicating Process Architectures 2001
Subtitle: WoTUG-24
Editors: Alan G. Chalmers, Majid Mirmehdi, Henk Muller
Publisher: IOS Press, Amsterdam
ISBN: 1 58603 202 X
ISSN: 1383-7575
Items:

Efficient Execution of Process Networks T. Basten, J. Hoogerbrugge, 14 pages
Copying, Moving and Borrowing Semantics David May, Henk Muller, 12 pages [PDF]
Parallel Genetic Algorithms to Find Near Optimal Schedules for Tasks on Multiprocessor Architectures M. Moore, 10 pages
Adapted OS Link / DS Link Protocols for Use in Mutliprocessor Routing Networks S. Triger, Brian C. O'Neill, S. Clark, 12 pages
Successes and Failures: Extending CSP Adrian E. Lawrence, 18 pages
CSPP and Event Priority Adrian E. Lawrence, 26 pages
Infinite Traces, Acceptances and CSPP Adrian E. Lawrence, 10 pages
The `Uniform Heterogeneous Multi-Threaded' Processor Architecture Daniel Towner, David May, 14 pages
Event-Based Design of Concurrent Programs with Java Implementation H. Rischel, H. Sun, 12 pages
Using Two-, Four- and Eight-Way Multiprocessors as Cluster Components Brian Vinter, Otto J. Anshus, Tore Larsen, John Markus Bjørndalen, 20 pages
Guarenteed Message Delivery Time on Real-Time Distributed Systems T. -Y. Yang, G. S. Stiles, 18 pages
A Programming Language for Hardware/Software Co-Design D. R. Watt, David May, 12 pages
A Reconfigurable Host Interconnection Scheme for Occam-Based Field Programmable Gate Arrays Roger M. A. Peel, 14 pages
A 40 Gbit/s Network Processor Design Platform R. McConnell, P. Winser, 20 pages
Working Towards the Agreement Problem Protocol Verification Environment James S. Pascoe, Roger J. Loader, Vaidy S. Sunderam, 18 pages
Working towards a successor to occam Ian R. East, 12 pages
Mobile Data, Dynamic Allocation and Zero Aliasing: An occam Experiment Peter H. Welch, Frederick R. M. Barnes, 22 pages [PDF, PS]
tranx86 -- An Optimising ETC to IA32 Translator Frederick R. M. Barnes, 18 pages [PDF, PS]
From Safe Concurrent Processes to Process-Classes? PLUSSING New Code by ROLLING out and Compile? Øyvind Teig, 22 pages
CHANnels to Deliver Memory? MOBILE Structures and ALTing over Memory? Øyvind Teig, 4 pages
Protocol Verification in Millipede Jan Bækgaard Pedersen, Alan Wagner, 20 pages
Towards a Viable Alternative to OO -- Extending the occam/CSP Programming Model Tom Locke, 21 pages

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.