894 search results - page 45 / 179 » Optimizations for LTL Synthesis |
CCE
2010
14 years 8 months ago
2010
Sustainability has recently emerged as a key issue in process systems engineering (PSE). Mathematical programming techniques offer a general modeling framework for including enviro...
DATE
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper introduces several new component clustering techniques for the optimization of asynchronous systems. In particular, novel “Burst-Mode aware” restrictions are impose...
60
Voted
CORR
2002
Springer
14 years 11 months ago
2002
Springer
-- This paper introduces a novel method for synthesizing digital circuits derived from Binary Decision Diagrams (BDDs) that can yield to reduction in power dissipation. The power r...
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Model Driven Development (MDD) is an emerging paradigm for software construction that uses models to specify programs, and model transformations to synthesize executables. Feature...
ICIP
1999
IEEE
16 years 18 days ago
1999
IEEE
The performance of subband image coders depends on the proper choice of filter banks. It is therefore desirable to find algorithms for optimizing the filter banks. A theory for fi...