Scalable Hardware Verification with Symbolic Simulation, Valeria Bertacco
Автор: Baek-Young Choi; Zhi-Li Zhang; David Hung-Chang Du Название: Scalable Network Monitoring in High Speed Networks ISBN: 1489985638 ISBN-13(EAN): 9781489985637 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: Cheng Jin; Sugih Jamin; Danny Raz; Yuval Shavitt Название: Building Scalable Network Services ISBN: 1461347114 ISBN-13(EAN): 9781461347118 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Building Scalable Network Services: Theory and Practice is on building scalable network services on the Internet or in a network service provider`s network.
Автор: Sandip Ray Название: Scalable Techniques for Formal Verification ISBN: 1489984445 ISBN-13(EAN): 9781489984449 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
