A VLSI Architecture for Concurrent Data Structures, J. W. Dally

Автор: Robert J. Jannarone
Название: Concurrent Learning and Information Processing
ISBN: 1461380499 ISBN-13(EAN): 9781461380498
Издательство: Springer
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Many monitoring, forecasting, and control operations occur in settings where relationships among key measurements must be learned quickly. The book describes benefits and features of the system, statistical foundations for the system, and several related models.

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

Автор: Ernst G. Ulrich; Vishwani D. Agrawal; Jack H. Arab
Название: Concurrent and Comparative Discrete Event Simulation
ISBN: 1461361818 ISBN-13(EAN): 9781461361817
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Concurrent simulation is over twenty years old. Yet, it is remarkable that no book published so far presents a correct and sufficiently detailed treatment of concurrent simulation. The discussion of multi-domain concurrent simulation--- recent work of Karen Panetta Lentz and Ernst Ulrich---is fascinat- ing.

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

Автор: B. T. Hailpern
Название: Verifying Concurrent Processes Using Temporal Logic
ISBN: 3540112057 ISBN-13(EAN): 9783540112051
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

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

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

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

Автор: Charles Rattray
Название: Specification and Verification of Concurrent Systems
ISBN: 3540195815 ISBN-13(EAN): 9783540195818
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: "Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland"--Pref.

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

Автор: 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
Рейтинг:
Цена: 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.