6014 search results - page 438 / 1203 » Structural Testing with Use Cases |
190
click to vote
JSA
2008
15 years 5 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
179
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
An important class of image data sets depict an object undergoing deformation. When there are only a few underlying causes of the deformation, these images have a natural lowdimen...
166
click to vote
DCC
2004
IEEE
16 years 6 months ago
2004
IEEE
The recently proposed turbo-binning scheme is shown to be both efficient and optimal for uniform source Slepian-Wolf coding problem [1]. This paper studies the case when sources a...
139
Voted
ICASSP
2008
IEEE
16 years 24 days ago
2008
IEEE
Semidefinite relaxation (SDR) is a high-performance efficient approach to MIMO detection especially for the BPSK or QPSK constellations. Recently, a number of research endeavors...
160
click to vote
ICC
2007
IEEE
16 years 20 days ago
2007
IEEE
— An exact and closed-form expression for the average bit error rate (BER) of coherent binary phase-shift keying (BPSK) using maximal ratio combining (MRC) in the presence of mul...