426 search results - page 12 / 86 » SAT-Based Techniques in System Synthesis |
EUROMICRO
1999
IEEE
13 years 11 months ago
1999
IEEE
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...
ACL
2007
13 years 8 months ago
2007
This paper describes the latest version of speech-to-speech translation systems developed by the team of NICT-ATR for over twenty years. The system is now ready to be deployed for...
NIME
2004
Springer
14 years 2 days ago
2004
Springer
A system is introduced that allows a string player to control a synthesis engine with the gestural skills he is used to. The implemented system is based on an electric viola and a...
IFIP
1992
Springer
13 years 10 months ago
1992
Springer
In microarchitecure synthesis, early algorithms considered only a single implementation technique for IF -statements. Focus was on scheduling and on maximum hardware sharing. In t...
VLSID
2002
IEEE
14 years 7 months ago
2002
IEEE
Clock selection has a significant impact on the performance and quality of designs in high-level synthesis. In most synthesis systems, a convenient value of the clock is chosen or...