Concurrent and Comparative Discrete Event Simulation, Ernst G. Ulrich; Vishwani D. Agrawal; Jack H. Arab

Автор: Wi?niewski
Название: Prototyping of Concurrent Control Systems Implemented in FPGA Devices
ISBN: 3319458108 ISBN-13(EAN): 9783319458106
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book focuses on prototyping aspects of concurrent control systems and their further implementation and partial reconfiguration in programmable devices. Further, it lays out a full prototyping flow for concurrent control systems. Based on a given primary specification, a system is described with an interpreted Petri net, which naturally reflects the concurrent and sequential relationships of the design.The book shows that, apart from the traditional option of static configuration of the entire system, the latest programmable devices (especially FPGAs) offer far more sophistication. Partial reconfiguration allows selected parts of the system to be replaced without having to reprogram the entire structure of the device. Approaches to dynamic and static partial reconfiguration of concurrent control systems are presented and described in detail.

Автор: Sammy G. Shina
Название: Concurrent Engineering and Design for Manufacture of Electronics Products
ISBN: 1468465201 ISBN-13(EAN): 9781468465204
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Raynal
Название: Concurrent Programming: Algorithms, Principles, and Foundations
ISBN: 3642320260 ISBN-13(EAN): 9783642320262
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes.

Автор: Ernst G. Ulrich; Vishwani D. Agrawal; Jack H. Arab
Название: Concurrent and Comparative Discrete Event Simulation
ISBN: 0792394119 ISBN-13(EAN): 9780792394112
Издательство: Springer
Рейтинг:
Цена: 23757.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In the design experimentation of nuclear power plant operations, many scenarios can be simulated to derive desirable designs or safe operating procedures. Concurrent fault simulation is a technique in the computer aided design of digital systems. This book covers an application area in the scientific and business world.

Автор: 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: 1402063288 ISBN-13(EAN): 9781402063282
Издательство: Springer
Рейтинг:
Цена: 20263.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: G. Kahn
Название: Semantics of Concurrent Computation
ISBN: 354009511X ISBN-13(EAN): 9783540095118
Издательство: Springer
Рейтинг:
Цена: 4191.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Edward J. Haug
Название: Concurrent Engineering: Tools and Technologies for Mechanical System Design
ISBN: 3642781217 ISBN-13(EAN): 9783642781216
Издательство: Springer
Рейтинг:
Цена: 11173.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the NATO Advanced Study Institute on Concurrent Engineering Tools and Technologies for Mechanical System Design, held in Iowa City, Iowa, May 25-June 5, 1992

Автор: Patrice Godefroid
Название: Partial-Order Methods for the Verification of Concurrent Systems
ISBN: 3540607617 ISBN-13(EAN): 9783540607618
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph is a revised version of the author`s PhD thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work is to turn logical and semantic ideas into exploitable algorithms.

Автор: Ryszard Janicki; Peter E. Lauer
Название: Specification and Analysis of Concurrent Systems
ISBN: 3642773397 ISBN-13(EAN): 9783642773396
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Concurrent systems abound in human experience but theirfully adequate conceptualization as yet eludes our most ablethinkers. The COSY (ConcurrentSystem) notation and theorywas developed in the last decade as one of a number ofmathematical approaches for conceptualizing and analyzingconcurrent and reactive systems.

Автор: Gaurav Singh; Sandeep Kumar Shukla
Название: Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
ISBN: 1489987029 ISBN-13(EAN): 9781489987020
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Low Power Hardware Synthesis provides an introduction to low-power hardware, providing a high-level description of design in terms of Concurrent Action-Oriented Specifications (CAOS). Novel techniques are described, in addition to various verification issues associated with hardware design.

Автор: A. C. Hartmann
Название: A Concurrent Pascal Compiler for Minicomputers
ISBN: 3540082409 ISBN-13(EAN): 9783540082408
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Michel Raynal
Название: Concurrent Programming: Algorithms, Principles, and Foundations
ISBN: 3642446159 ISBN-13(EAN): 9783642446153
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes.