Communicating Process Architectures 2001: WoTUG-24: Proceedings of the 24th World Occam and Transputer User Group Technical Meeting, 16-19 September 2001, Bristol, United Kingdom

Communicating Process Architectures 2001: WoTUG-24: Proceedings of the 24th World Occam and Transputer User Group Technical Meeting, 16-19 September 2001, Bristol, United Kingdom

by World Occam and Transputer User Group, Technical Meeting
     
 

Contributors from The Netherlands, Denmark, Norway, the US, and the UK have contributed 22 papers (first presented at a meeting held in September 2001 at the U. of Bristol, UK, where all three editors teach computer science) on concurrency in computer communication design. Among the topics are efficient execution in process networks, extending CSP, event priority and… See more details below

Overview

Contributors from The Netherlands, Denmark, Norway, the US, and the UK have contributed 22 papers (first presented at a meeting held in September 2001 at the U. of Bristol, UK, where all three editors teach computer science) on concurrency in computer communication design. Among the topics are efficient execution in process networks, extending CSP, event priority and CSPP, event-based design using Java, developing a successor to occam, protocol verification in millipede, and a 40Gbit/snetwork processor design platform. Author index only. Annotation c. Book News, Inc., Portland, OR

Product Details

ISBN-13:
9781586032029
Publisher:
IOS Press, Incorporated
Publication date:
09/28/2001
Series:
Concurrent Systems Engineering Series
Pages:
351
Product dimensions:
9.40(w) x 6.34(h) x 0.83(d)

Table of Contents

Prefacevii
Programme Committeeviii
Efficient Execution of Process Networks1
Copying, Moving and Borrowing Semantics15
Parallel Genetic Algorithms to Find Near Optimal Schedules for Tasks on Multiprocessor Architectures27
Adapted OS Link / DS Link Protocols for Use in Multiprocessor Routing Networks37
Successes and Failures: Extending CSP49
CSPP and Event Priority67
Infinite Traces, Acceptances, and CSPP93
The 'Uniform Heterogeneous Multi-Threaded' Processor Architecture103
Event-Based Design of Concurrent Programs with Java Implementation117
Using Two-, Four- and Eight-Way Multiprocessors as Cluster Components129
Guaranteed Message Delivery Time on Real-Time Distributed Systems149
A Programming Language for Hardware/Software Co-Design167
A Reconfigurable Host Interconnection Scheme for Occam-Based Field Programmable Gate Arrays179
A 40Gbit/s Network Processor Design Platform193
Working Towards the Agreement Problem Protocol Verification Environment213
Towards a Successor to occam231
Mobile Data, Dynamic Allocation and Zero Aliasing: An occam Experiment243
tranx86 - An Optimising ETC to IA32 Translator265
From Safe Concurrent Processes to Process-Classes? PLUSSING New Code by ROLLING out and Compile?283
CHANnels to Deliver Memory? MOBILE Structures and ALTing over Memory?305
Protocol Verification in Millipede309
Towards a Viable Alternative to OO - Extending the occam/CSP Programming Model329
Author Index351

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >