Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Verification"

Mostrando ítems 1-20 de 37

Página siguiente

A formal characterization of SI-based ROWA replication protocols

Armendáriz-Iñigo, J.E.; Juárez-Rodríguez, J.R.; González de Mendívil, J.R.; Garitagoitia, J.R.; Irún Briz, Luis; Muñoz Escoí, Francisco Daniel (Elsevier, 2011-01)

Snapshot isolation (SI) is commonly used in some commercial DBMSs with a multiversion concurrency control mechanism since it never blocks read-only transactions. Recent database replication protocols have been designed ...
A separated representation of an error indicator for the mesh refinement process under the proper generalized decomposition framework

Nadal, E.; Leygue, A.; Chinesta, F.; Beringhier, M.; Ródenas, J.J.; Fuenmayor Fernández, Francisco Javier (Springer Verlag (Germany), 2015-02)

[EN] Today industries do not only require fast simulation techniques but also verification techniques for the simulations. The proper generalized decomposition (PGD) has been situated as a suitable tool for fast simulation ...
Abstract Certification of Java Programs in Rewriting Logic

Alba Castro, Mauricio Fernando (Universitat Politècnica de València, 2011-11-28)

In this thesis we propose an abstraction based certification technique for Java programs which is based on rewriting logic, a very general logical and semantic framework efficiently implemented in the functional programming ...
Abstract Contract Synthesis and Verification in the Symbolic K Framework

Alpuente Frasnedo, María; Pardo Pont, Daniel; Villanueva García, Alicia (Universitat Politècnica de València, 2018-04-12)

[EN] In this article, we propose a symbolic technique that can be used for automatically inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based ...
Achieving Autonomic Web Service Compositions with Models at Runtime

Alférez Salinas, Germán Harvey (Universitat Politècnica de València, 2013-12-26)

Over the last years, Web services have become increasingly popular. It is because they allow businesses to share data and business process (BP) logic through a programmatic interface across networks. In order to reach the ...
Aplicación de técnicas avanzadas de verificación digital a la validación de una memoria de una sola programación

Barriuso Medrano, Claudio (Universitat Politècnica de València, 2020-09-04)

[ES] Conforme avanza la industria electrónica, los circuitos integrados aumentan en complejidad. Las nuevas capacidades de fabricación permiten integrar en un chip de reducidas dimensiones gran cantidad de transistores. El ...
Automatic Inference of Specifications in the K Framework

Alpuente Frasnedo, María; Pardo Pont, Daniel; Villanueva García, Alicia (Open Publishing Association, 2015)

[EN] Despite its many unquestionable benefits, formal specifications are not widely used in industrial software development. In order to reduce the time and effort required to write formal specifications, in this paper ...
Automatización de regresiones de test para sistemas de control de versiones en entornos de diseño y verificación digital

Roig Monzón, Pablo (Universitat Politècnica de València, 2022-04-07)

[ES] El presente proyecto plantea, en el ámbito del diseño digital y la verificación funcional, un sistema de automatización de regresiones. Existe un repositorio compartido donde se suben tanto los ficheros de diseño ...
Concolic Testing in CLP

Mesnard, Fred; Payet, Etienne; Vidal, Germán (Cambridge University Press, 2020-09)

[EN] Concolic testing is a popular software verification technique based on a combination of concrete and symbolic execution. Its main focus is finding bugs and generating test cases with the aim of maximizing code coverage. ...
CONTROL DE CALIDAD OPERACIONAL DE PROCESADOR DE INDICADORES AGRONÓMICOS DE ALTA RESOLUCIÓN ESTIMADOS CON DATOS DE SATÉLITES SENTINEL 2 Y LANDSAT 8.

Singh Kaur, Prithipal (Universitat Politècnica de València, 2021-10-13)

[ES] Nuestro proyecto tiene como objetivo la verificación y validación de una cadena de procesado encargada de estimar indicadores agronómicos de alta resolución espacio-temporal a partir de datos de satélites Sentinel-2 ...
Desarrollo de una metodología para la mejora de la trazabilidad del proceso de homologación de vehículos ferroviarios

Escrivá García, Matthias Daniel (Universitat Politècnica de València, 2020-07-06)

