搜索结果: 1-15 共查到“计算机科学技术 Error”相关记录19条 . 查询时间(0.135 秒)
Scalable Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
2016/5/24
We describe a software error-detection tool that exploits recent advances in boolean satisfiability (SAT) solvers. Our analysis is path sensitive, precise down to the bit level, and models pointers an...
Static Error Detection Using Semantic Inconsistency Inference
Static analysis error detection satisfiability inconsistency
2016/5/24
Inconsistency checking is a method for detecting software errors that relies only on examining multiple uses of a value. We propose that inconsistency inference is best understood as a variant of the ...
Automated Error Diagnosis Using Abductive Inference
Error diagnosis abductive inference static analysis
2016/5/24
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually classify the report, but ...
Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
2016/5/24
This article presents Saturn, a general framework for building precise and scalable static error detection systems. Saturn exploits recent advances in boolean satisfiability (SAT) solvers and is path ...
An Efficient Feedback Coding Scheme With Low Error Probability for Discrete Memoryless Channels
Feedback discrete memoryless channel error exponent
2015/8/12
Existing fixed-length feedback communication schemes are either specialized to particular channels (Schalkwijk–Kailath, Horstein), or apply to general channels but either have high coding complexity (...
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easily render the error ch...
Proving the Integrity of the Weighted Sum Squared Error (WSSE) Loran Cycle Confidence Algorithm
Proving Integrity Squared Error (WSSE) Loran Cycle Confidence Algorithm
2015/6/25
For Loran to provide redundancy to GPS for aviation,Loran must meet aviation integrity requirements. The integrity under nominal conditions derives from being able to bound the horizontal position err...
Simple Loran Cycle Error Detection Algorithms for Maritime Harbor Entrance Approach Operations
Loran Cycle Error Detection Algorithms Maritime Harbor Entrance
2015/6/25
Enhanced Loran (eLoran) is designed to support maritime harbor entrance approach (HEA) operations. As a result, the Radio Technical Commission for Maritime Services (RTCM) special committee 127 (SC127...
Plant error compensation and jerk control for adaptive cruise control systems
System Identification Jerk Control Jerk Limitation Plant Error Error Compensation Plant Corruption Plant Model System ID ACC Adaptive Cruise Control
2015/1/20
Some problems of complex systems are internal to the system whereas other problems exist peripherally; two such problems will be explored in this thesis. First, is the issue of excessive jerk from ins...
A Non-Asymptotic Approach to the Analysis of Communication Networks: From Error Correcting Codes to Network Properties
Belief Propagation Concatenated Codes Finite Wireless Networks Polar Codes Random Geometric Graphs Threshold Phenomena
2014/11/7
This dissertation has its focus on two different topics: 1. non-asymptotic analysis of polar codes as a new paradigm in error correcting codes with very promising features, and 2. network properties f...
AUTO-REGRESSIVE MODEL BASED ERROR CONCEALMENT SCHEME FOR STEREOSCOPIC VIDEO CODING
Stereoscopic video coding error concealment auto-regressive model tempora emporalinterview
2013/7/24
Stereoscopic video is an important manner for 3-D video applications, and robust stereoscopic video transmission has posed a technical challenge for stereoscopic video coding. In this paper, an auto-r...
Evaluating Method Engineer Performance: an error classification and preliminary empirical study
method engineering metamodelling
2009/12/8
We describe an approach to empirically test the use of metaCASE environments to model methods. Both diagrams and matrices have been proposed as a means for presenting the methods. These different para...
An auxiliary model based stochastic gradient algorithm for multivariable output error systems
Recursive identification parameter estimation stochastic gradient
2009/9/9
The identification problem of multivariable output error systems is considered in this paper. By constructing an auxiliary model using available input-output data and by replacing the unknown inner va...
An auxiliary model based stochastic gradient algorithm for multivariable output error systems
Recursive identification parameter estimation stochastic gradient
2009/9/9
The identification problem of multivariable output error systems is considered in this paper. By constructing an auxiliary model using available input-output data and by replacing the unknown inner va...
A HIGH EFFICIENT ERROR CONCEALMENT SCHEME BASED ON AUTO-REGRESSIVE MODEL FOR VIDEO CODING
Error concealment auto-regressive model forward bi-direction
2013/7/16
In this paper, a high efficient temporal error concealment scheme based on auto-regressive (AR) model is proposed for video coding. The proposed AR based error concealment scheme includes a forward AR...