Scalable and Near-Optimal Design Space Exploration for Embedded Systems, Angeliki Kritikakou; Francky Catthoor; Costas Gout

Автор: Alan A. Desrochers
Название: Intelligent Robotic Systems for Space Exploration
ISBN: 146136616X ISBN-13(EAN): 9781461366164
Издательство: Springer
Рейтинг:
Цена: 23508.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In the development of the United States Space Program, robotic manipulation systems have increased in importance as the complexity of space missions has grown. Intelligent Robotic Systems for Space Exploration provides detailed algorithms and analysis for assembly of truss structure in space.

Автор: Peter Mueller; Jiannong Cao; Cho-Li Wang
Название: Scalable Information Systems
ISBN: 3642104843 ISBN-13(EAN): 9783642104848
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Includes the proceedings of the 4th International ICST Conference, INFOSCALE 2009, held in Hong Kong in June 2009. This title features papers that focus on various scalability issues and the approaches to tackle problems arising from the ever growing size and complexity of information.

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

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

Автор: Arben ?ela; Mongi Ben Gaid; Xu-Guang Li; Silviu-Iu
Название: Optimal Design of Distributed Control and Embedded Systems
ISBN: 331902728X ISBN-13(EAN): 9783319027289
Издательство: Springer
Рейтинг:
Цена: 22359.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this book the authors present a co-design approach which subsumes the synthesis of the optimal control laws and the generation of an optimal schedule of control signals on real-time networks based on a thorough analysis of the induced time-delay system.