Embedded Systems Design Based on Formal Models of Computation, Ivan Radojevic; Zoran Salcic

Автор: Manuel Barros; Jorge Guilherme; Nuno Horta
Название: Analog Circuits and Systems Optimization based on Evolutionary Computation Techniques
ISBN: 3642123457 ISBN-13(EAN): 9783642123450
Издательство: Springer
Рейтинг:
Цена: 23757.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Transistor-level design for complex mixed-signal systems-on-chip remains difficult to automate. This book shows how a modified genetic algorithm kernel can improve efficiency in the analog IC design cycle and includes a worked example of the method.

Автор: Randall S. Janka
Название: Specification and Design Methodology for Real-Time Embedded Systems
ISBN: 1461352630 ISBN-13(EAN): 9781461352631
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Specification and design methodology has seen significant growth as a research area over the last decade, tracking but lagging behind VLSI design technology in general and the CAD industry in particular.

Автор: Alexander Biedermann; Gregor H Molter
Название: Design Methodologies for Secure Embedded Systems
ISBN: 3642422993 ISBN-13(EAN): 9783642422997
Издательство: Springer
Рейтинг:
Цена: 23508.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Embedded systems have been almost invisibly pervading our daily lives for several decades. New problems arise by the increasing employment, interconnection, and communication of embedded systems in heterogeneous environments: How secure are these embedded systems against attacks or breakdowns?

Автор: John Fitzgerald; Peter Gorm Larsen; Marcel Verhoef
Название: Collaborative Design for Embedded Systems
ISBN: 3662524449 ISBN-13(EAN): 9783662524442
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents a framework that allows the very different kinds of design models - discrete-event models of software and continuous time models of the physical environment - to be analyzed and simulated jointly, based on common scenarios.

Автор: Ralf Niemann; Peter Marwedel
Название: Hardware/Software Co-Design for Data Flow Dominated Embedded Systems
ISBN: 1441950648 ISBN-13(EAN): 9781441950642
Издательство: Springer
Рейтинг:
Цена: 19589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This system has the following salient features: * Precise cost and performance figures Design decisions for implementing a certain function in hardware or software are based on `cost and performance figures for the different design alterna tives.

Автор: Klaus Pohl; Harald H?nninger; Reinhold Achatz; Man
Название: Model-Based Engineering of Embedded Systems
ISBN: 3642439926 ISBN-13(EAN): 9783642439926
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book offers a comprehensive guide to model-based engineering of embedded systems, with sections titled Starting Point, SPES Modeling Theory, Application and Evaluation of the SPES Methodology and Impact of the SPES Methodology.

Автор: Klaus Pohl; Harald H?nninger; Reinhold Achatz; Man
Название: Model-Based Engineering of Embedded Systems
ISBN: 3642346138 ISBN-13(EAN): 9783642346132
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book offers a comprehensive guide to model-based engineering of embedded systems, with sections titled Starting Point, SPES Modeling Theory, Application and Evaluation of the SPES Methodology and Impact of the SPES Methodology.

Автор: Rupak Majumdar; Paulo Tabuada
Название: Hybrid Systems: Computation and Control
ISBN: 3642006019 ISBN-13(EAN): 9783642006012
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Focuses on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors. This book features developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems.

Автор: Danny Weyns
Название: Architecture-Based Design of Multi-Agent Systems
ISBN: 3642439985 ISBN-13(EAN): 9783642439988
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book puts the development of multi-agent systems into a larger perspective with traditional software engineering approaches to tackle difficult challenges of modern-day software systems, such as decentralized control, self-adaptation, and large-scale.

Автор: Michael G. Hinchey; James L. Rash; Walter F. Trusz
Название: Formal Approaches to Agent-Based Systems
ISBN: 3540406654 ISBN-13(EAN): 9783540406655
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation Branch (Code 588) was developing a prototype agent community to automate satellite ground operations.