[ES] De acuerdo con el Reglamento de Ejecución (UE) 2018/545 de 4 de abril de 2018 y con arreglo a la Directiva (UE) 2016/797, los vehículos ferroviarios tienen que cumplir con las disposiciones prácticas relativas a la ...
Desarrollo de una VIP en un entorno UVM para la verificación de IPs que implementen el protocolo de comunicación PCIe

Ravelo Mederos, Álvaro (Universitat Politècnica de València, 2020-10-19)

[ES] El objetivo de este Trabajo Fin de Máster es desarrollar una Verification IP (VIP). Una VIP es una IP desarrollada utilizando lenguajes de descripción hardware (HDL) que tiene como finalidad garantizar el correcto ...
Desarrollo del plan de inocuidad de alimentos específico para la exportación a EEUU en empresa de bollería congelada

Grimalt Ferrer, Marina (Universitat Politècnica de València, 2018-09-19)

[ES] Las empresas que quieran exportar productos a EEUU deben tener un Plan de Inocuidad de Alimentos específico llevado a cabo mediante un Análisis de Peligros y Controles Preventivos Basado en Riesgo (HARPC). En este ...
Desarrollo e implementación de la arquitectura del sistema de test para un seguidor solar en producción de alto volumen

Mateu Martínez, Amparo (Universitat Politècnica de València, 2021-10-11)

[ES] El objetivo principal de este Trabajo Fin de Master TFM es el desarrollo de tres estaciones de test de forma industrial que se emplearán para la verificación, tanto a nivel PCB como de producto final, de un seguidor ...
Design of a test bench for the verification of an interface that implements the AXI protocol using the UVM methodology.

Seguí Pérez, Mireia (Universitat Politècnica de València, 2023-10-05)

[ES] El presente trabajo de fin de grado ha sido desarrollado en la empresa Maxlinear. El objetivo de este es desarrollar el diseño de una Verificacion IP (VIP) para comprobar el funcionamiento de interfaces que utilicen ...
DISEÑO DE UN BANCO DE PRUEBA CON UVM (UNIVERSAL VERIFICATION METHODOLOGY)

Herraiz Calatayud, María (Universitat Politècnica de València, 2019-10-09)

[ES] La Metodología de Verificación Universal (UVM) es una metodología estandarizada para la verificación de diseños de circuitos integrados. Se basa en una extensa biblioteca de clases escritas en SystemVerilog a partir ...
Diseño de un sistema de control mediante cámara para la comprobación y validación de componentes en las puertas de los vehículos

Segarra Bas, Vicent (Universitat Politècnica de València, 2024-10-10)

[ES] El control de calidad en la fabricación, y especialmente en la producción de vehículos, es de vital importancia para asegurar la seguridad, confiabilidad y satisfacción del cliente. En la industria automotriz, cada ...
Dynamic adaptation of service compositions with variability models

Alférez Salinas, Germán Harvey; Pelechano Ferragud, Vicente; Mazo, R.; Salinesi, C.; Díaz, D. (Elsevier, 2014-05)

Web services run in complex contexts where arising events may compromise the quality of the whole system. Thus, it is desirable to count on autonomic mechanisms to guide the self-adaptation of service compositions according ...
Estudio de verificación y mejora del sistema de limpieza de las instalaciones de una planta industrial destinada a la fabricación de productos lácteos

Puchalt Estellés, Amparo (Universitat Politècnica de València, 2024-10-01)

[ES] Este proyecto surge a raíz de unas prácticas en una empresa que dispone de una planta industrial que fabrica mas de 200 toneladas de productos lácteos al día. El origen de este trabajo radica en el cambio de uno de ...
ESTUDIO Y DESARROLLO DE UNA SOLUCIÓN PARA LA VERIFICACIÓN E IDENTIFICACIÓN DE PROBLEMAS EN LAS REDES DE CABLEADO ETHERNET DE VEHÍCULOS FERROVIARIOS

Alós Moya, Alberto (Universitat Politècnica de València, 2017-12-02)

Due to the non-existence of a solution for testing the performance of twisted pair cables in Stadler Rail Valencia S.A.U. rail vehicles, this project has been accomplished in order to solve problems related to the lack of ...