Sciweavers

663 search results - page 6 / 133
» Synthesis of Self-Testable Controllers
Sort
View
RTS
2002
46views more  RTS 2002»
15 years 1 months ago
Scheduler Modeling Based on the Controller Synthesis Paradigm
Karine Altisen, Gregor Gößler, Joseph S...
DAC
2012
ACM
13 years 4 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
125
Voted
FOSSACS
2012
Springer
13 years 9 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 8 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
110
Voted
NIME
2005
Springer
159views Music» more  NIME 2005»
15 years 7 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