3107 search results - page 421 / 622 » Error-Correcting Source Code |
100
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Secure data compression in the presence of side information at both a legitimate receiver and an eavesdropper is explored. A noise-free, limited rate link between the source and th...
83
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
130
Voted
IANDC
2008
15 years 3 months ago
2008
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...
104
Voted
CL
2006
Springer
15 years 3 months ago
2006
Springer
Transforming programs to alter their semantics is of wide interest, for purposes as diverse as off-the-shelf component adaptation, optimization,tracegeneration,andexperimentationw...
129
Voted
ENTCS
2006
15 years 3 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...