894 search results - page 131 / 179 » Optimizations for LTL Synthesis |
120
Voted
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract: An original technique to transform functional representation of the design into a structural representation in form of a data flow graph (DFG) is described. A canonical,...
98
Voted
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
This study investigates automatic regular expression generation using Grammatical Evolution. The software implementation is based on a subset of POSIX regular expression rules. Fo...
116
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We propose a new model for image denoising which is a hybrid of the total variation model and the Laplacian mean-curvature model. An efficient numerical procedure to compute the h...
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper focuses on the suboptimal regulation of multivariable discrete-time bilinear systems consisting of interconnected bilinear subsystems with respect to a linear quadra...
112
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
In high-level synthesis, accurate lower-bound estimation is helpful to explore the search space efficiently and to evaluate the quality of heuristic algorithms. For the lower-bound...