Skip to main content
SpringerLink
Log in
Book cover

Quantitative Methods in Parallel Systems

  • Book
  • © 1995

Overview

Editors:
  1. François Baccelli

    1. INRIA Institut National de Recherche en Informatique et en Automatique 2004, Valbonne Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alain Jean-Marie

    1. INRIA Institut National de Recherche en Informatique et en Automatique 2004, Valbonne Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Isi Mitrani

    1. Department of Computing Science, University of Newcastle, Newcastle upon Tyne, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: ESPRIT Basic Research Series (ESPRIT BASIC)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 chapters)

  1. Front Matter

    Pages I-XX
    Download chapter PDF

  2. Formalisms

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Stochastic Process Algebras

      • N. Götz, H. Hermanns, U. Herzog, V. Mertsiotakis, M. Rettelbach
      Pages 3-17

    3. Stochastic Process Algebra for Discrete Event Simulation

      • P. G. Harrison, B. Strulo
      Pages 18-37

    4. GSPN and SPA Compared in Practice

      • S. Donatelli, H. Hermanns, J. Hillston, M. Ribaudo
      Pages 38-51

    5. Functional and Performance Analysis of Cooperating Sequential Processes

      • E. Teruel, M. Silva, J. M. Colom, J. Campos
      Pages 52-65

  3. Techniques

    1. Front Matter

      Pages 67-67
      Download chapter PDF

    2. Analysis of Parallel Processing Systems via the (max,+) Algebra

      • F. Baccelli, B. Gaujal, A. Jean-Marie, J. Mairesse
      Pages 69-98

    3. Tipp and the Spectral Expansion Method

      • I. Mitrani, A. Ost, M. Rettelbach
      Pages 99-113

    4. G-Networks: A Survey of Results, a Solver and an Application

      • S. Chabridon, E. Gelenbe, M. Hernández, A. Labed
      Pages 114-128

    5. Polling Models with Threshold Switching

      • O. J. Boxma, G. M. Koole, I. Mitrani
      Pages 129-140

    6. Two-Dimensional Nearest-Neighbour Queueing Models, a Review and an Example

      • J. W. Cohen
      Pages 141-152

    7. M/G/1 Queues with FCFS Negative Arrivals

      • P. G. Harrison, E. Pitel
      Pages 153-160

    8. Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds

      • G. Chiola, C. Anglano, J. Campos, J. M. Colom, M. Silva
      Pages 161-174

    9. Approximate Throughput Computation of Stochastic Marked Graphs

      • J. Campos, J. M. Colom, H. Jungnitz, M. Silva
      Pages 175-188
Back to top

Keywords

About this book

It is widely recognized that the complexity of parallel and distributed systems is such that proper tools must be employed during their design stage in order to achieve the quantitative goals for which they are intended. This volume collects recent research results obtained within the Basic Research Action Qmips, which bears on the quantitative analysis of parallel and distributed architectures. Part 1 is devoted to research on the usage of general formalisms stemming from theoretical computer science in quantitative performance modeling of parallel systems. It contains research papers on process algebras, on Petri nets, and on queueing networks. The contributions in Part 2 are concerned with solution techniques. This part is expected to allow the reader to identify among the general formalisms of Part I, those that are amenable to an efficient mathematical treatment in the perspective of quantitative information. The common theme of Part 3 is the application of the analytical results of Part 2 to the performance evaluation and optimization of parallel and distributed systems. Part 1. Stochastic Process Algebras are used by N. Gotz, H. Hermanns, U. Herzog, V. Mertsiotakis and M. Rettelbach as a novel approach for the struc­ tured design and analysis of both the functional behaviour and performability (i.e performance and dependability) characteristics of parallel and distributed systems. This is achieved by integrating stochastic modeling and analysis into the powerful and well investigated formal description techniques of process algebras.

Editors and Affiliations

  • INRIA Institut National de Recherche en Informatique et en Automatique 2004, Valbonne Cedex, France

    François Baccelli, Alain Jean-Marie

  • Department of Computing Science, University of Newcastle, Newcastle upon Tyne, UK

    Isi Mitrani

Bibliographic Information

  • Book Title: Quantitative Methods in Parallel Systems

  • Editors: François Baccelli, Alain Jean-Marie, Isi Mitrani

  • Series Title: ESPRIT Basic Research Series

  • DOI: https://doi.org/10.1007/978-3-642-79917-4

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: ECSC-EC-EAEC, Brussels-Luxembourg 1995

  • Hardcover ISBN: 978-3-540-60125-8Due: 09 October 1995

  • Softcover ISBN: 978-3-642-79919-8Published: 08 December 2011

  • eBook ISBN: 978-3-642-79917-4Published: 11 November 2013

  • Edition Number: 1

  • Number of Pages: XX, 298

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation