搜索结果: 1-4 共查到“计算机科学技术基础学科 Verification”相关记录4条 . 查询时间(0.112 秒)
We formalize the problem of program verification as a learning problem, showing that invariants in program verification can be regarded as geometric concepts in machine learning. Safety properties de-...
Verification of Producer-Consumer Synchronization in GPU Programs
Verification GPUs data races synchronization deadlock barrier recycling
2016/5/24
Previous efforts to formally verify code written for GPUs have focused solely on kernels written within the traditional data-parallel GPU programming model. No previous work has considered the higher ...
An Interactive Approach to Mobile App Verification
abductive inference specifications from tests
2016/5/24
Static explicit information flow analysis can help human auditors find malware. We propose a process for eliminating false positive flows due to imprecision in the reachability analysis: the developer...
Offline Signature Verification Using Graph Matching
Offline Signature Verification Graph Matching Thinning Normalization
2009/7/28
In this paper, we present a simple and effective signature verification method that depends only on the raw binary pixel intensities and avoids using complex sets of features. The method looks at the ...