Описание: 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.
Автор: Rossano Venturini Название: Compressed Data Structures for Strings ISBN: 9462390320 ISBN-13(EAN): 9789462390324 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume tackles the conflicting requirements of data compression and indexing in massive datasets, by using optimization techniques to improve compression and reconfiguring data structure to increase the efficiency, and speed, of pattern-matching queries.
Описание: This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies. The author discusses techniques that improve the efficiency of logic representation, manipulation and optimization tasks by taking advantage of majority and biconditional logic primitives. Readers will be enabled to accelerate formal methods by studying core properties of logic circuits and developing new frameworks for logic reasoning engines.
Автор: Ernst G. Ulrich; Vishwani D. Agrawal; Jack H. Arab Название: Concurrent and Comparative Discrete Event Simulation ISBN: 1461361818 ISBN-13(EAN): 9781461361817 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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.
Описание: 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 Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: 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.
Описание: 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 Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Robert J. Jannarone Название: Concurrent Learning and Information Processing ISBN: 1461380499 ISBN-13(EAN): 9781461380498 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
