Sciweavers

3107 search results - page 161 / 622
» Error-Correcting Source Code
Sort
View
EMSOFT
2011
Springer
14 years 2 months ago
Software certification: coding, code, and coders
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
Klaus Havelund, Gerard J. Holzmann
131
Voted
VTC
2010
IEEE
145views Communications» more  VTC 2010»
15 years 28 days ago
Distributed Convolutional-Coded Differential Space-Time Block Coding
— A low complexity distributed coding scheme is proposed for communications over Rayleigh fading channels. Convolutional Coding (CC) assisted Differential Phase-Shift Keying (DPS...
Soon Xin Ng, Yang Wang, Lajos Hanzo
129
Voted
VTC
2010
IEEE
175views Communications» more  VTC 2010»
15 years 28 days ago
Adaptive Turbo Trellis Coded Modulation Aided Distributed Space-Time Trellis Coding for Cooperative Communications
— In this contribution, we propose an adaptive Turbo Trellis Coded Modulation (TTCM) aided Distributed Space-Time Trellis Coding (STTC) scheme for cooperative communication over ...
Soon Xin Ng, Chuyi Qian, Dandan Liang, Lajos Hanzo
131
Voted
EUROPAR
2010
Springer
15 years 2 months ago
Source-to-Source Optimization of CUDA C for GPU Accelerated Cardiac Cell Modeling
Large and complex systems of ordinary differential equations (ODEs) arise in diverse areas of science and engineering, and pose special challenges on a streaming processor owing to...
Fred V. Lionetti, Andrew D. McCulloch, Scott B. Ba...
106
Voted
DCC
2009
IEEE
16 years 3 months ago
On Transform Coding with Dithered Quantizers
This paper is concerned with optimal transform coding in conjunction with dithered quantization. While the optimal deterministic quantizer's error is uncorrelated with the re...
Emrah Akyol, Kenneth Rose