Search
Now showing items 11-17 of 17
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. ...
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 ...
El método de equivalencia de Cartan
(2010-07)
En este trabajo expondremos el método de equivalencia de Cartan, el cual es un procedimiento para distinguir cuando dos estructuras geométricas son localmente equivalentes.
Aplicaremos el método a distintos ejemplos ...
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 ...
Estudios mineralógico de discos circunestelares en estrellas de tipo FU Orionis
(2010-03)
Las estrellas de tipo FU Orionis son estrellas de Pre-secuencia Principal que incurren de forma periódica en un aumento de brillo en hasta ~ 6 magnitudes en un lapso de unos pocos años, que luego decae paulatinamente al ...
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 ...