916 search results - page 29 / 184 » Using redundancies to find errors |
TIP
2002
13 years 10 months ago
2002
Compressed video sequences are very vulnerable to channel disturbances when they are transmitted through an unreliable medium such as a wireless channel. Transmission errors not on...
ACSD
2004
IEEE
14 years 2 months ago
2004
IEEE
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...
CDES
2006
14 years 10 days ago
2006
- Error detection plays an important role in fault-tolerant computer systems. Two primary parameters concerned for error detection are the latency and coverage. In this paper, a ne...
ISCAS
2008
IEEE
14 years 5 months ago
2008
IEEE
—The Multiview Video Coding (MVC) standard is currently under development by the Joint Video Team as an extension of the Advanced Video Coding (H.264/AVC) standard. An MVC encode...
DATE
2005
IEEE
14 years 4 months ago
2005
IEEE
We discuss the problem of Concurrent Error Detection (CED) in a popular class of asynchronous controllers, namely Burst-Mode machines. We first outline the particularities of the...