Buscar
Mostrando ítems 1-10 de 2258
Specification and Runtime Verification of Java Card Programs
(Elsevier, 2009)
Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical, highly distributed, mobile ...
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 ...
Behavior Alignment and Control Flow Verification of Process and Service Choreographies
(Graz University of Technology, 2012-01)
The representation of process and service choreographies has been recognized as an important requirement in service-oriented methodologies. The guarantee of alignment between process and service choreographies and the ...
Data stream classification guided by clustering on nonstationary environments and extreme verification latency
(SIAM Activity Group on Data Mining and AnalyticsAmerican Statistical Association - ASAVancouver, 2015-04)
Data stream classification algorithms for nonstationary environments frequently assume the availability of class labels, instantly or with some lag after the classification. However, certain applications, mainly those ...
Scenario inspections
(2005)
Dynamite: A tool for the verification of alloy models based on PVS
(Association for Computing Machinery, 2014-03)
Automatic analysis of Alloy models is supported by the Alloy Analyzer, a tool that translates an Alloy model to a propositional formula that is then analyzed using off-the-shelf SAT-solvers. The translation requires ...
Functional verification framework of an AES encryption module
(Pontificia Universidad Católica del PerúPE, 2018)
Functional verification framework of an AES encryption module
(Pontificia Universidad Católica del PerúPE, 2018)