Energy Scalable Radio Design, Marian Verhelst; Wim Dehaene

Автор: de la Prieta
Название: Trends in Practical Applications of Scalable Multi-Agent Systems, the PAAMS Collection
ISBN: 3319401580 ISBN-13(EAN): 9783319401584
Издательство: Springer
Рейтинг:
Цена: 22359.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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.