Hardware and Software: Verification and Testing, Roderick Bloem; Eli Arbel

Автор: Cady, Frederick M.
Название: Software and Hardware Engineering: Motorola M68HC11
ISBN: 0195110463 ISBN-13(EAN): 9780195110463
Издательство: Oxford Academ
Рейтинг:
Цена: 16630.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: More than just a reference guide, this text provides specific information and examples for the Motorola M68HC11 microcontroller. The goal is to give the extra informaiton needed to become proficient at using the M68HC11 by explaining and giving specific examples of many details found in the M68HC11 Reference Manual. It can be used alone or as a supplement and companion to Microcomputers & Microcontrollers: Principles of Hardware and SoftwareEngineering, and it includes a study plan outlining how to use the two together. The text is intended for use in a microprocessor course in EE and CS at the Junior/Senior undergraduate level.

Автор: Annie A.M. Cuyt; Walter Kr?mer; Wolfram Luther; Pe
Название: Numerical Validation in Current Hardware Architectures
ISBN: 3642015905 ISBN-13(EAN): 9783642015908
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. This book presents the 16 revised full papers that were selected during two rounds of reviewing and improvements.

Автор: Melham
Название: Higher Order Logic and Hardware Verification
ISBN: 052141718X ISBN-13(EAN): 9780521417181
Издательство: Cambridge Academ
Рейтинг:
Цена: 12989.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. The book is based in part on the author`s own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers.

Автор: Mircea Gh. Negoita; Sorin Hintea
Название: Bio-Inspired Technologies for the Hardware of Adaptive Systems
ISBN: 3642095712 ISBN-13(EAN): 9783642095719
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Evolvable Hardware (EHW) has emerged as a novel and highly diversified bio- inspired technology. This authoritative and thorough book presents recent research results in bio-inspired technologies for the hardware of adaptive systems.

Автор: Gierlichs
Название: Cryptographic Hardware and Embedded Systems – CHES 2016
ISBN: 3662531399 ISBN-13(EAN): 9783662531396
Издательство: Springer
Рейтинг:
Цена: 11460.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 18th International Conference on Cryptographic Hardware and Embedded Systems, CHES 2016, held in Santa Barbara, CA, USA, in August 2016. The 30 full papers presented in this volume were carefully reviewed and selected from 148 submissions. They were organized in topical sections named: side channel analysis; automotive security; invasive attacks; side channel countermeasures; new directions; software implementations; cache attacks; physical unclonable functions; hardware implementations; and fault attacks.

Автор: Gregory S. Hornby; Lukas Sekanina; Pauline C. Hadd
Название: Evolvable Systems: From Biology to Hardware
ISBN: 3540858563 ISBN-13(EAN): 9783540858560
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 8th International Conference on Evolvable Systems, ICES 2008, held in Prague, Czech Republic, in September 2008. This title includes papers that are organized in topical sections on evolution of analog circuits, evolution of digital circuits, hardware-software codesign and platforms for adaptive systems.