2607 search results - page 33 / 522 » Complete Functional Synthesis |
120
Voted
IRI
2007
IEEE
15 years 8 months ago
2007
IEEE
Domain-specific modeling has become a popular way of designing and developing systems. It generally involves a systematic use of a set of object-oriented models to represent vari...
107
click to vote
ENTCS
2006
15 years 2 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
96
Voted
EUSFLAT
2007
15 years 4 months ago
2007
Lattice-valued entropy functions defined by a lattice-valued possibilistic distribution π on a space Ω are defined as the expected value (in the sense of Sugeno integral) of ...
118
Voted
TSD
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents a new unit selection process for Very Low Bit Rate speech encoding around 500 bits/sec. The encoding is based on speech recognition and speech synthesis technol...
117
click to vote
ITC
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper presents a logic synthesis tool called BETSY (BIST Environment Testable Synthesis) for synthesizing circuits that achieve complete (100%)fault coverage in a user specif...