Quantitative Evaluation of Systems, Kaustubh Joshi; Markus Siegle; Mari?lle Stoelinga;
Автор: Agha Название: Quantitative Evaluation of Systems ISBN: 3319434241 ISBN-13(EAN): 9783319434247 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016. The 21 full papers and 3 tool demonstration papers presented were carefully reviewed and selected from 46 submissions. Markov decision processes and Markovian analysis;
Описание: This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.
Автор: Nathalie Bertrand; Luca Bortolussi Название: Quantitative Evaluation of Systems ISBN: 3319663348 ISBN-13(EAN): 9783319663340 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling;
Автор: Gethin Norman; William Sanders Название: Quantitative Evaluation of Systems ISBN: 3319106953 ISBN-13(EAN): 9783319106953 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 submissions. models and tools; applications, theory and tools;
Автор: Javier Campos; Boudewijn R. Haverkort Название: Quantitative Evaluation of Systems ISBN: 3319222635 ISBN-13(EAN): 9783319222639 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Bertolotti Название: Real-Time Embedded Systems ISBN: 1439841543 ISBN-13(EAN): 9781439841549 Издательство: Taylor&Francis Рейтинг: Цена: 33686.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: From the Foreword: "…the presentation of real-time scheduling is probably the best in terms of clarity I have ever read in the professional literature. Easy to understand, which is important for busy professionals keen to acquire (or refresh) new knowledge without being bogged down in a convoluted narrative and an excessive detail overload. The authors managed to largely avoid theoretical-only presentation of the subject, which frequently affects books on operating systems. … an indispensable [resource] to gain a thorough understanding of the real-time systems from the operating systems perspective, and to stay up to date with the recent trends and actual developments of the open-source real-time operating systems." —Richard Zurawski, ISA Group, San Francisco, California, USA Real-time embedded systems are integral to the global technological and social space, but references still rarely offer professionals the sufficient mix of theory and practical examples required to meet intensive economic, safety, and other demands on system development. Similarly, instructors have lacked a resource to help students fully understand the field. The information was out there, though often at the abstract level, fragmented and scattered throughout literature from different engineering disciplines and computing sciences. Accounting for readers’ varying practical needs and experience levels, Real Time Embedded Systems: Open-Source Operating Systems Perspective offers a holistic overview from the operating-systems perspective. It provides a long-awaited reference on real-time operating systems and their almost boundless application potential in the embedded system domain. Balancing the already abundant coverage of operating systems with the largely ignored real-time aspects, or "physicality," the authors analyze several realistic case studies to introduce vital theoretical material. They also discuss popular open-source operating systems—Linux and FreRTOS, in particular—to help embedded-system designers identify the benefits and weaknesses in deciding whether or not to adopt more traditional, less powerful, techniques for a project.
Автор: Katinka Wolter; Alberto Avritzer; Marco Vieira; Aa Название: Resilience Assessment and Evaluation of Computing Systems ISBN: 3642436749 ISBN-13(EAN): 9783642436741 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book explores resilience assessment of computer systems, offering modeling techniques, model-driven prediction, measurement and metrics, testing, case studies and more. Includes modeling, benchmarking, testing, performance evaluation and dependability.
Автор: Raj Madhavan; Edward Tunstel; Elena Messina Название: Performance Evaluation and Benchmarking of Intelligent Systems ISBN: 1489983007 ISBN-13(EAN): 9781489983008 Издательство: Springer Рейтинг: Цена: 21661.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume examines performance evaluation and benchmarking of intelligent systems. The chapters cover a range of applications, such as assistive robotics, planetary surveying, urban search and rescue, and line tracking for automotive assembly.
Автор: Beyer Betsy, Jones Chris, Petoff Jennifer Название: Site Reliability Engineering: How Google Runs Production Systems ISBN: 149192912X ISBN-13(EAN): 9781491929124 Издательство: Wiley Рейтинг: Цена: 7602.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this collection of essays and articles, key members of Google`s Site Reliability Team explain how and why their commitment to the entire lifecycle has enabled the company to successfully build, deploy, monitor, and maintain some of the largest software systems in the world.
Автор: Asok Ray; Vir V. Phoha; Shashi Phoha Название: Quantitative Measure for Discrete Event Supervisory Control ISBN: 1441918515 ISBN-13(EAN): 9781441918512 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Supervisory Control Theory (SCT) provides a tool to model and control human-engineered complex systems, such as computer networks, World Wide Web, identification and spread of malicious executables, and command, control, communication, and information systems.
Автор: Qing Li Название: Real-Time Concepts for Embedded Systems ISBN: 1578201241 ISBN-13(EAN): 9781578201242 Издательство: Taylor&Francis Рейтинг: Цена: 9033.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: `... a very good balance between the theory and practice of real-time embedded system designs.` -Jun-ichiro itojun Hagino, Ph.D., Research Laboratory, Internet Initiative Japan Inc
Автор: Raghunath Nambiar; Meikel Poess Название: Performance Evaluation and Benchmarking ISBN: 3642104231 ISBN-13(EAN): 9783642104237 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Transaction Processing Performance Council Technology Conference TPCTC 2009 Lyon France August 2428. .
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
