Sciweavers

550 search results - page 40 / 110
» Complementarity of Error Detection Techniques
Sort
View
APLAS
2004
ACM
14 years 1 months ago
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
Tobias Lindahl, Konstantinos F. Sagonas
TWC
2008
105views more  TWC 2008»
13 years 7 months ago
On Multi-User EXIT Chart Analysis Aided Turbo-Detected MBER Beamformer Designs
This paper studies the mutual information transfer characteristics of a novel iterative soft interference cancellation (SIC) aided beamforming receiver communicating over both addi...
Shuang Tan, Sheng Chen, Lajos Hanzo
ICMCS
2006
IEEE
148views Multimedia» more  ICMCS 2006»
14 years 1 months ago
Controlled Complexity Map Decoding of CABAC Encoded Data
In this paper, we present a joint source-channel decoding technique based on exact MAP estimation for data encoded by CABAC (Context-based Adaptive Binary Arithmetic Coding) in st...
Salma Ben Jamaa, Michel Kieffer, Pierre Duhamel
CICLING
2003
Springer
14 years 27 days ago
Positive Grammar Checking: A Finite State Approach
Abstract. This paper reports on the development of a finite state system for finding grammar errors without actually specifying the error. A corpus of Swedish text written by chi...
Sylvana Sofkova Hashemi, Robin Cooper, Robert Ande...
DSN
2002
IEEE
14 years 19 days ago
Detecting Processor Hardware Faults by Means of Automatically Generated Virtual Duplex Systems
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...
Markus Jochim