Synopsis
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.
"synopsis" may belong to another edition of this title.
Synopsis
The Basic Research project QMIPS (Quantitative Methods In Parallel Systems) involves eight leading research groups from France, Italy, Germany, the Netherlands, Spain and the UK. This text contains a selection of papers produced by the project since 1992, on a variety of topics concerned with the specification, modelling, evaluation and optimization of parallel and distributed computer systems. The contributions are divided into three categories: formalisms, solution methods and applications. The spectrum of methodologies that are covered includes process algebras, Petri nets, multidimensional Markov processes and G-nets.
"About this title" may belong to another edition of this title.
