Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Static analysis"

Mostrando ítems 1-7 de 7

Automated Program Analysis for Novice Programmers

Blok, Tim; Fehnker, Ansgar (Editorial Universitat Politècnica de València, 2017-06-26)

[EN] This paper describes how to adapt a static code analyzer to provide feedback novice programmers and their teachers. Current analyzers have been built to give feedback to experienced programmers who work on software ...
Diseño y estudio técnico de una grúa para discapacitados de uso domiciliario

Linares Maqueda, Vicente (Universitat Politècnica de València, 2021-10-13)

[ES] El presente proyecto de final de grado trata sobre el análisis y diseño de una grúa para minusválidos, así como la viabilidad de aplicación de la misma. Se estudiarán las posibles disposiciones de construcción de ...
Evaluation of Datalog queries and its application to the static analysis of Java code

Feliú Gabaldón, Marco Antonio (Universitat Politècnica de València, 2011-12-15)

Two approaches for evaluating Datalog programs are presented: one based on boolean equation systems, and the other based on rewriting logic. The work is presented in the context of the static analysis of Java programs ...
FEM Analysis Considering stiffness of 3 Stepped Bracket Complex for ENGAKUJI SHARIDEN as a Historical Wooden Structure in Japan

TAKASHIMA, Hideyuki (Editorial Universitat Politècnica de València, 2009-12-01)

Engaku Temple has been built at Kamakura City nearby Yokohama in 1285. The SHARIDEN is one of the facitilies there in order to store the Buddha's bone and has been selected as Japanese national treasure. However, most ...
Improving the Configuration of the Predictable ACDC Data Cache for Real-Time Systems

Segarra, Juan; Martí-Campoy, Antonio (Institute of Electrical and Electronics Engineers, 2022)

[EN] In real-time systems, analyzing the worst-case execution time (WCET) of a task in the presenceof data caches is hard. The ACDC is a data cache that provides predictability, facilitating WCET analysis.It works by ...
Mejora de calidad software para la gestión de aprovisionamiento de almacenes

Marquez Barber, Pere (Universitat Politècnica de València, 2024-01-11)

[ES] Junto con NTT Data, empresa líder en el sector de Tecnologías de la Información (IT), este Trabajo de Fin de Grado (TFG), se enfoca en la mejora de la calidad del código de su software de aprovisionamiento de almacenes, ...
Static and dynamic analysis and design of frame bridges subjected to railways loads: application to single-track structures under high-speed traffic

Timbolmas, Cristian Ioan (Universitat Politècnica de València, 2018-09-05)

[EN] High-speed trains are getting more and more common around the whole world and high-speed lines offer a sustainable and comfortable way of travel. The high-speed trains are very efficient, with a low environmental ...