Hardware-dependent Software, Wolfgang Ecker; Wolfgang M?ller; Rainer D?mer

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

Автор: Lixian Zhang; Yanzheng Zhu; Peng Shi; Qiugang Lu
Название: Time-Dependent Switched Discrete-Time Linear Systems: Control and Filtering
ISBN: 3319288490 ISBN-13(EAN): 9783319288499
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book focuses on the basic control and filtering synthesis problems for discrete-time switched linear systems under time-dependent switching signals.

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

Автор: Patrick R. Schaumont
Название: A Practical Introduction to Hardware/Software Codesign
ISBN: 1489990607 ISBN-13(EAN): 9781489990600
Издательство: Springer
Рейтинг:
Цена: 11099.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Now in its second edition, this introduction to embedded systems design emphasizes the integration of custom hardware components with software. Includes new examples using modern FPGA environments from Xilinx and Altera, and many new exercises.

Автор: Olga Goloubeva; Maurizio Rebaudengo; Matteo Sonza
Название: Software-Implemented Hardware Fault Tolerance
ISBN: 1441938613 ISBN-13(EAN): 9781441938619
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents the theory behind software-implemented hardware fault tolerance, as well as the practical aspects needed to put it to work on real examples.

Автор: Muhammad Shafique; J?rg Henkel
Название: Hardware/Software Architectures for Low-Power Embedded Multimedia Systems
ISBN: 1489988270 ISBN-13(EAN): 9781489988270
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Basing its systems on dynamically reconfigurable processors, this book will help systems designers adhere to the constraints of performance and area. It presents a number of techniques for reducing energy consumption in adaptive embedded multimedia systems.

Автор: Nir Piterman
Название: Hardware and Software: Verification and Testing
ISBN: 3319262866 ISBN-13(EAN): 9783319262864
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015. The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions.

Автор: M.J.P. van der Meulen
Название: Definitions for Hardware and Software Safety Engineers
ISBN: 1447111486 ISBN-13(EAN): 9781447111481
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Compiled by an experienced practitioner in the field, this book contains definitions of the major terms used in reliability engineering and software assessment. Alternative definitions of the same term are given where relevant, enabling readers to compare and contrast, thereby giving useful insights into different aspects of the same term.

Автор: F. Balarin; Paolo Giusto; Attila Jurecska; Claudio
Название: Hardware-Software Co-Design of Embedded Systems
ISBN: 1461378087 ISBN-13(EAN): 9781461378082
Издательство: Springer
Рейтинг:
Цена: 14365.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Hardware-Software Co-Design of Embedded Systems: The POLIS Approach will be of interest to embedded system designers (automotive electronics, consumer electronics and telecommunications), micro-controller designers, CAD developers and students.

Автор: Armin Biere; Amir Nahir; Tanja Vos
Название: Hardware and Software: Verification and Testing
ISBN: 3642396100 ISBN-13(EAN): 9783642396106
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions.

Автор: Joris van den Hurk; Jochen A.G. Jess
Название: System Level Hardware/Software Co-Design
ISBN: 1441950257 ISBN-13(EAN): 9781441950253
Издательство: Springer
Рейтинг:
Цена: 25009.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Hierarchical design methods were originally introduced for the design of digital ICs, and they appeared to provide for significant advances in design productivity, Time-to-Market, and first-time right design.