搜索结果: 1-3 共查到“计算机科学技术基础学科 error detection”相关记录3条 . 查询时间(0.265 秒)
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...
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...