4451 search results - page 52 / 891 » Continuous model synthesis |
116
Voted
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
116
click to vote
DAC
2001
ACM
16 years 1 months ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper proposes a new framework of speech synthesis based on the Bayesian approach. The Bayesian method is a statistical technique for estimating reliable predictive distribut...
112
Voted
ACSD
2005
IEEE
15 years 6 months ago
2005
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
100
click to vote
TCAD
2008
15 years 20 days ago
2008
Physical synthesis tools are responsible for achieving timing closure. Starting with 130nm designs, multiple cycles are required to cross the chip, making latch placement critical...