Sciweavers

62 search results - page 10 / 13
» Gate-level synthesis for low-power using new transformations
Sort
View
AAIP
2009
14 years 10 months ago
Porting IgorII from Maude to Haskell
This paper describes our efforts and solutions in porting our IP system IGOR 2 from the termrewriting language MAUDE to HASKELL. We describe how, for our purpose necessary feature...
Martin Hofmann 0008, Emanuel Kitzelmann, Ute Schmi...
ICASSP
2010
IEEE
14 years 9 months ago
Joint estimate of shape and time-synchronization of a glottal source model by phase flatness
A new method is proposed to jointly estimate the shape parameter of a glottal model and its time position in a voiced segment. We show that, the idea of phase flatness (or phase ...
Gilles Degottex, Axel Röbel, Xavier Rodet
ICIP
1997
IEEE
15 years 11 months ago
Biorthogonal Quincunx Coifman Wavelets
We de ne and construct a new family of compactly supported, nonseparable two-dimensional wavelets, biorthogonal quincunx Coifman wavelets" BQCWs, from their one-dimensional c...
Dong Wei, Brian L. Evans, Alan C. Bovik
IPPS
2002
IEEE
15 years 2 months ago
Efficient Pipelining of Nested Loops: Unroll-and-Squash
The size and complexity of current custom VLSI have forced the use of high-level programming languages to describe hardware, and compiler and synthesis technology bstract designs ...
Darin Petkov, Randolph E. Harr, Saman P. Amarasing...
SIGSOFT
2003
ACM
15 years 2 months ago
Refinements and multi-dimensional separation of concerns
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
Don S. Batory, Jia Liu, Jacob Neal Sarvela