Sciweavers

1652 search results - page 180 / 331
» Matching Vector Codes
Sort
View
ICSE
2004
IEEE-ACM
15 years 12 months ago
Generating Tests from Counterexamples
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger,...
ICASSP
2008
IEEE
15 years 6 months ago
Modulation forensics for wireless digital communications
Modulation forensics is to detect the modulation type in wireless communications without any prior information. It nds both military and civilian applications such as surveillance...
W. Sabrina Lin, K. J. Ray Liu
DAGM
2004
Springer
15 years 5 months ago
CVPIC Colour/Shape Histograms for Compressed Domain Image Retrieval
Compressed domain image retrieval allows image indexing to be performed directly on the compressed data without the need of decoding. This approach hence provides a significant ga...
Gerald Schaefer
EUROPAR
2001
Springer
15 years 4 months ago
Parallel Implementation of a Block Algorithm for Matrix 1-Norm Estimation
Abstract. We describe a parallel Fortran 77 implementation, in ScaLAPACK style, of a block matrix 1-norm estimator of Higham and Tisseur. This estimator differs from that underlyi...
Sheung Hun Cheng, Nicholas J. Higham
ISCAS
1999
IEEE
114views Hardware» more  ISCAS 1999»
15 years 4 months ago
Multicarrier QAM modulator
A multicarrier QAM modulator for the wideband code division multiple access (WCDMA) basestation has been designed. The multicarrier modulator performs pulse shaping filtering for ...
Jouko Vankka, Marko Kosunen, Kari Halonen