default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPDSE 1999: Los Angeles, California, USA
- International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999, Los Angeles, California, USA, May 17-18, 1999. IEEE Computer Society 1999, ISBN 0-7695-0191-5
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
