2069 search results - page 90 / 414 » Synthesizing |
127
click to vote
TSD
2005
Springer
15 years 10 months ago
2005
Springer
Transferring a structure from the visual modality to the aural one presents a difficult challenge. In this work we are experimenting with prosody modeling for the synthesized speec...
141
click to vote
VLSI
2005
Springer
15 years 10 months ago
2005
Springer
Quasi delay insensitive circuits are functionally independent of delays in gates and wires (except for some particular wires). Such asynchronous circuits offer high robustness but...
127
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
—This paper focuses on SIMD processor synthesis and proposes a SIMD instruction set/functional unit synthesis algorithm. Given an initial assembly code and a timing constraint, t...
132
Voted
AIMSA
2004
Springer
15 years 10 months ago
2004
Springer
The ability to automatically compose web services, and to monitor their execution, is an essential step to substantially decrease time and costs in the development, integration, a...
153
click to vote
LPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...