Buscar
Mostrando ítems 1-10 de 3088
Reliable on-line human signature verification systems
(Ieee Computer SocLos Alamitos, 1996)
JTACO: Test Execution for Faster Bounded Verification
(Springer, 2014-07)
In bounded program verification a finite set of execution traces is exhaustively checked in order to find violations to a given specification (i.e. errors). SAT-based bounded verifiers rely on SAT-Solvers as their back-end ...
Verification of Transaction Level Models of Embedded Systems
(Universidad de Costa Rica, 2013)
Formal Verification of Distributed System Using an Executable C Model
(2016)
Formal verification means to rigorously explore the correctness of system designs expressed as mathematical models, most likely with the assistance of modern computers. Original approaches were to model and express a ...
A New Approach for Fingerprint Verification Based on Wide Baseline Matching Using Local Interest Points and Descriptors
(Springer-Verlag, 2007)
In this article is proposed a new approach to automatic fingerprint
verification that is not based on the standard ridge-minutiae-based framework,
but in a general-purpose wide baseline matching methodology. Instead of ...
A compact functional verification flow for a RISC-V 321 based core
(IEEE, 2020)
The structure of a functional verification flow used for the design of a RISC-V core is presented. The paper offers a guide on the test-planning used and details of the flow architecture, showing how to integrate the ...
Bayesian Estimation for Performance Measures of Two Diagnostic Tests in the Presence of Verification Bias
(TAYLOR & FRANCIS INCNEW YORK, 2010)
Sensitivity and specificity are measures that allow us to evaluate the performance of a diagnostic test. In practice, it is common to have situations where a proportion of selected individuals cannot have the real state ...
Incremental testing of finite state machines
(Wiley-blackwellHobokenEUA, 2013)
Practical JFSL verification using TACO
(Wiley, 2013-11)
Translation of Annotated COde (TACO) is a SAT-based tool for bounded verification of Java programs. One challenge many formal tools share is to provide a practical interface for a non-proficient user. In this article, we ...