Sciweavers

663 search results - page 49 / 133
» Synthesis of Self-Testable Controllers
Sort
View
235
Voted
POPL
2007
ACM
16 years 2 months ago
Geometry of synthesis: a structured approach to VLSI design
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
Dan R. Ghica
ICASSP
2008
IEEE
15 years 9 months ago
Representation of solo clarinet music by physical modeling synthesis
A physical modeling synthesizer is developed and used to parametrically represent digital audio recordings of clarinet soloists. Empirical data, in the form of acoustic impedance ...
Mark Sterling, Xiaoxiao Dong, Mark Bocko
114
Voted
EVOW
2010
Springer
15 years 7 months ago
Evolutionary Sound Synthesis: Rendering Spectrograms from Cellular Automata Histograms
In this paper we report on the synthesis of sounds using cellular automata, specifically the multitype voter model. The mapping process adopted is based on digital signal processin...
Jaime Serquera, Eduardo R. Miranda
DATE
2002
IEEE
73views Hardware» more  DATE 2002»
15 years 7 months ago
A Burst-Mode Oriented Back-End for the Balsa Synthesis System
This paper introduces several new component clustering techniques for the optimization of asynchronous systems. In particular, novel “Burst-Mode aware” restrictions are impose...
Tiberiu Chelcea, Steven M. Nowick, Andrew Bardsley...
122
Voted
AC
2003
Springer
15 years 7 months ago
Synthesis of Asynchronous Hardware from Petri Nets
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
Josep Carmona, Jordi Cortadella, Victor Khomenko, ...