Sciweavers

663 search results - page 6 / 133
» Synthesis of Self-Testable Controllers
Sort
View
RTS
2002
46views more  RTS 2002»
14 years 9 months ago
Scheduler Modeling Based on the Controller Synthesis Paradigm
Karine Altisen, Gregor Gößler, Joseph S...
233
Voted
DAC
2012
ACM
12 years 12 months ago
Equivalence checking for behaviorally synthesized pipelines
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
Kecheng Hao, Sandip Ray, Fei Xie
FOSSACS
2012
Springer
13 years 5 months ago
Synthesizing Probabilistic Composers
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
Sumit Nain, Moshe Y. Vardi
SIAMCO
2011
14 years 4 months ago
Optimal Robust Stabilization and Dissipativity Synthesis by Behavioral Interconnection
Given a nominal plant, together with a fixed neighborhood of this plant, the problem of robust stabilization is to find a controller that stabilizes all plants in that neighborh...
Harry L. Trentelman, Shaik Fiaz, Kiyotsugu Takaba
NIME
2005
Springer
159views Music» more  NIME 2005»
15 years 3 months ago
Voice-controlled plucked bass guitar through two synthesis techniques
In this paper we present an example of the use of the singing voice as a controller for digital music synthesis. The analysis of the voice with spectral processing techniques, der...
Jordi Janer