國立虎尾科技大學 |

Language: English

Back

Quantitative assessments of distribu...

Bruneo, Dario.

Quantitative assessments of distributed systems : = methodologies and techniques /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Quantitative assessments of distributed systems :/ edited by Dario Bruneo and Salvatore Distefano.
Reminder of title:	methodologies and techniques /
other author:	Bruneo, Dario.
Published:	Hoboken :John Wiley and Sons, Inc., : c2015.,
Description:	xvi, 377 p. :ill. ; : 25 cm.;
Subject:	Computer systems - Evaluation -
Online resource:	http://catalogimages.wiley.com/images/db/jimages/9781118595213.jpg
ISBN:	9781118595213 :

Quantitative assessments of distributed systems : = methodologies and techniques /
Quantitative assessments of distributed systems :methodologies and techniques /edited by Dario Bruneo and Salvatore Distefano. - Hoboken :John Wiley and Sons, Inc.,c2015. - xvi, 377 p. :ill. ;25 cm. - Performability engineering series.

Includes bibliographical references and index.

"Distributed systems employed in critical infrastructures must fulfill dependability, timeliness, and performance specifications. Since these systems most often operate in an unpredictable environment, their design and maintenance require quantitative evaluation of deterministic and probabilistic timed models. This need gave birth to an abundant literature devoted to formal modeling languages combined with analytical and simulative solution techniques The aim of the book is to provide an overview of techniques and methodologies dealing with such specific issues in the context of distributed systems and covering aspects such as performance evaluation, reliability/availability, energy efficiency, scalability, and sustainability. Specifically, techniques for checking and verifying if and how a distributed system satisfies the requirements, as well as how to properly evaluate non-functional aspects, or how to optimize the overall behavior of the system, are all discussed in the book. The scope has been selected to provide a thorough coverage on issues, models. and techniques relating to validation, evaluation and optimization of distributed systems. The key objective of this book is to help to bridge the gaps between modeling theory and the practice in distributed systems through specific examples. "--

ISBN: 9781118595213 :NT6367

LCCN: 2015010455Subjects--Topical Terms:

1051934
Computer systems
--Evaluation

LC Class. No.: QA76.9.E94 / Q358 2015

Dewey Class. No.: 004.029

Quantitative assessments of distributed systems : = methodologies and techniques /
LDR:02149cam a2200229 a 4500 001 826225
005 20151202130157.0
008 151211s2015 njua b 001 0 eng
010 $a 2015010455
020 $a 9781118595213 : $c NT6367
035 $a 00042121
040 $a DLC $b eng $c DLC $e rda $d NFU
041 0 $a eng
042 $a pcc
050 0 0 $a QA76.9.E94 $b Q358 2015
082 0 0 $a 004.029 $2 23
245 0 0 $a Quantitative assessments of distributed systems : $b methodologies and techniques / $c edited by Dario Bruneo and Salvatore Distefano.
260 $a Hoboken : $b John Wiley and Sons, Inc., $c c2015.
300 $a xvi, 377 p. : $b ill. ; $c 25 cm.
490 0 $a Performability engineering series
504 $a Includes bibliographical references and index.
520 $a "Distributed systems employed in critical infrastructures must fulfill dependability, timeliness, and performance specifications. Since these systems most often operate in an unpredictable environment, their design and maintenance require quantitative evaluation of deterministic and probabilistic timed models. This need gave birth to an abundant literature devoted to formal modeling languages combined with analytical and simulative solution techniques The aim of the book is to provide an overview of techniques and methodologies dealing with such specific issues in the context of distributed systems and covering aspects such as performance evaluation, reliability/availability, energy efficiency, scalability, and sustainability. Specifically, techniques for checking and verifying if and how a distributed system satisfies the requirements, as well as how to properly evaluate non-functional aspects, or how to optimize the overall behavior of the system, are all discussed in the book. The scope has been selected to provide a thorough coverage on issues, models. and techniques relating to validation, evaluation and optimization of distributed systems. The key objective of this book is to help to bridge the gaps between modeling theory and the practice in distributed systems through specific examples. "-- $c Provided by publisher.
650 0 $a Computer systems $x Evaluation $x Mathematics. $3 1051934
650 0 $a System analysis $x Mathematics. $3 997150
650 0 $a Electronic data processing $x Distributed processing $x Mathematical models. $3 884086
650 0 $a Quantitative research. $3 635913
700 1 $a Bruneo, Dario. $3 1051932
700 1 $a Distefano, Salvatore. $3 1051933
856 4 2 $3 Cover image $u http://catalogimages.wiley.com/images/db/jimages/9781118595213.jpg