Описание: This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. Top world universities, companies and government institutions are in a race of developing new methodologies, algorithms and circuits on reversible logic, quantum logic, reversible and quantum computing and nano-technologies.
Автор: Alexander Barkalov; Larysa Titarenko Название: Logic Synthesis for Compositional Microprogram Control Units ISBN: 3642088791 ISBN-13(EAN): 9783642088797 Издательство: Springer Рейтинг: Цена: 19589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents design methods for and hardware amount optimization for compositional microprogram control units (CMCU). It includes new models of control units, methods of their synthesis and a lot of examples.
Описание: 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.
Автор: J. Cortadella; M. Kishinevsky; A. Kondratyev; Luci Название: Logic Synthesis for Asynchronous Controllers and Interfaces ISBN: 3540431527 ISBN-13(EAN): 9783540431527 Издательство: Springer Рейтинг: Цена: 22203.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: We believe that asynchronous circuits are a wonderful object, that aban- dons some of the almost militaristic law and order that governs synchronous circuits, to improve in terms of simplicity, energy efficiency and performance.
Автор: J. Cortadella; M. Kishinevsky; A. Kondratyev; Luci Название: Logic Synthesis for Asynchronous Controllers and Interfaces ISBN: 3642627765 ISBN-13(EAN): 9783642627767 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: We believe that asynchronous circuits are a wonderful object, that aban- dons some of the almost militaristic law and order that governs synchronous circuits, to improve in terms of simplicity, energy efficiency and performance.
Автор: Yves Deville Название: Logic Program Synthesis and Transformation ISBN: 3540198644 ISBN-13(EAN): 9783540198642 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Logic program synthesis and transformation play a vital role in the automation of the software production process. This volume of conference proceedings surveys the research in progress and discusses new trends in logic program development and related areas.
Автор: Alexander Barkalov; Larysa Titarenko Название: Logic Synthesis for FSM-Based Control Units ISBN: 3642260640 ISBN-13(EAN): 9783642260643 Издательство: Springer Рейтинг: Цена: 19589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the hardware implementation of control algorithms represented by graph-schemes of algorithm. It includes new methods of logic synthesis and optimization for logic circuits of Mealy and Moore FSMs oriented on both ASIC and FPLD.
Автор: Jean-Max Noyer Название: Transformation of Collective Intelligences ISBN: 1848219105 ISBN-13(EAN): 9781848219106 Издательство: Wiley Рейтинг: Цена: 22010.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: There is a great transformation of the production of knowledge and intelligibility. The "digital fold of the world" (with the convergence of NBIC) affects the collective assemblages of thought , of research. The aims of these assemblages are also controversial issues.
Автор: Andr? In?cio Reis; Rolf Drechsler Название: Advanced Logic Synthesis ISBN: 3319672940 ISBN-13(EAN): 9783319672946 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides a single-source reference to the state-of-the-art in logic synthesis. Readers will benefit from the authors` expert perspectives on new technologies and logic synthesis, new data structures, big data and logic synthesis, and convergent logic synthesis.
Автор: Esther Guerra; Mark van den Brand Название: Theory and Practice of Model Transformation ISBN: 331961472X ISBN-13(EAN): 9783319614724 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions.
Автор: Felix Winterstein Название: Separation Logic for High-level Synthesis ISBN: 3319532219 ISBN-13(EAN): 9783319532219 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial `state of the art`.
Автор: Sasan Iman; Massoud Pedram Название: Logic Synthesis for Low Power VLSI Designs ISBN: 1461374901 ISBN-13(EAN): 9781461374909 Издательство: Springer Рейтинг: Цена: 19591.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Logic Synthesis for Low Power VLSI Designs presents a systematic and comprehensive treatment of power modeling and optimization at the logic level.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
