Decentralized and Distributed Systems 1993: Palma de Mallorca, Spain

Michel Cosnard, Ramón Puigjaner (Eds.): Decentralized and Distributed Systems, Proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems, Palma de Mallorca, Spain, 13-17 September 1993. IFIP Transactions A-39 North-Holland 1993, ISBN 0-444-81791-3 BibTeX

@proceedings{DBLP:conf/ifip10-3/1993dds,
  editor    = {Michel Cosnard and
               Ram{\'o}n Puigjaner},
  title     = {Decentralized and Distributed Systems, Proceedings of the IFIP
               WG10.3 International Conference on Decentralized and Distributed
               Systems, Palma de Mallorca, Spain, 13-17 September 1993},
  booktitle = {Decentralized and Distributed Systems},
  publisher = {North-Holland},
  series    = {IFIP Transactions},
  volume    = {A-39},
  year      = {1993},
  isbn      = {0-444-81791-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Bernd Heinrichs, Thomas Meuser, Otto Spaniol: High Speed Interconnection of Workstations: Concepts, Problems and Experiences. 3-22 BibTeX
Denis A. Nicole: High Performance Architecture Issues. 23-30 BibTeX
Sacha Krakowiak: Issues in Object-Oriented Distributed Systems. 31-45 BibTeX

Distributed Algorithms

Y. C. Tay: What is a Deadlock? 49-60 BibTeX
Joaquin Ezpeleta, Serge Haddad: A Distributed Algorithm for Resource Management. 61-72 BibTeX
Patrick Bergougnoux, François Barrère, Philippe Vidal: Getting Cooperative Environment by Coordinating Services through a Network. 73-83 BibTeX
Francisco Guerra Santana, Sergio Arévalo, Angel Alvarez, Francisco Javier Miranda González: A Distributed Consensus Protocol with a Coordinator. 85-96 BibTeX
J. Vila Carbó: Using Global State Properties to Attain Mutual Exclusion in Distributed Systems. 97-108 BibTeX
Frédéric Boniol, Martin Adelantado: Programming Communicating Distributed Reactive Automata: the Weak Synchronous Paradigm. 109-120 BibTeX
Gerard L. Reijns, Ruurd M. Wiegers, Gert-Jan Boesschen Hospers: Parallel Implementations of Two Algorithms for Solving Linear Programming Problems. 121-134 BibTeX

Performance Evaluation

Marco Conti: Analysis of the Quality of Service in a MAN Environment. 137-148 BibTeX
Yutaka Matsumoto: An Approximate Analysis of DQDB Networks with the Bandwidth Balancing Mechanism. 149-160 BibTeX
José Miró-Julià: LAN Distributed Fault-Tolerance. 161-174 BibTeX
Rosemary Candlin, Joseph Phillips: A Statistical Study of the Factors that Affect the Performance of a Class of Parallel Programs on a MIMD Computer. 175-186 BibTeX
Jesús Carretero, Felix Pérez, Pedro de Miguel, Francisco García, L. Alonso: A Multiprocessor Parallel Disk System Evaluation. 187-198 BibTeX
Bruno Baynat, Yves Dallery: A Decomposition Approximation Method for Closed Queueing Networks with Fork/Join Subnetworks. 199-210 BibTeX

Petri Nets

Enrique Teruel, José Manuel Colom, Manuel Silva: Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. 213-224 BibTeX
Belhassen Zouari, Serge Haddad, Mohamed Taghelit: A Protocol Specification Language with a High-Level Petri Net Semantics. 225-241 BibTeX

Interconnect

Markus Ettl, Ulrich Klehmet: A Performance Comparison between the Fieldbus Protocol Standards PROFIBUS and FIP. 245-258 BibTeX
Prasad Raja, Guevara Noubir, Luis Ruiz, Jose Hernandez-Gil, Marc Riese, Jean-Dominique Decotignie: Analysis of a Class of Polling Protocols for Fieldbus Networks. 259-275 BibTeX
José Duato: A Theory to Increase the Effective Redundancy in Wormhole Networks. 277-288 BibTeX

Distributed Operating Systems

C. Jacqmot, E. Milgrom: A Systematic Approach to Load Distribution Strategies for Distributed Systems. 291-303 BibTeX
Hervé Guyennet, François Spies: A Cooperative Algorithm for Load Balancing in Interconnected Transputer Network. 305-315 BibTeX
Nayeem Islam, Roy H. Campbell: Uniform Co-Scheduling Using Object-Oriented Design Techniques. 317-328 BibTeX
Swee Boon Lim, Lun Xiao, Roy H. Campbell: Distributed Access to Persistent Objects. 329-340 BibTeX

Parallel Simulation

Boris Dado, Peter Menhart, Jiri Safarik: Distributed Simulation: a Simulation System for Discrete Event Systems. 343-353 BibTeX
J. Miguel, Manuel Graña: Towards the Distributed Implementation of Discrete Event Simulation Languages. 355-366 BibTeX

Design Methods

Michael von der Beeck: Enhancing Structured Analysis by Timed Statecharts for Real-Time and Concurrency Specification. 369-381 BibTeX
Richard Martin, Antoine Proietto, Bruno Scardia, Jacek Szymanski: Heuristics Driven Real Time Software Desgin. Faking Ideal Design Process with TOCCATA Method. 383-400 BibTeX
Omar Hjiej, Abdelmalek Benzekri, Alberto Valderruten: From Annotated LOTOS Specifications to Queueing Networks: Automating Performance Models Derivation. 401-412 BibTeX