426 search results - page 24 / 86 » SAT-Based Techniques in System Synthesis |
DAC
1997
ACM
14 years 17 days ago
1997
ACM
: Hardware-software co-synthesis is the process of partitioning an embedded system specification into hardware and software modules to meet performance, power and cost goals. In t...
AUSAI
2003
Springer
14 years 1 months ago
2003
Springer
We describe novel approaches to multimedia analysis and synthesis problems. We first present the experiential sampling technique which has the ability to focus on the analysis task...
RTSS
1999
IEEE
14 years 20 days ago
1999
IEEE
In this paper we present a framework integrating speci cation and scheduler generation for real-time systems. In a rst step, the system, which can include arbitrarily designed tas...
TSD
2007
Springer
14 years 2 months ago
2007
Springer
Speech synthesis techniques have already reached a high level of naturalness. However, they are often evaluated on text reading tasks. New applications will request for conversatio...
CGF
2008
13 years 8 months ago
2008
We present a method for synthesizing two dimensional (2D) element arrangements from an example. The main idea is to combine texture synthesis techniques based-on a local neighborh...