Sciweavers

2610 search results - page 327 / 522
» codes 2007
Sort
View
TASE
2007
IEEE
15 years 11 months ago
Design of a Certifying Compiler Supporting Proof of Program Safety
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Chen...
VTC
2007
IEEE
152views Communications» more  VTC 2007»
15 years 11 months ago
Iterative (TURBO) IQ Imbalance Estimation and Correction in BICM-ID for Flat Fading Channels
—TURBO principle has been exploited gainfully to implement many receiver functions. RF front-end impairments are a serious issue in high spectral efficient applications. IQ imba...
Raghunath Cherukuri, Poras T. Balsara
VTC
2007
IEEE
162views Communications» more  VTC 2007»
15 years 11 months ago
Improving Vertical Handover Performance with PHY-Mode Recommendations Based on Localized Link State Measurements
— Cooperation amongst heterogeneous mobile radio systems will be an indispensable feature of ‘beyond 3G’. One key mechanism thereby serving as enabling technique for system i...
Daniel Bültmann, Matthias Siebert, Jijun Luo
VTS
2007
IEEE
105views Hardware» more  VTS 2007»
15 years 11 months ago
Effects of Embedded Decompression and Compaction Architectures on Side-Channel Attack Resistance
Attack resistance has been a critical concern for security-related applications. Various side-channel attacks can be launched to retrieve security information such as encryption k...
Chunsheng Liu, Yu Huang
118
Voted
WISE
2007
Springer
15 years 11 months ago
Learning Management System Based on SCORM, Agents and Mining
Based on SCORM sequencing and navigation specifications, a learning management system has been developed. The system has intelligent tutoring system capabilities that allow content...
Carlos Cobos, Miguel Niño, Martha Mendoza, ...