عنوان

Quantitative Methods in Parallel Systems

(Number (ISBN

3642799175

(Number (ISBN

3642799191

(Number (ISBN

9783642799174

(Number (ISBN

9783642799198

Number

b551750

Title Proper

Quantitative Methods in Parallel Systems

General Material Designation

[Book]

First Statement of Responsibility

edited by François Baccelli, Alain Jean-Marie, Isi Mitrani.

Place of Publication, Distribution, etc.

Berlin, Heidelberg

Name of Publisher, Distributor, etc.

Springer Berlin Heidelberg

Date of Publication, Distribution, etc.

1995

Series Title

ESPRIT basic research series.

Text of Note

I Formalisms --;Stochastic Process Algebras --;Stochastic Process Algebra for Discrete Event Simulation --;GSPN and SPA Compared in Practice --;Functional and Performance Analysis of Cooperating Sequential Processes --;II Techniques --;Analysis of Parallel Processing Systems via the (max, +) Algebra --;TIPP and the Spectral Expansion Method --;G-Networks: A Survey of Results, a Solver and an Application --;Polling Models with Threshold Switching --;Two-Dimensional Nearest-Neighbour Queueing Models --;M/G/1 Queues with FCFS Negative Arrivals --;Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds --;Approximate Throughput Computation of Stochastic Marked Graphs --;III Applications --;Allocation of Customer Types to Servers: Clustering is Optimal --;Majorization and Stochastic Comparison Techniques for Scheduling of Parallel Systems --;Dependability of Distributed Programs: Algorithms and Performance --;A Fixed-Point Model of a Distributed Memory Consistency Protocol --;Routing Among Different Nodes Where Servers Break Down Without Losing Jobs --;Modeling Symmetric Computer Architectures by SWNs --;Arrival Theorems for Product-Form Stochastic Petri Nets.

Text of Note

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.

Computer science.

Electronic data processing.

Class number

Book number

edited by François Baccelli, Alain Jean-Marie, Isi Mitrani.

Alain Jean-Marie

François Baccelli

Isi Mitrani

Electronic name

[Book]

Y