Search
Now showing items 21-30 of 107
Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas
(2013-03)
Los sistemas computacionales juegan roles determinantes en muchas áreas de nuestra vida cotidiana. En algunos casos la dependencia hacia estos sistemas es crítica, y el mal funcionamiento de los mismos puede acarrear grandes ...
Generando instrucciones de navegación peatonal usando generación por selección
(2014-09)
En este trabajo describimos un método para desarrollar un instructor virtual de navegación peatonal basado en interacciones reales entre humanos. Un instructor virtual es un agente capaz de cumplir el rol de un instructor ...
Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM
(2010-12-17)
En este trabajo se presenta una adaptación al model checking simbólico de un método de reducción de estados, el cual, tiene como objetivo reducir el costo de los cálculos numéricos involucrados en el model checking ...
Comparación de arquitectura AMD e Intel para ejecución de GADGET
(2017)
Realizo una comparación de la ejecución de código de simulaciones cosmológicas Gadget, el cual evoluciona la materia del universo considerando solo la fuerza de gravedad. Estas ejecuciones se realizaron sobre arquitectura ...
Un entorno de ejecución de C para detectar comportamientos indefinidos
(2015)
Con el creciente uso del lenguaje C, se vio la necesidad de crear un estándar que garantice que el mismo código fuente produce el mismo programa, al compilarse con distintos compiladores o en distintas plataformas. No ...
Sistema de gestión de experimentos y contról de módulo digital para Resonancia Cuadrupolar Nuclear
(2018-12)
En el proceso de investigación del fenómeno físico de Resonancia Magnética Cuadrupolar Nuclear el investigador manipula módulos electrónicos digitales de medición precisos y estables, en algunos casos si intervienen mas ...
Automatización de cefalometrías utilizando métodos de aprendizaje automático
(2019)
La cefalometría es un estudio médico que logra diagnosticar problemas dentarios, esqueléticos ó problemas estéticos. Se realiza sobre un trazado obtenido del calco de líneas de las estructuras blandas y duras (piel y hueso ...
Representaciones globales para cuasivariedades de congruencias relativas distributivas
(2015)
Los productos subdirectos globales preservan sentencias de la forma "para todo existe único conjunción de p=q". Esta clase de sentencias permite expresar resultados interesantes (como el teorema de Nachbin, entre otros) ...
Mapeos de lenguaje de consulta a esquemas XML
(2018-04)
Recientemente se ha estudiado cómo transicionar o mapear modelos de requisitos junto con esquemas de datos a diagramas de interfaz de usuario (UI). Pero no se encontraron trabajos que partan de una etapa previa, o sea desde ...
TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
(2010)
En las pruebas de sistemas de tiempo real, y en particular los que tienen comportamiento estocástico, es muy importante que éstas se ejecuten con la mayor probabilidad posible. El
objetivo de este trabajo final es implementar ...