5962 search results - page 252 / 1193 » Working with Patterns and Code |
125
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
141
click to vote
PCM
2007
Springer
15 years 10 months ago
2007
Springer
The integration of scalable video representation and network coding (NC) offers an excellent solution to robust and flexible video multicast over IP networks. In this work, we exam...
122
click to vote
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— The performance of MC-CDMA in the presence of carrier frequency offsets (CFO) can be severely degraded due to multiaccess interference (MAI). It is shown in this work that a pr...
129
click to vote
CPM
2007
Springer
15 years 8 months ago
2007
Springer
Move-to-Front, Distance Coding and Inversion Frequencies are three simple and effective techniques used to process the output of the Burrows-Wheeler Transform. In this paper we pr...
147
click to vote
SUTC
2010
IEEE
15 years 8 months ago
2010
IEEE
—We present a novel information theoretic approach to make network coding based storage secure against pollution attacks in sensor networks. The approach is based on a new decodi...