A Practical Introduction to Hardware/Software Codesign, Patrick R. Schaumont

Автор: Abderazek Ben Abdallah
Название: Multicore Systems On-Chip: Practical Software/Hardware Design
ISBN: 9491216910 ISBN-13(EAN): 9789491216916
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This reflects the fact that certain processor jobs cannot be easily parallelized to run concurrently on multiple processing cores and that load balancing between processing cores - especially heterogeneous cores - is very difficult.

Автор: Abderazek Ben Abdallah
Название: Multicore Systems On-Chip: Practical Software/Hardware Design
ISBN: 9462390509 ISBN-13(EAN): 9789462390508
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This reflects the fact that certain processor jobs cannot be easily parallelized to run concurrently on multiple processing cores and that load balancing between processing cores - especially heterogeneous cores - is very difficult.

Автор: Mohammad Tehranipoor; Cliff Wang
Название: Introduction to Hardware Security and Trust
ISBN: 1489990364 ISBN-13(EAN): 9781489990365
Издательство: Springer
Рейтинг:
Цена: 16977.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides the foundations for understanding hardware security and trust. Coverage includes security and trust issues in all types of electronic devices and systems such as ASICs, COTS, FPGAs, microprocessors/DSPs and embedded systems.

Автор: Jones, Martin Hartley
Название: A practical introduction to electronic circuits
ISBN: 0521478790 ISBN-13(EAN): 9780521478793
Издательство: Cambridge Academ
Рейтинг:
Цена: 11246.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides a practically based explanation of electronics which can be understood by any reader who has some knowledge of electrical circuits. The third edition of this highly successful book is an ideal first text for degree and vocational course students in electronics.

Автор: Thomas Kropf
Название: Introduction to Formal Hardware Verification
ISBN: 364208477X ISBN-13(EAN): 9783642084775
Издательство: Springer
Рейтинг:
Цена: 10475.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. Each chapter contains an introduction and a summary as well as a section for the advanced reader, aiding an understanding of the advantages and limitations of each technique. Backed by many examples and illustrations, this text will appeal to a broad audience, from beginners in system design to experts. XXXXXXX Neuer Text This is a complete overview of existing techniques for hardware verification. It covers all approaches used in existing verification tools, such as symbolic methods for equivalence checking, temporal logic model checking, and higher-order logic theorem proving for verifying circuit correctness. The book helps readers to understand the advantages and limitations of each technique. Each chapter contains a summary as well as a section for the advanced reader.

Автор: Greenwood, Garrison W. Tyrrell, Andrew M.
Название: Introduction to evolvable hardware
ISBN: 0471719773 ISBN-13(EAN): 9780471719779
Издательство: Wiley
Рейтинг:
Цена: 10850.00 р.
Наличие на складе: Поставка под заказ.

Описание: Introduction to Evolvable Hardware: A Practical Guide for Designing Self-Adaptive Systems provides a fundamental introduction for engineers, designers, and managers involved in the development of adaptive, high reliability systems. It also introduces the concepts of evolvable hardware (EHW) to new researchers in a structured way. .

Автор: Dan Page
Название: Practical Introduction to Computer Architecture
ISBN: 1848822553 ISBN-13(EAN): 9781848822559
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Поставка под заказ.

Описание: Using a HDL, Verilog in this case, rather than static circuit diagrams is a big deviation from traditional books on computer architecture.

Автор: Luis Arg?elles Mendez
Название: A Practical Introduction to Fuzzy Logic using LISP
ISBN: 3319359835 ISBN-13(EAN): 9783319359830
Издательство: Springer
Рейтинг:
Цена: 14365.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book makes use of the LISP programming language to provide readers with the necessary background to understand and use fuzzy logic to solve simple to medium-complexity real-world problems.