Sciweavers

4764 search results - page 559 / 953
» Applications of Error-Control Coding
Sort
View
ISESE
2003
IEEE
15 years 10 months ago
An Experimental Evaluation of Inspection and Testing for Detection of Design Faults
The two most common strategies for verification and validation, inspection and testing, are in a controlled experiment evaluated in terms of their fault detection capabilities. Th...
Carina Andersson, Thomas Thelin, Per Runeson, Nina...
SP
2003
IEEE
15 years 10 months ago
Using Memory Errors to Attack a Virtual Machine
We present an experimental study showing that soft memory errors can lead to serious security vulnerabilities in Java and .NET virtual machines, or in any system that relies on ty...
Sudhakar Govindavajhala, Andrew W. Appel
CAV
2003
Springer
140views Hardware» more  CAV 2003»
15 years 9 months ago
Certifying Optimality of State Estimation Programs
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, ...
ICCSA
2003
Springer
15 years 9 months ago
Rate Control for Low Bit Rate Video via Enhanced Frame Skipping
A scene-adaptive rate control algorithm with an enhanced frame skipping is proposed for low bit rate video coding. Most existing rate control algorithms for low bit rate video focu...
Jae-Young Pyun, Yoon Kim, Sung-Jea Ko
3DPVT
2002
IEEE
169views Visualization» more  3DPVT 2002»
15 years 9 months ago
Compression of Isosurfaces for Structured Volumes with Context Modelling
In many applications surfaces with a large number of primitives occur. Geometry compression reduces storage space and transmission time for such models. A special case is given by...
Dietmar Saupe, Jens-Peer Kuska