default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPDSE 1998: Kyoto, Japan
- International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1998, Kyoto, Japan, April 20-21, 1998. IEEE Computer Society 1998, ISBN 0-8186-8467-4
Invited Talks
- Mark Astley, Gul Agha:
Modular Construction and Composition of Distributed Software Architectures. 2-12 - Ian Gorton:
Distributed Information Systems - Issues and Challenges for the Software Engineering Research Community. 13-17 - Satoshi Matsuoka:
Towards a Parallel Programming Language based on Commodity Object-Oriented Technologies. 18-
Formal Specification and Modeling
- J. Condom, K. Ouriachi:
Contribution to the Specification in Z of Concurrency under a Non-Interleaving Semantics. 20-27 - Ichiro Satoh:
An Algebraic Framework for Optimizing Parallel Programs. 28-38 - Holger Giese, Jörg Graf, Guido Wirtz:
Modeling Distributed Software Systems with Object Coordination Nets. 39-
Testing and Verification
- Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec:
Validation and Test Generation for Object-Oriented Distributed Software. 51-60 - D. Hung, P. Thai:
On Checking Parallel Real-Time Systems for Linear Duration Invariants. 61-71 - Jelena V. Misic, Samuel T. Chanson, Shing-Chi Cheung:
Towards a Framework for Testing Distributed Multimedia Software Systems. 72-
Software Architecture
- Grzegorz Czajkowski, Chi-Chao Chang, Thorsten von Eicken:
Building Parallel Runtime Systems with Active Messages. 83-93 - Reino Kurki-Suonio, Tommi Mikkonen:
Abstractions of Distributed Cooperation, their Refinement and Implementation. 94-102 - Jacky Estublier, N. Barghouti:
Interoperability and Distribution of Process-Sensitive Systems. 103-114 - Woei-Jiunn Tsaur, Shi-Jinn Horng, R. Tsai:
A Scheme for Auditing Causal Relationships in Group Oriented Distributed Systems. 115-
Performance Evaluation
- Hesham El-Sayed, Donald Cameron, C. Murray Woodside:
Automated Performance Modeling from Scenarios and SDL Designs of Distributed Systems. 127-135 - Michael Goedicke, Torsten Meyer:
Formal Design and Performance Evaluation of Parallel and Distributed Software Systems. 136-
Programming Environment
- Anna Liu, Ian Gorton:
PARSE-DAT: An Integrated Environment for the Design and Analysis of Dynamic Software Architectures. 146- - Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch:
Tool Supported Specification and Simulation of Distributed Systems. 155-
Software Engineering for Multimedia Programs
- Shing-Chi Cheung, Kam-Keung Wong:
Construction of Distributed Multimedia Applications using Multiple Views. 166-175 - Nikolay N. Mirenkov, Alexander Vazhenin:
Filmification of Methods: Computation on Matrices. 176-
Case Study
- Peter Luksch, Ursula Maier, Sabine Rathmayer, Matthias Weidmann, Friedemann Unger, Peter Bastian, Volker Reichenberger, Andreas Haas:
Software Engineering in Parallel and Distributed Scientific Computing: A Case Study from Industrial Practice. 187-197 - Glenn Bruns, Mark G. Staskauskas:
Applying Formal Methods to a Protocol Standard and its Implementations. 198-
Work in Progress
- Marco A. Torres, Susumu Kuroyanagi, Akira Iwata:
A Fast Parallel Search Method for Large Dictionaries. 207-214 - Claudio Demartini, Riccardo Sisto:
Static Analysis of Java Multithreaded and Distributed Applications. 215-222 - Nam Hee Lee, Jang-Eui Hong
, Sung Deok Cha, Doo-Hwan Bae:
Towards Reusable Colored Petri Nets. 223-229 - Ralf Henke, Andreas Mitschele-Thiel, Hartmut König:
Conjunct Application of Model-based and Code-based Optimization to Derive Efficient Parallel Implementations from SDL. 230-237 - Katsuhiro Yamazaki, Shoichi Ando:
A Case-Based Parallel Programming System. 238-245 - Maximilian Frey, Michael Oberhuber, Markus Podolsky:
Framework for Testing based Development of Parallel and Distributed Programs. 246-253 - Veronika Thurner:
A Formally Founded Description Technique for Business Processes. 254-262
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 2025-01-23 20:37 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:
