Logic Based Program Synthesis and Transformation, Alberto Pettorossi

Автор: Alexander Barkalov; Larysa Titarenko
Название: Logic Synthesis for FSM-Based Control Units
ISBN: 3642043089 ISBN-13(EAN): 9783642043086
Издательство: Springer
Рейтинг:
Цена: 156720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Esther Guerra; Mark van den Brand
Название: Theory and Practice of Model Transformation
ISBN: 331961472X ISBN-13(EAN): 9783319614724
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Sasan Iman; Massoud Pedram
Название: Logic Synthesis for Low Power VLSI Designs
ISBN: 1461374901 ISBN-13(EAN): 9781461374909
Издательство: Springer
Рейтинг:
Цена: 130610.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Logic Synthesis for Low Power VLSI Designs presents a systematic and comprehensive treatment of power modeling and optimization at the logic level.

Автор: Yves Deville
Название: Logic Program Synthesis and Transformation
ISBN: 3540198644 ISBN-13(EAN): 9783540198642
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 130590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 146730.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Saleem Mohammed Ridha Taha
Название: Reversible Logic Synthesis Methodologies with Application to Quantum Computing
ISBN: 3319234781 ISBN-13(EAN): 9783319234786
Издательство: Springer
Рейтинг:
Цена: 113190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 130590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Felix Winterstein
Название: Separation Logic for High-level Synthesis
ISBN: 3319532219 ISBN-13(EAN): 9783319532219
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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`.

Автор: Anas N. Al-Rabadi
Название: Reversible Logic Synthesis
ISBN: 3642623255 ISBN-13(EAN): 9783642623257
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: For the first time in book form, this comprehensive and systematic monograph presents methods for the reversible synthesis of logic functions and circuits. It is illustrated with a wealth of examples and figures that describe in detail the systematic methodologies of synthesis using reversible logic.

Автор: Amaru
Название: New Data Structures and Algorithms for Logic Synthesis and Verification
ISBN: 3319431730 ISBN-13(EAN): 9783319431734
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.