Sciweavers

1379 search results - page 25 / 276
» codes 2009
Sort
View
ICUMT
2009
14 years 7 months ago
Robust MBSFN transmission using the Golden code
Abstract--Multimedia broadcast over a single frequency network (MBSFN) has attracted a lot of interest recently. This paper is on Golden coded spatial multiplexing MBSFN transmissi...
Markus Konrad, Wolfgang H. Gerstacker, Wolfgang Ko...
LFCS
2009
Springer
15 years 4 months ago
The Logic of Proofs as a Foundation for Certifying Mobile Computation
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
Eduardo Bonelli, Federico Feller
78
Voted
ICICS
2009
Springer
15 years 4 months ago
Design of Reliable and Secure Multipliers by Multilinear Arithmetic Codes
Abstract. We propose an efficient technique for the detection of errors in cryptographic circuits introduced by strong adversaries. Previously a number of linear and nonlinear err...
Zhen Wang, Mark G. Karpovsky, Berk Sunar, Ajay Jos...
DCOSS
2009
Springer
15 years 4 months ago
Online Coding for Reliable Data Transfer in Lossy Wireless Sensor Networks
Bulk transport underlies data exfiltration and code update facilities in WSNs, but existing approaches are not designed for highly lossy and variable-quality links. We observe tha...
Anthony D. Wood, John A. Stankovic
ICSM
2009
IEEE
15 years 4 months ago
Measuring the progress of projects using the time dependence of code changes
Tracking the progress of a project is often done through imprecise manually gathered information, like progress reports, or through automatic metrics such as Lines Of Code (LOC). ...
Omar Alam, Bram Adams, Ahmed E. Hassan