عنوان

Quantitative assessments of distributed systems :

شابک

1119131138

شابک

1119131146

شابک

1119131154

شابک

9781119131137

شابک

9781119131144

شابک

9781119131151

شابک اشتباه

1118595211

شابک اشتباه

9781118595213

شماره

dltt

عنوان اصلي

Quantitative assessments of distributed systems :

نام عام مواد

[Book]

ساير اطلاعات عنواني

methodologies and techniques /

نام نخستين پديدآور

edited by Dario Bruneo and Salvatore Distefano

نام خاص و کميت اثر

1 online resource

عنوان فروست

Performability engineering series

متن يادداشت

Includes bibliographical references and index

متن يادداشت

Verification -- Modeling and Verification of Distributed Systems Using Markov Decision Processes -- Introduction -- Markov Decision Processes -- Markov Decision Well-Formed Net formalism -- Case study: Peer-to-Peer Botnets -- Conclusion -- Appendices: Well-formed Net Formalism -- Syntax of Basic Predicates -- Markings and Enabling -- References -- Quantitative Analysis of Distributed Systems in Stoklaim: A Tutorial -- Introduction -- STOKLAIM: Stochastic KLAIM -- KLAIM in a Nutshell -- Syntactic Categories -- STOKLAIM Syntax -- STOKLAIM at Work -- STOKLAIM Operational Semantics -- Rate Transition Systems -- STOKLAIM: RTS-based Semantics -- MoSL: Mobile Stochastic Logic -- JSAM: Java Stochastic Model-Checker -- Leader Election in StoKlaim -- As far as it can -- Asynchronous Leader Election -- Concluding Remarks -- References -- Stochastic Path Properties of Distributed Systems: the CSL^TA Approach -- Introduction -- The Reference Formalisms for System Definition -- The Formalism for Path Property Definition; CSL^TA -- CSL^TA at work: a Fault-Tolerant Node -- Literature Comparison -- Summary and Final Remarks -- References -- Evaluation -- Failure Propagation in Load-Sharing Complex Systems -- Introduction -- Building Blocks -- Coarse-grained Modeling -- Abstract Mechanisms Impacting the Failure Occurrence -- Parametric Distributions Revisited -- Exponential Distribution -- Weibull Distribution -- Lognormal Distribution -- Other Distributions -- Sand Box for Distributed Failures -- Failure Modes -- LOS and Stress Rupture -- Summary -- References -- Approximating Distributions and Transient Probabilities by Matrix Exponential Distributions and Functions -- Introduction -- Phase Type and Matrix Exponential Distributions -- Bernstein Polynomials and Expolynomials -- Application of BEs to Distribution Fitting -- Application of BEs to Transient Probabilities -- Conclusions -- References -- Worst-Case Analysis of Tandem Queueing Systems Using Network Calculus -- Introduction -- Basic Network Calculus Modeling: Per-flow Scheduling -- Service Curve -- Arrival Curve -- Delay and Backlog Bounds -- Numerical Examples -- Advanced Network Calculus Modeling: Aggregate Multiplexing -- Aggregate-multiplexing Schemes -- Tandem Systems Traversed by Several Flows -- Model -- Loss of the Tightness -- Separated-flow Analysis -- Mathematical Programming Approach -- Blind Multiplexing -- FIFO Multiplexing -- Related Work -- Numerical Results -- Conclusions -- References -- Cloud Evaluation: Benchmarking and Monitoring -- Introduction -- Benchmarking -- Benchamrking State of Art -- Benchmarking Big Data Services -- Benchmarking with mOSAIC -- Monitoring -- Monitoring Problem Scenarios -- Monitoring Problem Analysis -- Monitoring State of the Art -- Cloud Monitoring in mOSAIC's Cloud Agency -- Conclusions -- References -- Multiformalism and Multisolution Strategies for Systems Performance -- Introduction -- Multiformalism and Multisolution -- Choosing the Right Strategy -- Learning by the Experience -- Distributed Transaction Processing -- Service Oriented Architectures -- Supervision of Distributed Information Systems -- Big Data Architectures -- Degradation for Software Aging -- Product Forms Exploitation -- Conclusions and Perspectives -- References -- Optimization and Sustainability -- Quantitative Assessment of Distributed Networks Through Hybrid Stochastic Modeling -- Introduction -- Modeling of Complex Systems -- Classical Non State-space Models -- State-space Models -- High Level Formalisms -- Stochastic Activity Networks -- Adaptive Transition Systems -- Analytical Solution vs Simulation -- Performance Evaluation of KNXnet/IP Networks Flow Control Mechanism -- Overview of KNX and KNXnet/IP -- The KNXnet/IP Flow Control Mechanism -- Modeling Hypotheses and Motivation for Using the SAN Formalism -- KNX TP1 Communication Device Model -- KNXnet/IP Router Model -- Results -- Model Settings -- Analysis of Information Flow from Subnet₁ to Subnet_b -- LCII: On-line Risk Estimation of A Power-Telco Network -- Power Network -- Stochastic model of the PN -- Simulation of the Power Network -- TELCO sites and backup batteries -- Stochastic model of the batteries -- The online Risk Estimator -- Conclusion -- References -- Design of IT Infrastructures of Data Centers: An Approach Based on Business and Technical Metrics -- Introduction -- Fundamental Concepts -- Dependability -- Reliability Importance -- Factorial Experimental Design -- Hierarchical Clustering -- Business-Oriented Models -- Infrastructure Cost -- Infrastructure Revenue -- Penalty -- Profit -- Additional Profit per Monetary Unit -- Data Center Infrastructure Models -- Modeling Strategy -- Dependability Models -- Methodology -- Phase I: Problem Analysis -- Phase II: System Modeling -- Phase III: Design Selection -- Case Study - Data Center Design -- Base Architectures -- Modeling and Evaluation -- Conclusion -- References -- Software Rejuvenation and its Application in Distributed Systems -- Introduction -- Software rejuvenation scheduling classification -- Software rejuvenation granularity classification -- Physical node granularity rejuvenation -- Operating system granularity rejuvenation -- Virtual machine monitor/hypervisor rejuvenation granularity -- Virtual machine rejuvenation granularity -- Application rejuvenation granularity -- Application component rejuvenation granularity -- Methods, policies and metrics of software rejuvenation -- Software rejuvenation in distributed systems -- Summary -- References -- Machine Learning Based Dynamic Reconfiguration of Distributed Data Management Systems -- Introduction -- Methodologies -- ML Approaches -- Brief overview of Neural Networks -- System Architecture and Performance Prediction Scheme -- Model of the Data Grid Platform -- Objective Functions -- Platform Reconfiguration -- Experimentation -- Infinispan Overview -- Experimental Settings -- Results -- Conclusions -- References -- Going Green with the Networked Cloud: Methodologies and Assessment -- Introduction -- Modeling of Data Centre Power Consumption -- CPU Power Dissipation -- Server Power Consumption -- Power Consumption in a Networked Environment -- Energy Efficiency in the Cloud -- Energy conservation techniques for servers -- Power conservation techniques for networks -- Performance Analysis Methodologies and Tools -- Evaluation Metrics -- Performance Analysis Tools and Settings -- Case Study: Performance Evaluation of Energy Aware Resource Allocation in the Cloud -- Experimentation Setup -- Numerical Results -- Summary -- References

بدون عنوان

0

متن يادداشت

"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."--

عنوان

Quantitative assessments of distributed systems.

شماره استاندارد بين المللي کتاب و موسيقي

9781118595213

موضوع مستند نشده

Computer systems-- Evaluation-- Mathematics

موضوع مستند نشده

Electronic data processing-- Distributed processing-- Mathematical models.

موضوع مستند نشده

Quantitative research.

موضوع مستند نشده

System analysis-- Mathematics.

موضوع مستند نشده

COM-- 013000

موضوع مستند نشده

COM-- 014000

موضوع مستند نشده

COM-- 018000

موضوع مستند نشده

COM-- 032000

موضوع مستند نشده

COM-- 037000

موضوع مستند نشده

COM-- 052000

موضوع مستند نشده

COM-- 067000

شماره

ويراست

شماره رده

مستند نام اشخاص تاييد نشده

Bruneo, Dario.

مستند نام اشخاص تاييد نشده

Distefano, Salvatore,1962-

مستند نام تنالگان تاييد نشده

Ohio Library and Information Network.

تاريخ عمليات

20160603081856.2

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y