Sciweavers

5355 search results - page 515 / 1071
» Modules
Sort
View
ICSE
2009
IEEE-ACM
15 years 11 months ago
Verifying networked programs using a model checker extension
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
Watcharin Leungwattanakit, Cyrille Artho, Masami H...
CCECE
2009
IEEE
15 years 11 months ago
On the second-order cyclostationarity for joint signal detection and classification in cognitive radio systems
—Spectrum awareness is a crucial first step of a cognitive radio (CR). This provides information necessary for the CR to adapt to the radio frequency environment, and involves re...
Qiyun Zhang, Octavia A. Dobre, Sreeraman Rajan, Ro...
CEC
2009
IEEE
15 years 11 months ago
Learning area coverage for a self-sufficient colony robot
— It is advantageous for colony robots to be autonomous and self-sufficient. This requires them to perform their duties while maintaining enough energy to operate. Previously, we...
Gary B. Parker, Richard Zbeda
DATE
2009
IEEE
109views Hardware» more  DATE 2009»
15 years 11 months ago
A design methodology for fully reconfigurable Delta-Sigma data converters
This paper presents a design methodology for fully reconfigurable low-voltage Delta-Sigma converters as for instance used in next-generation wireless applications. The design metho...
Yi Ke, Jan Craninckx, Georges G. E. Gielen
GLOBECOM
2009
IEEE
15 years 11 months ago
Semi-Blind Gradient-Newton CMA and SDD Algorithm for MIMO Space-Time Equalisation
— Semi-blind space-time equalisation is considered for dispersive multiple-input multiple-output systems that employ high-throughput quadrature amplitude modulation signalling. A...
S. Chen, Lajos Hanzo, H.-T. Cheng