Foundations of Hardware IP Protection, Lilian Bossuet; Lionel Torres

Автор: Anant Agarwal
Название: Foundations of Analog and Digital Electronic Circuits,
ISBN: 1558607358 ISBN-13(EAN): 9781558607354
Издательство: Elsevier Science
Рейтинг:
Цена: 13304.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Computer systems are simply one type of electrical systems. Using the concept of "abstraction", this book attempts to unify electrical engineering and computer science as the art of creating and exploiting successive abstractions to manage the complexity of building useful electrical systems.

Автор: Domenic Forte; Swarup Bhunia; Mark M. Tehranipoor
Название: Hardware Protection through Obfuscation
ISBN: 3319490184 ISBN-13(EAN): 9783319490182
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book introduces readers to various threats faced during design and fabrication by today's integrated circuits (ICs) and systems. The authors discuss key issues, including illegal manufacturing of ICs or "IC Overproduction," insertion of malicious circuits, referred as "Hardware Trojans", which cause in-field chip/system malfunction, and reverse engineering and piracy of hardware intellectual property (IP). The authors provide a timely discussion of these threats, along with techniques for IC protection based on hardware obfuscation, which makes reverse-engineering an IC design infeasible for adversaries and untrusted parties with any reasonable amount of resources. This exhaustive study includes a review of the hardware obfuscation methods developed at each level of abstraction (RTL, gate, and layout) for conventional IC manufacturing, new forms of obfuscation for emerging integration strategies (split manufacturing, 2.5D ICs, and 3D ICs), and on-chip infrastructure needed for secure exchange of obfuscation keys- arguably the most critical element of hardware obfuscation.

Автор: Jean-Daniel Boissonnat; Joel Burdick; Ken Goldberg
Название: Algorithmic Foundations of Robotics V
ISBN: 3642073417 ISBN-13(EAN): 9783642073410
Издательство: Springer
Рейтинг:
Цена: 32651.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This fifth biannual Workshop on Algorithmic Foundations of Robotics focuses on algorithmic issues related to robotics and automation. The design and analysis of robot algorithms raises fundamental questions in computer science, computational geometry, mechanical modeling, operations research, control theory, and associated fields.

Автор: Petar V. Kokotovic
Название: Foundations of Adaptive Control
ISBN: 3540540202 ISBN-13(EAN): 9783540540205
Издательство: Springer
Рейтинг:
Цена: 16979.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 1990 Grainger lectures delivered at the University of Illinois were devoted to a critical re-examination of the foundations of adaptive control. In this text, the lectures are expanded by recent developments and solutions to some long-standing open problems.

Автор: David Hsu; Volkan Isler; Jean-Claude Latombe; Ming
Название: Algorithmic Foundations of Robotics IX
ISBN: 3642423825 ISBN-13(EAN): 9783642423826
Издательство: Springer
Рейтинг:
Цена: 30606.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book contains the proceedings of the 9th WAFR, held on December 13-15, 2010 at the National University of Singapore. The 24 papers included in this book span a wide variety of topics from new theoretical insights to novel applications.

Автор: Gregory S. Chirikjian; Howie Choset; Marco Morales
Название: Algorithmic Foundations of Robotics VIII
ISBN: 3642262171 ISBN-13(EAN): 9783642262173
Издательство: Springer
Рейтинг:
Цена: 36570.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book contains selected contributions to WAFR, the highly-competitive meeting on the algorithmic foundations of robotics. They address the unique combination of questions that the design and analysis of robot algorithms inspires.

Автор: Andr? M. van Tilborg; Gary M. Koob
Название: Foundations of Real-Time Computing: Formal Specifications and Methods
ISBN: 1461367964 ISBN-13(EAN): 9781461367963
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains a selection of papers that focus on the state-of- the-art in formal specification and verification of real-time computing systems.

Автор: Andr? M. van Tilborg; Gary M. Koob
Название: Foundations of Real-Time Computing: Scheduling and Resource Management
ISBN: 1461367662 ISBN-13(EAN): 9781461367666
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A companion volume by the title Foundations of Real-Time Computing: Fonnal Specifications and Methods complements this book by addressing many of the most advanced approaches currently being investigated in the arena of formal specification and verification of real-time systems.

Автор: Gregory S. Chirikjian; Howie Choset; Marco Morales
Название: Algorithmic Foundations of Robotics VIII
ISBN: 3642003117 ISBN-13(EAN): 9783642003110
Издательство: Springer
Рейтинг:
Цена: 36570.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Offers a collection of various topics in advanced robotics, including networked robots, distributed systems, manipulation, planning under uncertainty, minimalism, geometric sensing, geometric computation, stochastic planning methods, and medical applications. This title focuses on validation of algorithms, design concepts, and techniques.