Boudewijn R. Haverkort – författare
Visar alla böcker från författaren Boudewijn R. Haverkort. Handla med fri frakt och snabb leverans.
10 produkter
10 produkter
Inbunden, Engelska, 2001
1 706 kr
Skickas inom 5-8 vardagar
Performability modelling and evaluation brings together two disciplines that have long been treated separately in different communities: computer and communication system performance evaluation and system reliability and availability evaluation.* Provides a single-source reference covering of all aspects of performability evaluation.* Introduces a new approach to assessing the performance and dependability of systems thus revealing system characteristics that cannot be uncovered separately by performance or reliability evaluation.* Explains how systems can operate partially in the presence of failures by discussing:-Capacity of failure prone clusters of transaction processing systems.-Network throughput when network nodes and links fail.-Task completion times on degradable multiprocessor systems.-A variety of modelling and evaluation techniques.* Features software tool descriptions to support performability evaluations as well as an extensive bibliography.Computer scientists and engineers will find this excellent overview compulsive reading as will postgraduates and researchers in computer science and related fields.
Inbunden, Engelska, 1998
2 133 kr
Skickas inom 5-8 vardagar
Performance of Computer Communication Systems A Model-Based Approach Boudewijn R. Haverkort Rheinisch-Westfälische Technische Hochschule Aachen, Germany Computer communication systems and distributed systems are now able to provide an increasing range of services. As the timing requirements in the operation of these services are becoming crucial for the global community. performance assessment and selection of communication and distributed systems are, therefore, becoming more important. In this book, the author illustrates the techniques and methods used to evaluate the performance of computer communication systems, thereby covering all aspects of model-based performance evaluation. Unlike other books on this topic, there is no restriction to a particular performance evaluation technique. Notable features in this book include:* coverage of all major techniques of performance evaluation* non-mathematical problem solving approach, explaining and illustrating performance evaluation techniques* assessment techniques for stochastic processes, single server queues, networks of queues and stochastic Petri nets* numerous application studies, including token ring systems, client-server systems, and wide-area networks* substantial number of practical exercises and examples.For computer or electrical engineers who design and implement computer communication systems, this book provides an excellent overview of the methods and techniques used to construct and solve performance models. It is also a valuable source of information for postgraduate students in computer science and related subjects. Visit Our Web Page! http://www.wiley.com/
Del 9259 - Lecture Notes in Computer Science
Quantitative Evaluation of Systems
12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings
Häftad, Engelska, 2015
561 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. They are organized in topical sections named: modelling and applications; and queuing systems and hybrid systems.
E-bok
PDF, Engelska, 2015687 kr
Läs direkt efter köp
This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing systems and hybrid systems. The book also contains one full-paper invited talk.
Del 9629 - Lecture Notes in Computer Science
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings
Häftad, Engelska, 2016
561 kr
Skickas inom 10-15 vardagar
Thisbook constitutes the proceedings of the 18th International GI/ITG Conference onMeasurement, Modelling and Evaluation of Computing Systems and Dependabilityand Fault Tolerance, MMB & DFT 2016, held in Münster, Germany, in April2016.The 12 full papers and 3 short papers included in this volume werecarefully reviewed and selected from 23 submissions. The papers deal with thefields of performance evaluation, dependability, and fault-tolerance ofcomputer and communication systems. A relatively new topic of smart grids isalso covered.
E-bok
PDF, Engelska, 2016708 kr
Läs direkt efter köp
Thisbook constitutes the proceedings of the 18th International GI/ITG Conference onMeasurement, Modelling and Evaluation of Computing Systems and Dependabilityand Fault Tolerance, MMB & DFT 2016, held in Münster, Germany, in April2016.
The 12 full papers and 3 short papers included in this volume werecarefully reviewed and selected from 23 submissions. The papers deal with thefields of performance evaluation, dependability, and fault-tolerance ofcomputer and communication systems. A relatively new topic of smart grids isalso covered.
Häftad, Engelska, 2004
544 kr
Skickas inom 10-15 vardagar
It is with great pleasure that we present to you this tutorial volume entitled Validation of Stochastic Systems.ItisoneoftheresultsoftheDutch-German- lateral cooperation project "Validation of Stochastic Systems" (VOSS), ?nanced by NWO and DFG (the Dutch and German science foundations, respectively). In the early days of 2002, the idea emerged to organize a seminar at Schloss Dagstuhl, not the usual Dagstuhl seminar with primarily invited participants, but a seminar aimed at young(er) people, and for which the organizers assign themes to be worked upon and presented on. Following an open call announced via the Internet in the spring of 2002, we received many applications for part- ipation. After a selection procedure, we decided to assign (mostly) teams of two researchers to work on speci?c topics, roughly divided into the following four theme areas: "Modelling of Stochastic Systems," "Model Checking of Stochastic Systems," "Representing Large State Spaces," and "Deductive Veri?cation of Stochastic Systems." These are the titles of the four parts of this volume. TheseminarwasheldinSchlossDagstuhlduringDecember8-11,2002aspart of the so-called GI/Research Seminar series.This series of seminars is ?nancially supported by theGesellschaft fur .. Informatik, the German Computer Society. At that point in time the papers had already undergone a ?rst review round. Each of the tutorial papers was presented in a one-hour session, and on the basis of the presentations we decided to bring together a selection of them into a book.
E-bok
PDF, Engelska, 2004687 kr
Läs direkt efter köp
E-bok
PDF, Engelska, 2003718 kr
Läs direkt efter köp
Häftad, Engelska, 2000
561 kr
Skickas inom 10-15 vardagar
In the design, implementation, and operational planning of computer and c- municationsystems, manyquestionsregardingthe desiredcapacityandspeed of (sub)systems have to be answered.At this point,performance anddependability evaluation techniques can be of great help. With these techniques, design de- sions can be prepared using advanced methods to construct appropriatemodels, toparameterisethesemodels,andtosolvethem.Theapplicationofabroadsp- trum of such methods and techniques is currently supported by tools (mostly software, but sometimes partly hardware as well). Such tools enable system - signers and engineers to construct their models in a ?exible and modular way using high-level application-oriented modelling languages, to solve their models with a variety of techniques and to exercise parametric studies at ease. The goal of the 11th International Conference on Modelling Tools and Techniques for Computer and Communication System Perf- mance Evaluation (\TOOLS 2000") was to further develop the theory and technologyfortool-basedperformanceanddependability evaluationofcomputer and communication systems.Important themes included software tools, eval- tion techniques, measurement-based tools and techniques, performance and - pendabilityevaluationtechniquesbasedonformalmethods,casestudiesshowing the role of evaluation in the design of systems, and application studies in the area of centralised and distributed computer systems. Previous conferences in this series were held over the past 15 years in Paris (1984), Sophia Antipolis (1985), Paris(1987), Palma de Mallorca (1988), Torino (1991), Edinburgh (1992), Wien (1994), Heidelberg (1995), Saint Malo (1997), and Palma de Mallorca (1998). The proceedings of the latter four conferences also appeared in the series Lecture Notes in Computer Science (Volumes 794, 977, 1245, and 1469, respectively).