Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPDSE 1997: Boston, MA, USA
- International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1997, Boston, MA, USA, May 17-18, 1997. IEEE Computer Society 1997, ISBN 0-8186-8043-1
Session 1: Verification
- Ravi K. Gedela, Sol M. Shatz:
Modeling of Advanced Tasking in Ada-95: A Petri Net Perspective. 4-14 - Bernd Grahlmann, Hans Fleischhack:
A Petri Net Semantics for B(PN)2 with Procedures. 15-27 - Khalid Lateef, Hany H. Ammar, Vinay Mogulothu, Tooraj Nikzadeh:
A methodology for verification and analysis of parallel and distributed systems requirements specifications. 28-38 - Kunihiko Hiraishi:
An Efficient Algorithm for Finding All Maximal Conflict Sets in Concurrent Programs. 39-49
Session 2: Testing
- Kuo-Chung Tai:
Reachability Testing of Asynchronous Message-Passing Programs. 50-61 - Maximilian Frey:
Testing Parallel and Distributed Programs with Temporal Logic Specifications. 62-73
Session 3: Distributed Software Development - 1
- George R. Ribeiro-Justo, P. Vekariya, Thierry Delaitre, Jamal Zemerly
, Stephen C. Winter:
Prototype-Oriented Development of High-performance Systems. 74-83 - Michael James Katchabaw, Stephen L. Howard, Hanan Lutfi Lutfiyya, Andrew D. Marshall, Michael A. Bauer:
Making Distributed Applications Manageable Through Instrumentation. 84-94 - Manuel Díaz, Bartolomé Rubio, José M. Troya:
The Tuple Channel Coordination Model. 95-107
Session 4: Parallel Software Development
- Christoph Wedler, Christian Lengauer:
Parallel Implementations of Combinations of Broadcast, Reduction and Scan. 108-119 - Beniamino Di Martino, Giulio Iannello, Hans P. Zima:
An Automated Algorithmic Recgnition Ttechnique to Support Parallel Software Development. 120-129 - Thomas Lippert, Paolo Palazzari, Klaus Schilling:
Automatic Template Generation for Solving n2-Problems on Parallel Systems with Arbitrary Topology. 130-139
Session 5: Specification and Design
- Jin Song Dong, Lin Zucconi, Roger Duke:
Specifying Parallel and Distributed Systems in Object-Z. 140-149 - Mark Polman, Maarten van Steen, Arie de Bruin:
Formalizing a Design Technique for Distributed Programs. 150-161
Session 6: Reuse
- Thomas Rauber, Gudula Rünger:
Integrating library modules into special purpose parallel algorithms. 162-173 - José Miguel Mantas Ruiz, A. Palma:
Designing Reusable Software Components Following the CSP Distributed Programming Model. 174-187
Session 7: Distributed Applications Development - 2
- Nikola B. Serbedzija, Louis Botha, Antony Abbott, Judith Bishop:
Web Computing Skeleton: A Case Study. 188-197 - David C. DiNucci:
Tolerant(Parallel) Programming F-Nets and Software Cabling. 198-209 - Péter Kacsuk, Gábor Dózsa, Tibor Fadgyas:
A Graphical Programming Environment for Message Passing Programs. 210-221
Session 8: Task Allocation and Scheduling
- Andreas Mitschele-Thiel:
Hierarchical Optimization of Parallel Applications. 222-233 - Bodo Kalthoff:
Scheduling of parallel processing systems based on algorithmic skeletons. 234-242 - Michel Wermelinger:
A Hierarchic Architecture Model for Dynamic Reconfiguration. 243-255
Part Two: Project Reports and Applications
- Paolo Ciancarini, Paolo Ciaccia, Wilma Penzo:
Reusing Software Architectures: A Formal Basis. 256-262 - Darlene A. Stewart, W. Morven Gentleman:
Non-Stop Monitoring and Debugging on Shared-Memory Multiprocessors. 263-269 - Lei Hu, Ian Gorton:
A Performance Prototyping Approach to Designing Concurrent Software Architectures. 270-276 - Naoshi Uchihira, Hideji Kawata:
Scenario-Based Hypersequential Programming: Concept and Example. 277-283 - Lorenzo Alvisi, Rajeev Joshi, Calvin Lin, Jayadev Misra:
Seuss: What the Doctor Ordered. 284-290 - Zair Abdelouahab, Slimane Hammoudi:
Concurrency in Object Oriented Language Actel. 291-296 - Pascal Pagny, Marc Hohenadel:
OPENPRESS - Open Distributed Assessment Platform for Still Image Compression Schemes. 297-303 - Giancarlo Iannizzotto, Antonio Puliafito, Lorenzo Vita:
Design and Implementation of a content-based Image Retrieval Tool. 304-310
a service of 
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-04-19 19:19 CEST 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:
