Specification and Verification of Concurrent Systems, Charles Rattray
Автор: Zhe Ma; Pol Marchal; Daniele Paolo Scarpazza; Peng Название: Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms ISBN: 9048176107 ISBN-13(EAN): 9789048176106 Издательство: Springer Рейтинг: Цена: 135090.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: A genuinely useful text that gives an overview of the state-of-the-art in system-level design trade-off explorations for concurrent tasks running on embedded heterogeneous multiple processors. This material is mainly based on research at IMEC and its international university network partners in this area over the last decade.
Автор: J. W. Dally Название: A VLSI Architecture for Concurrent Data Structures ISBN: 1461291917 ISBN-13(EAN): 9781461291916 Издательство: Springer Рейтинг: Цена: 104480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Concurrent data structures simplify the development of concurrent programs by encapsulating commonly used mechanisms for synchronization and commu- nication into data structures.
Автор: Sammy G. Shina Название: Concurrent Engineering and Design for Manufacture of Electronics Products ISBN: 1468465201 ISBN-13(EAN): 9781468465204 Издательство: Springer Рейтинг: Цена: 104480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book is intended to introduce and familiarize design, production, quality, and process engineers, and their managers to the importance and recent developments in concurrent engineering (CE) and design for manufacturing (DFM) of new products.
Автор: Lingkan Gong; Oliver Diessel Название: Functional Verification of Dynamically Reconfigurable FPGA-based Systems ISBN: 3319068377 ISBN-13(EAN): 9783319068374 Издательство: Springer Рейтинг: Цена: 121890.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book analyzes the challenges in verifying Dynamically Reconfigurable Systems (DRS) with respect to the user design and the physical implementation of such systems. Two implementations of the simulation-only layer are included: Extended Re Channel is a System C library that can be used to check DRS designs at a high level;
Автор: ter Beek Название: Critical Systems: Formal Methods and Automated Verification ISBN: 3319459422 ISBN-13(EAN): 9783319459424 Издательство: Springer Рейтинг: Цена: 46590.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.
The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
Автор: Eric Y.T. Juan; Jeffrey J.P. Tsai Название: Compositional Verification of Concurrent and Real-Time Systems ISBN: 1461353491 ISBN-13(EAN): 9781461353492 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on.
Автор: Krzysztof R. Apt; Amir Pnueli; Frank S. de Boer; E Название: Verification of Sequential and Concurrent Programs ISBN: 1447125134 ISBN-13(EAN): 9781447125136 Издательство: Springer Рейтинг: Цена: 74530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.
Автор: B. T. Hailpern Название: Verifying Concurrent Processes Using Temporal Logic ISBN: 3540112057 ISBN-13(EAN): 9783540112051 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Miriam Leeser; Geoffrey Brown Название: Hardware Specification, Verification and Synthesis: Mathematical Aspects ISBN: 0387972269 ISBN-13(EAN): 9780387972268 Издательство: Springer Рейтинг: Цена: 88500.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Current research into formal methods for hardware design is presented in the papers in this volume. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs.
Автор: Lingkan Gong; Oliver Diessel Название: Functional Verification of Dynamically Reconfigurable FPGA-based Systems ISBN: 3319380869 ISBN-13(EAN): 9783319380865 Издательство: Springer Рейтинг: Цена: 95770.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book analyzes the challenges in verifying Dynamically Reconfigurable Systems (DRS) with respect to the user design and the physical implementation of such systems. Two implementations of the simulation-only layer are included: Extended Re Channel is a System C library that can be used to check DRS designs at a high level;
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
