Scalable Techniques for Formal Verification, Sandip Ray
Автор: Malay Ganai; Aarti Gupta Название: SAT-Based Scalable Formal Verification Solutions ISBN: 1441943412 ISBN-13(EAN): 9781441943415 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: PAAMS, the International Conference on Practical Applications of Agents and Multi-Agent Systems is an evolution of the International Workshop on Practical Applications of Agents and Multi-Agent Systems. PAAMS is an international yearly tribune to present, to discuss, and to disseminate the latest developments and the most important outcomes related to real-world applications. It provides a unique opportunity to bring multi-disciplinary experts, academics and practitioners together to exchange their experience in the development of Agents and Multi-Agent Systems. This volume presents the papers that have been accepted for the 2016 in the special sessions: Agents Behaviours and Artificial Markets (ABAM); Advances on Demand Response and Renewable Energy Sources in Agent Based Smart Grids (ADRESS); Agents and Mobile Devices (AM); Agent Methodologies for Intelligent Robotics Applications (AMIRA); Learning, Agents and Formal Languages (LAFLang); Multi-Agent Systems and Ambient Intelligence (MASMAI); Web Mining and Recommender systems (WebMiRes). The volume also includes the paper accepted for the Doctoral Consortium in PAAMS 2016 and Collocated Events.
Автор: S.S. Iyengar Название: Scalable Infrastructure for Distributed Sensor Networks ISBN: 1849969728 ISBN-13(EAN): 9781849969727 Издательство: Springer Рейтинг: Цена: 19589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is the only book to cover infrastructure aspects of sensor networks in a comprehensive fashion. The only other books on sensor networks do not cover this topic or do so only superficially as part of a less-focussed multi-authored treatment.
Автор: Marian Verhelst; Wim Dehaene Название: Energy Scalable Radio Design ISBN: 9048126932 ISBN-13(EAN): 9789048126934 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Smart energy management, both at design time and at run time, is indispensable in modern radios. It requires a careful trade-off between the system`s performance, and its power consumption. This book describes and applies an energy-driven design strategy to the design of an energy-efficient, highly scalable, pulsed UWB receiver.
Автор: Masahiro Fujita Название: Verification Techniques for System-Level Design, ISBN: 0123706165 ISBN-13(EAN): 9780123706164 Издательство: Elsevier Science Рейтинг: Цена: 10441.00 р. Наличие на складе: Поставка под заказ.
Описание: Explains how to verify SoC logic designs using `formal` and `semi-formal` verification techniques. This book covers various aspects of high-level formal and semi-formal verification techniques for system level designs.
Автор: Valeria Bertacco Название: Scalable Hardware Verification with Symbolic Simulation ISBN: 1441937390 ISBN-13(EAN): 9781441937391 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Angeliki Kritikakou; Francky Catthoor; Costas Gout Название: Scalable and Near-Optimal Design Space Exploration for Embedded Systems ISBN: 3319378309 ISBN-13(EAN): 9783319378305 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes scalable and near-optimal, processor-level design space exploration (DSE) methodologies. Readers will be enabled to reduce time-to-market, while satisfying system requirements for performance, area, and energy consumption, thereby minimizing the overall cost of the final design.
Автор: Marian Verhelst; Wim Dehaene Название: Energy Scalable Radio Design ISBN: 9400726104 ISBN-13(EAN): 9789400726109 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Smart energy management is indispensable in modern radios. This book describes and applies an energy-driven design strategy to the design of an energy-efficient, highly scalable, pulsed UWB receiver, suitable for low data rate communication and sub-cm ranging.
Автор: Leena Singh; Leonard Drucker Название: Advanced Verification Techniques ISBN: 1441954090 ISBN-13(EAN): 9781441954091 Издательство: Springer Рейтинг: Цена: 22201.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Transaction-based design and verification, constrained random stimulus generation, functional coverage analysis, and assertion-based verification are all techniques that advanced design and verification teams routinely use today.
Автор: Angeliki Kritikakou; Francky Catthoor; Costas Gout Название: Scalable and Near-Optimal Design Space Exploration for Embedded Systems ISBN: 3319049410 ISBN-13(EAN): 9783319049410 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes scalable and near-optimal, processor-level design space exploration (DSE) methodologies. Readers will be enabled to reduce time-to-market, while satisfying system requirements for performance, area, and energy consumption, thereby minimizing the overall cost of the final design.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
