Hardware and Software: Verification and Testing, Karen Yorav

Автор: Roderick Bloem; Eli Arbel
Название: Hardware and Software: Verification and Testing
ISBN: 3319490516 ISBN-13(EAN): 9783319490519
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016.

Автор: Higuchi Tetsuya, Liu Yong, Yao Xin
Название: Evolvable Hardware
ISBN: 0387243860 ISBN-13(EAN): 9780387243863
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Evolvable hardware (EHW) refers to hardware whose architecture/structure and functions change dynamically and autonomously in order to improve its performance in carrying out tasks. This book provides the basics of reconfigurable devices so that readers can be fully prepared to understand what EHW is, why it is necessary and how it is designed.

Автор: Rex Black
Название: Managing the Testing Process: Practical Tools and Techniques for Managing Hardware and Software Testing, 2nd Edition
ISBN: 0471223980 ISBN-13(EAN): 9780471223986
Издательство: Wiley
Цена: 3958.00 р.
Наличие на складе: Поставка под заказ.

Описание: Testing new software and hardware products is essential, which requires developing a test plan, establishing a test lab, staffing, and overcoming corporate challenges and hurdles. This edition offers an examination of the essential elements to the overall testing and development process. It provides you with the tips in test project management.

Автор: Hana Chockler; Alan J. Hu
Название: Hardware and Software: Verification and Testing
ISBN: 3642017010 ISBN-13(EAN): 9783642017018
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: After a rigorous review process, in which each paper received at least four independent reviews from the dist- guished Program Committee, we accepted 12 regular papers and 4 tools papers for presentation at the conference and inclusion in this volume.

Автор: 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. .

Автор: 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.