Buscar
Mostrando ítems 21-30 de 2258
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 ...
JCML: A specification language for the runtime verification of Java Card programs
(Elsevier, 2010-03-19)
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 ...
Towards the automation of a defect detection protocol for functional size measurements
(2018-04-23)
There is a need to develop formal protocols to verify the accuracy of software functional size measurements and to calibrate the measurement processes. These protocols offer a mechanism for accomplishing such verification ...
Design of monitoring system for photovoltaics performance verification plant in Project Las Nubes
(Instituto Tecnológico de Costa Rica, 2015)
The present report describes the design of a monitoring system for the Photovoltaics
Performance Verification that will implemented in Project Las Nubes, developed by the
author of this thesis within the Sustainable ...
TACO: efficient SAT-based bounded verification using symmetry breaking and tight bounds
(IEEE Computer Society, 2013-03)
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specification violations using a SAT-solver. If a ...
Exploring parallel formal verification of BIG-DATA systems
(Universidad de Palermo, 2021)
Tackling Verification and Validation Techniques to Evaluate Cyber Situational Awareness Capabilities
Since cyberspace was identified as a domain of operations, defence practitioners started a race with academy, researchers, and industry and military organizations working together towards defining related lines of capability ...
Proceso de inspección del léxico extendido del lenguaje basado en mapas conceptuales
(Universidad de Belgrano - Facultad de Ingeniería y Tecnología Informática / Universidad Nacional del Oeste - Escuela de Informática, Feb-2017)
El uso de modelos escritos en lenguaje natural en la producción de requisitos está ampliamente difundido tanto en la literatura como en el ámbito profesional. Si bien estos modelos favorecen la comunicación entre los ...