Sciweavers

2621 search results - page 105 / 525
» Near orders and codes
Sort
View
118
Voted
ZUM
2000
Springer
101views Formal Methods» more  ZUM 2000»
15 years 8 months ago
Analysis of Compiled Code: A Prototype Formal Model
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
R. D. Arthan
126
Voted
CORR
2010
Springer
94views Education» more  CORR 2010»
15 years 4 months ago
Unidirectional Error Correcting Codes for Memory Systems: A Comparative Study
In order to achieve fault tolerance, highly reliable system often require the ability to detect errors as soon as they occur and prevent the speared of erroneous information throu...
Muzhir Al-Ani, Qeethara Al-Shayea
151
Voted
PERCOM
2006
ACM
15 years 4 months ago
Operating System Support for Dynamic Code Loading in Sensor Networks
Sensor network operating systems have to operate with limited hardware resources. Constraints on power consumption greatly reduce the resources available to such an operating syst...
Stefan Beyer, Robert Taylor, Ken Mayes
133
Voted
ICIP
2009
IEEE
15 years 2 months ago
Depth map distortion analysis for view rendering and depth coding
Video representations that support view synthesis based on depth maps, such as multiview plus depth (MVD), have been recently proposed, raising interest in efficient tools for dep...
Woo-Shik Kim, Antonio Ortega, PoLin Lai, Dong Tian...
ICMCS
2009
IEEE
89views Multimedia» more  ICMCS 2009»
15 years 2 months ago
Video coding based on audio-visual attention
This paper proposes an efficient video coding method based on audio-visual attention, which is motivated by the fact that cross-modal interaction significantly affects humans'...
Jong-Seok Lee, Francesca De Simone, Touradj Ebrahi...