1329 search results - page 29 / 266 » Constraint-based model synthesis |
CODES
2003
IEEE
15 years 7 months ago
2003
IEEE
Recently, the transaction-level modeling has been widely referred to in system-level design community. However, the transaction-level models(TLMs) are not well defined and the us...
128
click to vote
TABLEAUX
2009
Springer
15 years 8 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...
127
click to vote
DAC
2001
ACM
16 years 2 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'...
107
click to vote
ICASSP
2009
IEEE
15 years 8 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...
120
click to vote
ACSD
2005
IEEE
15 years 7 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...