PDSE 1999: Los Angeles, California, USA

Session I: Distributed Object Systems

• Ashish Shah, Dennis G. Kafura:
  Symphony: A Java-Based Composition and Manipulation Framework for Distributed Legacy Resources. 2-12
  
• Jianjun Zhao:
  Multithreaded Dependence Graphs for Concurrent Java Programs. 13-23
  
• Hwan Wook Sohn, David Chenho Kung, Pei Hsia:
  State-Based Reproducible Testing for CORBA Applications. 24-
  

Session II: Analysis

• Maximilian Frey, Markus Podolsky:
  Specifying and Analyzing Distributed Object-Oriented Systems. 38-51
  
• Lynette I. Millett, Tim Teitelbaum:
  Channel Dependence Analysis for Slicing Promela. 52-61
  
• Jun Zhou, Kuo-Chung Tai:
  Deadlock Analysis of Synchronous Message-Passing Programs. 62-
  

Session III: Validation

• In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee:
  Testing of Concurrent Programs Based on Message Sequence Charts. 72-82
  
• Péter Kacsuk:
  Systematic Debugging of Parallel Programs Based on Collective Breakpoints. 83-96
  
• Bengi Karaçali, Kuo-Chung Tai:
  Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs. 97-
  

Session IV: Applications and Methods

• Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca:
  Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks. 110-123
  
• Per H. Andersen, Joseph Pizzi, Runlin Zhu, Youling Cao, Donald J. Bagert, John K. Antonio, Fred Lott, John C. Grieger:
  Evaluation of a Methodology for the Reverse Engineering and Parallelization of Sequential Code. 124-133
  
• Michael Gunzert, Andreas Nägele:
  Component-Based Development and Verification of Safety Critical Software for a Brake-by-Wire System with Synchronous Software Components. 134-
  

Session V: Tools

• Petr Kroha, Jörg Lindner:
  Parallel Object Server as a Data Repository for CASE Tools. 148-155
  
• Michael Goedicke, Torsten Meyer:
  Web-Based Tool Support for Dynamic Management of Distribution and Parallelism in Integrating Architecture Design and Performance Evaluation. 156-
  

Session VI: Applications

• Günther Rackl, Filippo de Stefani, Francois Héran, Antonello Pasquarelli, Thomas Ludwig:
  Distributed Airport Simulation Using CORBA and DIS. 166-173
  
• Marco Cremonini, Andrea Omicini, Franco Zambonelli:
  Building Mobile Agent Applications in HiMAT. 174-181
  
• Phong Tran:
  An Architecture for a Distributed System for Product Engineering Lifecycle Support. 182-
  

Session VII: Positional

• Reza Nekovei:
  Data Interoperability via Surrogate API Libraries. 190-196
  
• Xiaoshan Li:
  Specification and Simulation of a Concurrent Real-Time System. 197-204
  
• Chris Rudram, Peter R. Croll, Naoshi Uchihira:
  Building Test Cases for Use in Hypersequential Programming. 205-209
  
• Ian Gorton, Anna Liu:
  Evaluating Object Transactional Monitors with OrbixOTM. 210-216
  
• Angelo Morzenti, Matteo Pradella, Matteo Rossi, Stefano Russo, Antonio Sergio:
  A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications. 217-223
  

Last update Fri May 25 08:31:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page