搜索结果: 1-3 共查到“计算机软件 Error”相关记录3条 . 查询时间(0.286 秒)
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 ...
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...