7393 search results - page 1287 / 1479 » Synthesis-for-testability using transformations |
119
Voted
TASLP
2008
15 years 3 months ago
2008
Abstract--In a distributed speech recognition (DSR) framework, the speech features are quantized and compressed at the client and recognized at the server. However, recognition acc...
134
Voted
TASLP
2008
15 years 3 months ago
2008
The new model reduces the impact of local spectral and temporal variability by estimating a finite set of spectral and temporal warping factors which are applied to speech at the f...
127
Voted
TC
2008
15 years 3 months ago
2008
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
136
Voted
TCAD
2008
15 years 3 months ago
2008
This paper describes an integer-linear-programming (ILP)-based system called Custom Hardware Instruction Processor Synthesis (CHIPS) that identifies custom instructions for critica...
140
Voted
INFORMATICALT
2007
15 years 3 months ago
2007
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...