426 search results - page 33 / 86 » SAT-Based Techniques in System Synthesis |
ICRA
1999
IEEE
14 years 21 days ago
1999
IEEE
The modeling and control flexible-manufacturing workcells (FMCs) has generally been performed in a hierarchical structure, where at the highest level they have been modeled as dis...
INTERSPEECH
2010
13 years 3 months ago
2010
Decision tree-based context clustering is the essential but timeconsuming part of building HMM-based speech synthesis systems. The widely used implementation of this technique is ...
SCOPES
2005
Springer
14 years 1 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
ICCAD
2006
IEEE
14 years 5 months ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...