author : Andre W. P. Bakkers

Contents

• J. M. R. Martin, S. A. Jassim. A Tool for Proving Deadlock Freedom. 1997

• Andre van Delft. Scriptic: Parallel Programming in Extended Java. 1997

• Erik D. Demaine. Higher-Order Concurrency in Java. 1997

• Gerald H. Hilderink, Jan F. Broenink, Wiek Vervoort, Andre Bakkers. Communicating Java Threads. 1997

• Eric Verhulst. Beyond Transputing: Fully Distributed Semantics in Virtuoso's Virtual Single Processor Programming Model and its Implementation on Of-the-Shelf Parallel DSPs. 1997

• Roger Gook. Reconfigurable Computing. 1997

• Paul Singleton, Barry M. Cook. An Open Systems Strategy for Distributed occam Execution. 1997

• Peter H. Welch, David C. Wood. Higher Levels of Process Synchronisation. 1997

• Jonathan Tidmus, Roger Miles, Alan Chalmers. Prefetch Data Management for Parallel Particle Tracing. 1997

• S. R. Harrison, C. R. Brown. WEAVE - A System for Dynamic Configuration of Virtual Links. 1997

• Peter H. Welch, Michael D. Poole. occam for Multi-Processor DEC Alphas. 1997

• Barry M. Cook. Data-Strobe Links and Virtual Channel Processors. 1997

• D. G. Patrick, P.R. Green, T. A. York. A Multiprocessor OCCAM Development System for UNIX Network Clusters. 1997

• Tomasz Kalinowksi. A Tool for Optimisation of Program Execution in Dynamic Topology Systems. 1997

• Luis M. Silva, Hernani Pedroso, Joao Gabriel Silva. The Design of JET: A Java Library for Embarrassingly Parallel Applications. 1997

• Marek Tudruj. Fine-Grained Global Control Constructs for Parallel Programming Environments. 1997

• C. Rodriguez, F. Sande, C. Leon, F. Garcia. Expanding the Message Passing Library Model with Nested Parallelism. 1997

• Rizos Sakellariou. Compile-Time Schemes for Mapping Loop Parallelism. 1997

• Lajos Schrettner, Innes Jelly. Dynamic Process Interaction. 1997

• S. Haas, D. A. Thornley, M. Zhu, R. W. Dobinson, B. Martin. The Macrame 1024 Node Switching Network. 1997

• Peter H. Welch. Java Threads in the Light of occam/CSP. 1997

• Gerald H. Hilderink. Communicating Java Threads Reference Manual. 1997

• J. M. R. Martin, S. A. Jassim. How to Design Deadlock-Free Networks Using CSP and Verification Tools - A Tutorial Introduction. 1997