Logic Minimization Algorithms for VLSI Synthesis, Robert K. Brayton; Gary D. Hachtel; C. McMullen; A

Автор: N.Z. Shor; K.C. Kiwiel; A. Ruszczynski
Название: Minimization Methods for Non-Differentiable Functions
ISBN: 3642821200 ISBN-13(EAN): 9783642821202
Издательство: Springer
Рейтинг:
Цена: 16070.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Methods for minimizing functions with discontinuous gradients are gaining in importance and the ~xperts in the computational methods of mathematical programming tend to agree that progress in the development of algorithms for minimizing nonsmooth functions is the key to the con- struction of efficient techniques for solving large scale problems.

Автор: George Constantinides; Peter Y.K. Cheung; Wayne Lu
Название: Synthesis and Optimization of DSP Algorithms
ISBN: 1475779844 ISBN-13(EAN): 9781475779844
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Synthesis and Optimization of DSP Algorithms describes approaches taken to synthesising structural hardware descriptions of digital circuits from high-level descriptions of Digital Signal Processing (DSP) algorithms.

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

Автор: Jean-Baptiste Hiriart-Urruty; Claude Lemarechal
Название: Convex Analysis and Minimization Algorithms I
ISBN: 3642081614 ISBN-13(EAN): 9783642081613
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers the fundamentals of convex analysis, a refinement of standard calculus with equalities and approximations replaced by inequalities. Reviews minimization algorithms, which provide immediate application to optimization and operations research.

Автор: Gary D. Hachtel; Fabio Somenzi
Название: Logic Synthesis and Verification Algorithms
ISBN: 1475770367 ISBN-13(EAN): 9781475770360
Издательство: Springer
Рейтинг:
Цена: 10448.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits).

Автор: Luciano Lavagno; Alberto L. Sangiovanni-Vincentell
Название: Algorithms for Synthesis and Testing of Asynchronous Circuits
ISBN: 1461364108 ISBN-13(EAN): 9781461364108
Издательство: Springer
Рейтинг:
Цена: 30745.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book is intended for asynchronous hardware designers, for computer-aided tool experts, and for digital designers interested in ex- ploring the possibility of designing asynchronous circuits.

Автор: Jean-Baptiste Hiriart-Urruty; Claude Lemarechal
Название: Convex Analysis and Minimization Algorithms II
ISBN: 3642081622 ISBN-13(EAN): 9783642081620
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: From the reviews: "The account is quite detailed and is written in a manner that will appeal to analysts and numerical practitioners alike...they contain everything from rigorous proofs to tables of numerical calculations....

Автор: Dwight Hill; Don Shugard; John Fishburn; Kurt Keut
Название: Algorithms and Techniques for VLSI Layout Synthesis
ISBN: 1461289629 ISBN-13(EAN): 9781461289623
Издательство: Springer
Рейтинг:
Цена: 21383.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book describes a system of VLSI layout tools called IDA which stands for "Integrated Design Aides. So, in 1979 they invited Carver Mead to present his views on MOS chip design, complete with the now famous "lambda" design rules and "tall, thin designers.

Автор: Andrea Braides
Название: Local Minimization, Variational Evolution and ?-Convergence
ISBN: 3319019813 ISBN-13(EAN): 9783319019819
Издательство: Springer
Рейтинг:
Цена: 5309.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Introduction.- Global minimization.- Parameterized motion driven by global minimization.- Local minimization as a selection criterion.- Convergence of local minimizers.- Small-scale stability.- Minimizing movements.- Minimizing movements along a sequence of functionals.- Geometric minimizing movements.- Different time scales.- Stability theorems.- Index.