搜索结果: 1-14 共查到“error detection”相关记录14条 . 查询时间(0.111 秒)
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 ...
Low-Cost Concurrent Error Detection for GCM and CCM
concurrent error detection fault attack reliability, GCM
2016/1/6
In many applications, encryption alone does not provide enough security.
To enhance security, dedicated authenticated encryption (AE) mode are invented.
Galios Counter Mode (GCM) and Counter with CB...
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...
GROSS ERROR DETECTION OF CONTROL POINTS WITH DIRECT ANALYTICAL METHOD
Photogrammetry Adjustment Orientation
2015/6/2
The paper demonstrates a new adjustment method together with a very effective gross-error detection in the space resection and in
the on-line aerial triangulation.
Error Detection and Recovery in Spoken Dialogue Systems.
Recomputing with Permuted Operands: A Concurrent Error Detection Approach
Concurrent error detection Differential fault analysis Fault attack
2014/3/7
Naturally occurring and maliciously injected faults reduce the reliability of cryptographic hardware and may leak confidential information. We develop a concurrent error detection (CED) technique call...
Invariance-Based Concurrent Error Detection for Advanced Encryption Standard
Concurrent error detection Differential fault analysis
2014/3/7
Naturally occurring and maliciously injected faults reduce the reliability of Advanced Encryption Standard (AES) and may leak confidential information. We developed an invariance-based concurrent erro...
The Effect of Error Correction vs. Error Detection on Iranian Pre-Intermediate EFL Learners' Writing Achievement
Product writing Process writing Error correction Error detection Coded feedback Not coded feedback
2011/6/23
This study tries to answer some ever-existent questions in writing fields regarding approaching the most effective
ways to give feedback to students' errors in writing by comparing the effect of erro...
An Improved Timing Attack with Error Detection on RSA-CRT
Timing attack RSA T-test Montgomery reduction
2010/2/20
Several types of timing attacks have been published, but they are either in theory or hard to be taken into practice. In order to improve the feasibility of attack, this paper proposes an advance timi...
A Continuous Fault Countermeasure for AES Providing a Constant Error Detection Rate
Fault attacks countermeasure AES EAN+B codes
2009/6/12
Many implementations of cryptographic algorithms have shown to be
susceptible to fault attacks. For some of them, countermeasures against specific
fault models have been proposed. However, for symme...
First Demonstration of 10-Gbit/s Operation of an All-Optical Error Detection Circuit
All-Optical Error Detection Circuit
2015/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.
ERROR DETECTION CAPABILITY OF SHORTENED HAMMING CODES AND THEIR DUAL CODES
Error detection undetected er
2007/12/11
The undetected error probability and error detection capability of shortened Hamming codes and their dual codes are studied in this paper. We also obtain some interesting properties for the shortened ...