4166 search results - page 160 / 834 » A modular module system |
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Face verification systems reach good performance on ideal environmental conditions. Conversely, they are very sensitive to non-controlled environments. This work proposes the cla...
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—MIMO-OFDM wireless systems require adaptive modulation and coding based on channel state information (CSI) to maximize throughput in changing wireless channels. Traditional adap...
JSAC
2006
14 years 10 months ago
2006
Abstract--A conventional transmitted reference (TR) modulation scheme is an effective means to combat severe multipath distortion in an ultra-wideband (UWB) system, significantly r...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
We present a method for determining the one-dimensional submodules of a Laurent-Ore module. The method is based on a correspondence between hyperexponential solutions of associate...