Описание: 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.
Автор: 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.
Автор: 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.
Автор: Boleslaw K. Szymanski; Balaram Sinharoy Название: Languages, Compilers and Run-Time Systems for Scalable Computers ISBN: 1461359791 ISBN-13(EAN): 9781461359791 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Language, Compilers and Run-time Systems for Scalable Computers contains 20 articles based on presentations given at the third workshop of the same title, and 13 extended abstracts from the poster session.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: Michel Dubois; Shreekant S. Thakkar Название: Scalable Shared Memory Multiprocessors ISBN: 0792392191 ISBN-13(EAN): 9780792392194 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The workshop on Scalable Shared Memory Multiprocessors took place on May 26 and 27 1990 at the Stouffer Madison Hotel in Seattle, Washington as a prelude to the 1990 International Symposium on Computer Architecture.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
