Search
Now showing items 1-8 of 8
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 ...
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 ...
Gramáticas mínimas y descubrimiento de patrones
(2010)
En este trabajo nos concentramos en dos problemas íntimamente relacionados, por un lado atacamos el problema de la inferencia de gramáticas libres de contexto de tamaño mínimo y por otro, analizamos cómo es que estas pueden ...
Reducción de orden parcial en model checking probabilista simbólico
(2010)
El problema fundamental de los model checkers es la explosión exponencial del espacio de estados que se produce al agregar nuevas componentes o variables. El problema se exacerba en los model checkers probabilistas dado ...
Generación de código intermedio usando semántica funtorial
(2010-12-29)
Este trabajo consiste en la implementación de un front-end para un lenguaje de programación Algol-like. El front-end es la
primera etapa del proceso de compilación; cuyo objetivo es generar código en un lenguaje intermedio ...
Generación automática de terapias antivirales para VIH
(2010)
Se expone el análisis, diseño y confección de un sistema de ayuda a la toma de decisiones en el tratamiento antirretroviral de pacientes VIH-positivos.
El sistema desarrollado es altamente configurable, adaptándose a las ...
Verificación en tiempo de ejecución con Streams
(2010)
La verificación en tiempo de ejecución es una de las técnicas utilizadas con el objetivo de garantizar la corrección, seguridad y confiabilidad de los sistemas de software que ha recibido gran atención en los últimos años. ...
Simulación de incendios forestales
(2010)
Los incendios que han acompañado a la provincia de Córdoba desde hace muchos años son un problema cada vez mas difícil de abordar. En parte, por la falta de tecnología que ayude a su prevención y lucha. Proponemos e ...