Performance Evaluation of Complex Systems: Techniques and Tools

Performance Evaluation of Complex Systems: Techniques and Tools
Author: Maria Carla Calzarossa
Publisher: Springer
Total Pages: 509
Release: 2003-08-02
Genre: Computers
ISBN: 3540457984

This book presents the tutorial lectures given by leading experts in the area at the IFIP WG 7.3 International Symposium on Computer Modeling, Measurement and Evaluation, Performance 2002, held in Rome, Italy in September 2002.The survey papers presented are devoted to theoretical and methodological advances in performance and reliability evaluation as well as new perspectives in the major application fields. Modeling and verification issues, solution methods, workload characterization, and benchmarking are addressed from the methodological point of view. Among the applications dealt with are hardware and software architectures, wired and wireless networks, grid environments, Web services, and real-time voice and video processing.This book is intended to serve as a state-of-the-art survey and reference for students, scientists, and engineers active in the area of performance and reliability evaluation.

Formal Techniques for Computer Systems and Business Processes

Formal Techniques for Computer Systems and Business Processes
Author: Mario Bravetti
Publisher: Springer
Total Pages: 361
Release: 2005-11-15
Genre: Computers
ISBN: 3540319034

This volume contains the proceedings of two international workshops EPEW and WS-FM held at the Universite de Versailles Saint-Quentin-en-Yvelines, Versailles, France, 1–3 September 2005.

Workload Modeling for Computer Systems Performance Evaluation

Workload Modeling for Computer Systems Performance Evaluation
Author: Dror G. Feitelson
Publisher: Cambridge University Press
Total Pages: 569
Release: 2015-03-23
Genre: Computers
ISBN: 1107078237

A book for experts and practitioners, emphasizing the intuition and reasoning behind definitions and derivations related to evaluating computer systems performance.

Formal Methods and Stochastic Models for Performance Evaluation

Formal Methods and Stochastic Models for Performance Evaluation
Author: András Horváth
Publisher: Springer Science & Business Media
Total Pages: 246
Release: 2006-06-12
Genre: Computers
ISBN: 3540353623

This book constitutes the refereed proceedings of the Third European Performance Engineering Workshop, EPEW 2006, held in Budapest, Hungary in June 2006. The 16 revised full papers presented were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on stochastic process algebra, workloads and benchmarks, theory of stochastic processes, formal dependability and performance evaluation, as well as queues, theory and practice.

Computer Performance Evaluation

Computer Performance Evaluation
Author: Computer Performance Evaluation Users Group
Publisher:
Total Pages: 244
Release: 1975
Genre: Electronic digital computers
ISBN:

Formal Methods for Software Architectures

Formal Methods for Software Architectures
Author: Marco Bernardo
Publisher: Springer Science & Business Media
Total Pages: 293
Release: 2003-09-12
Genre: Computers
ISBN: 3540200835

In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level. This book presents the tutorial lectures given by leading authorities at the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2003, held in Bertinoro, Italy, in September 2003. The book is ideally suited for advanced courses on software architecture as well as for ongoing education of software engineers using formal methods in their day-to-day professional work.

Reliability and Maintenance of Complex Systems

Reliability and Maintenance of Complex Systems
Author: Süleyman Özekici
Publisher: Springer Science & Business Media
Total Pages: 616
Release: 1996-06-18
Genre: Computers
ISBN: 9783540611097

Complex high-technology devices are in growing use in industry, service sectors, and everyday life. Their reliability and maintenance is of utmost importance in view of their cost and critical functions. This book focuses on this theme and is intended to serve as a graduate-level textbook and reference book for scientists and academics in the field. The chapters are grouped into five complementary parts that cover the most important aspects of reliability and maintenance: stochastic models of reliability and maintenance, decision models involving optimal replacement and repair, stochastic methods in software engineering, computational methods and simulation, and maintenance management systems. This wide range of topics provides the reader with a complete picture in a self-contained volume.

Computer and Information Sciences - ISCIS 2004

Computer and Information Sciences - ISCIS 2004
Author: Cevdet Aykanat
Publisher: Springer Science & Business Media
Total Pages: 1027
Release: 2004-10-14
Genre: Computers
ISBN: 3540235264

This book constitutes the refereed proceedings of the 19th International Symposium on Computer and Information Sciences, ISCIS 2004, held in Kemer-Antalya, Turkey in October 2004. The 99 revised full papers presented together with an invited paper were carefully reviewed and selected from 335 submissions. The papers are organized in topical sections on artificial intelligence and machine learning, computer graphics and user interfaces, computer networks and security, computer vision and image processing, database systems, modeling and performance evaluation, natural language processing, parallel and distributed computing, real-time control applications, software engineering and programming, and theory of computing.