Building Scalable Network Services, Cheng Jin; Sugih Jamin; Danny Raz; Yuval Shavitt

Автор: Malay Ganai; Aarti Gupta
Название: SAT-Based Scalable Formal Verification Solutions
ISBN: 1441943412 ISBN-13(EAN): 9781441943415
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

Автор: Valeria Bertacco
Название: Scalable Hardware Verification with Symbolic Simulation
ISBN: 1441937390 ISBN-13(EAN): 9781441937391
Издательство: Springer
Рейтинг:
Цена: 95770.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design.

Название: Engineering scalable, elastic, and cost-efficient cloud computing applications
ISBN: 3319542850 ISBN-13(EAN): 9783319542850
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Overviewing problems involved in engineering scalable, elastic, and cost-efficient cloud computing services, this book describes the CloudScale method a description of rescuing tools and the required steps to exploit these tools. With the CloudScale method, software architects can analyze both existing and planned IT services.

Автор: Baek-Young Choi; Zhi-Li Zhang; David Hung-Chang Du
Название: Scalable Network Monitoring in High Speed Networks
ISBN: 1489985638 ISBN-13(EAN): 9781489985637
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Network monitoring serves as the basis for a wide scope of network, engineering and management operations. This book presents accurate measurement schemes from both traffic and performance perspectives, and introduces some adaptive sampling techniques.