Sciweavers

894 search results - page 27 / 179
» Optimizations for LTL Synthesis
Sort
View
110
Voted
DAC
2006
ACM
15 years 12 months ago
Optimization of area under a delay constraint in digital filter synthesis using SAT-based integer linear programming
In this paper, we propose an exact algorithm for the problem of area optimization under a delay constraint in the synthesis of multiplierless FIR filters. To the best of our knowl...
Eduardo A. C. da Costa, José Monteiro, Leve...
VLSID
2002
IEEE
116views VLSI» more  VLSID 2002»
15 years 11 months ago
Prioritized Prime Implicant Patterns Puzzle for Novel Logic Synthesis and Optimization
Compare CMOS Logic with Pass-Transistor Logic, a question was raised in our mind: "Does any rule exist that contains all good?" This paper reveals novel logic synthesis ...
Kuo-Hsing Cheng, Shun-Wen Cheng
78
Voted
DATE
2009
IEEE
122views Hardware» more  DATE 2009»
15 years 5 months ago
Model-based synthesis and optimization of static multi-rate image processing algorithms
Abstract—High computational effort in modern image processing applications like medical imaging or high-resolution video processing often demands for massively parallel special p...
Joachim Keinert, Hritam Dutta, Frank Hannig, Chris...
102
Voted
SIAMCO
2011
14 years 5 months ago
Optimal Robust Stabilization and Dissipativity Synthesis by Behavioral Interconnection
Given a nominal plant, together with a fixed neighborhood of this plant, the problem of robust stabilization is to find a controller that stabilizes all plants in that neighborh...
Harry L. Trentelman, Shaik Fiaz, Kiyotsugu Takaba
ISCAS
2007
IEEE
108views Hardware» more  ISCAS 2007»
15 years 5 months ago
Optimal Synthesis of MITE Translinear Loops
— A procedure for synthesizing multiple-input translinear element (MITE) networks that implement a given system of translinear–loop equations (STLE) is presented. The minimum n...
Shyam Subramanian, David V. Anderson, Paul E. Hasl...