Abstract is missing.
- Modeling of Advanced Tasking in Ada-95: A Petri Net PerspectiveRavi K. Gedela, Sol M. Shatz. 4-14 [doi]
- 2 with ProceduresBernd Grahlmann, Hans Fleischhack. 15-27 [doi]
- A methodology for verification and analysis of parallel and distributed systems requirements specificationsKhalid Lateef, Hany H. Ammar, Vinay Mogulothu, Tooraj Nikzadeh. 28-38 [doi]
- An Efficient Algorithm for Finding All Maximal Conflict Sets in Concurrent ProgramsKunihiko Hiraishi. 39-49 [doi]
- Reachability Testing of Asynchronous Message-Passing ProgramsKuo-Chung Tai. 50-61 [doi]
- Testing Parallel and Distributed Programs with Temporal Logic SpecificationsMaximilian Frey. 62-73 [doi]
- Prototype-Oriented Development of High-performance SystemsGeorge R. Ribeiro-Justo, P. Vekariya, Thierry Delaitre, Jamal Zemerly, Stephen C. Winter. 74-83 [doi]
- Making Distributed Applications Manageable Through InstrumentationMichael James Katchabaw, Stephen L. Howard, Hanan Lutfi Lutfiyya, Andrew D. Marshall, Michael A. Bauer. 84-94 [doi]
- The Tuple Channel Coordination ModelManuel Díaz, Bartolomé Rubio, José M. Troya. 95-107 [doi]
- Parallel Implementations of Combinations of Broadcast, Reduction and ScanChristoph Wedler, Christian Lengauer. 108-119 [doi]
- An Automated Algorithmic Recgnition Ttechnique to Support Parallel Software DevelopmentBeniamino Di Martino, Giulio Iannello, Hans P. Zima. 120-129 [doi]
- 2-Problems on Parallel Systems with Arbitrary TopologyThomas Lippert, Paolo Palazzari, Klaus Schilling. 130-139 [doi]
- Specifying Parallel and Distributed Systems in Object-ZJin Song Dong, Lin Zucconi, Roger Duke. 140-149 [doi]
- Formalizing a Design Technique for Distributed ProgramsMark Polman, Maarten van Steen, Arie de Bruin. 150-161 [doi]
- Integrating library modules into special purpose parallel algorithmsThomas Rauber, Gudula Rünger. 162-173 [doi]
- Designing Reusable Software Components Following the CSP Distributed Programming ModelJose M. Mantas Ruiz, A. Palma. 174-187 [doi]
- Web Computing Skeleton: A Case StudyNikola B. Serbedzija, Louis Botha, A. Abbott, J. Bishop. 188-197 [doi]
- Tolerant(Parallel) Programming F-Nets and Software CablingDavid C. DiNucci. 198-209 [doi]
- A Graphical Programming Environment for Message Passing ProgramsPéter Kacsuk, Gábor Dózsa, Tibor Fadgyas. 210-221 [doi]
- Hierarchical Optimization of Parallel ApplicationsAndreas Mitschele-Thiel. 222-233 [doi]
- Scheduling of parallel processing systems based on algorithmic skeletonsBodo Kalthoff. 234-242 [doi]
- A Hierarchic Architecture Model for Dynamic ReconfigurationMichel Wermelinger. 243-255 [doi]
- Reusing Software Architectures: A Formal BasisPaolo Ciancarini, Paolo Ciaccia, Wilma Penzo. 256-262 [doi]
- Non-Stop Monitoring and Debugging on Shared-Memory MultiprocessorsDarlene A. Stewart, W. Morven Gentleman. 263-269 [doi]
- A Performance Prototyping Approach to Designing Concurrent Software ArchitecturesLei Hu, Ian Gorton. 270-276 [doi]
- Scenario-Based Hypersequential Programming: Concept and ExampleNaoshi Uchihira, Hideji Kawata. 277-283 [doi]
- Seuss: What the Doctor OrderedLorenzo Alvisi, Rajeev Joshi, Calvin Lin, Jayadev Misra. 284-290 [doi]
- Concurrency in Object Oriented Language ActelZair Abdelouahab, Slimane Hammoudi. 291-296 [doi]
- OPENPRESS - Open Distributed Assessment Platform for Still Image Compression SchemesPascal Pagny, Marc Hohenadel. 297-303 [doi]
- Design and Implementation of a content-based Image Retrieval ToolGiancarlo Iannizzotto, Antonio Puliafito, Lorenzo Vita. 304-310 [doi]