1271 search results - page 134 / 255 » On Simulation-Checking with Sequential Systems |
DCC
2010
IEEE
14 years 5 months ago
2010
IEEE
This paper focuses on optimal analog mappings for zero-delay, distributed source-channel coding. The objective is to obtain the optimal vector transformations that map between m-d...
PDP
2009
IEEE
14 years 5 months ago
2009
IEEE
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...
ICASSP
2009
IEEE
14 years 5 months ago
2009
IEEE
This paper addresses the problem of using unstructured queries to search a structured database in voice search applications. By incorporating structural information in music metad...
ICASSP
2009
IEEE
14 years 5 months ago
2009
IEEE
Approaches to binaural and stereo speech segregation have often assumed that localization information can be used as a primary cue to achieve segregation of a target signal. Resul...
ICC
2009
IEEE
14 years 5 months ago
2009
IEEE
—This paper presents the field-programmable gate array (FPGA) implementation of a variant of the LenstraLenstra-Lov´asz (LLL) lattice reduction (LR) algorithm, known as the Cla...