Handbook of Hardware/Software Codesign, Soonhoi Ha; J?rgen Teich
Название: Handbook of Finite State Based Models and Applications ISBN: 1138199354 ISBN-13(EAN): 9781138199354 Издательство: Taylor&Francis Рейтинг: Цена: 9492.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For beginners, the book is a handy reference for quickly looking up model details. For more experienced researchers, it is suitable as a source of in-depth study in this area.
The book first introduces the fundamentals of automata theory, including regular expressions, as well as widely used automata, such as transducers, tree automata, quantum automata, and timed automata. It then presents algorithms for the minimization and incremental construction of finite automata and describes Esterel, an automata-based synchronous programming language for embedded system software development.
Moving on to applications, the book explores regular path queries on graph-structured data, timed automata in model checking security protocols, pattern matching, compiler design, and XML processing. It also covers other finite state-based modeling approaches and applications, including Petri nets, statecharts, temporal logic, and UML state machine diagrams.
Автор: Karen Yorav Название: Hardware and Software: Verification and Testing ISBN: 3540779647 ISBN-13(EAN): 9783540779643 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Advanced approaches to software engineering and design are capable of solving complex computational problems and achieving standards of performance that were unheard of only decades ago.Handbook of Research on Emerging Advancements and Technologies in Software Engineering presents a comprehensive investigation of the most recent discoveries in software engineering research and practice, with studies in software design, development, implementation, testing, analysis, and evolution. Software designers, architects, and technologists, as well as students and educators, will find this book to be a vital and in-depth examination of the latest notable developments within the software engineering community.
Автор: J?rg Wilberg Название: Codesign for Real-Time Video Applications ISBN: 0792380061 ISBN-13(EAN): 9780792380061 Издательство: Springer Рейтинг: Цена: 27245.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Codesign for Real-Time Video Applications describes a modern design approach for embedded systems. The design approach is illustrated by the design of a video compression system. A complete top-down design flow is presented and the design tools for each of the design steps are explained.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: Wolfgang Ecker; Wolfgang M?ller; Rainer D?mer Название: Hardware-dependent Software ISBN: 9048181283 ISBN-13(EAN): 9789048181285 Издательство: Springer Рейтинг: Цена: 16977.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The role of hardware-dependent software (HdS) is often underestimated and the topic is not well represented in literature. This is the first complete book on HdS, a critical topic in embedded system design. It brings together experts from different HdS areas.
Автор: J?rgen Staunstrup; Wayne Wolf Название: Hardware/Software Co-Design ISBN: 1441950184 ISBN-13(EAN): 9781441950185 Издательство: Springer Рейтинг: Цена: 26120.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduction to Hardware-Software Co-Design presents a number of issues of fundamental importance for the design of integrated hardware software products such as embedded, communication, and multimedia systems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
