搜索结果: 1-5 共查到“error detection”相关记录5条 . 查询时间(0.087 秒)
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 ...
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 ...
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...
First Demonstration of 10-Gbit/s Operation of an All-Optical Error Detection Circuit
All-Optical Error Detection Circuit
2008/8/4
We demonstrate the operation of an all-optical error detection circuit consisting of all-optical XOR gates using SOA-MZI’s. We could successively observe error signals in the syndrome.