2607 search results - page 137 / 522 » Complete Functional Synthesis |
109
click to vote
ISMVL
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, the theory of information relationships and relationship measures is considered and its application to logic design is discussed. This theory makes operational the ...
129
Voted
HYBRID
1999
Springer
15 years 8 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
119
click to vote
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...
136
click to vote
SIGPRO
2008
15 years 2 months ago
2008
A minimum generation error (MGE) criterion had been proposed to solve the issues related to maximum likelihood (ML) based HMM training in HMM-based speech synthesis. In this paper...
183
click to vote
ASIACRYPT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We apply autocorrelation and Walsh coefficients for the investigation of correlation immune and resilient Boolean functions. We prove new lower bound for the absolute ind...