搜索结果: 1-12 共查到“计算机科学技术 verification”相关记录12条 . 查询时间(0.031 秒)
2017 IEEE国际自动化软件系统验证与确认研讨会（IEEE International Workshop on Verification and Validation of Adaptive Software Systems）
2017 IEEE 国际自动化软件系统 验证 确认 研讨会
2017/6/23
The complexity of software and software-enabled systems and the need to reduce and master this complexity has led the software quality community to look for inspiration in diverse fields such as robot...
2017IEEE国际自动化软件系统验证与确认研讨会（IEEE International Workshop on Verification and Validation of Adaptive Software Systems）
2017年 自动化软件系统验证与确认 研讨会
2017/6/21
The complexity of software and software-enabled systems and the need to reduce and master this complexity has led the software quality community to look for inspiration in diverse fields such as robot...
IEEE2017国际大数据应用质量保证和验证研讨会（IEEE International Workshop on Quality assurance and verification for big data applications）
国际大数据应用质量保证和验证 研讨会
2017/3/27
A smart city integrates information and communication technologies, as well as Internet of Things (IoT) solutions to reduce costs and resource consumption, enhance performance, and connect and engage ...
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...
The majority of speaker veri fication systems proposed in the NIST speaker recognition evaluation are conditioned on the type of data to be processed: telephone or microphone. In this paper, we propos...
Probabilistic Verification over GF(2m) Using Mod2-OBDDs
Verification Probabilistic OBDD Mod2-OBDD Galois Field GF(2m)
2013/1/28
Formal verification is fundamental in many phases of digital systems design. The most successful verification procedures employ Ordered Binary Decision Diagrams (OBDDs) as canonical representation for...
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 ...
FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram
Function Block Diagram Formal Verification Counter-example Visualization Verilog Translation Programmable Logic Controller Model Checking
2014/3/11
Model checking is often applied to verify safety-critical software implemented in programmable logic controller (PLC) language such as a function block diagram (FBD). Counter-examples generated by a m...
Empirical Evaluation and Review of a Metrics–Based Approach for Use Case Verification
Empirical Evaluation Review of a Metrics–Based Approach Case Verification
2014/3/12
In this article, an empirical evaluation and review of some metrics–based verification heuristics for use cases are presented. This evaluation is based on empirical data collected from requirements do...
Nearest Neighbourhood Classifiers in a Bimodal Biometric Verification System Fusion Decision Scheme
Biometrics face verification speaker verification k-NN classifiers
2014/3/12
Identity verification systems that use a mono modal biometrics always have to contend with sensor noise and limitations of feature extractor and matching.However combining information from different b...