Ponencias Orales





Algoritmo paralelo para la detección y caracterización de halos de materia oscura en simulaciones cosmológicas.
Parallel algorithm for the detection of dark matter halos and computation of their properties in cosmological simulations.
Vera,…

Resulta fundamental disponer de una herramienta de reportes que permitan un fácil y rápido acceso hacia los datos contenidos en bases de datos Postgres como parte de una estrategia Open Source aplicable a cualquier organización, considerando el ahorro en licencias…

Este proyecto va dirigido a todas aquellas organizaciones que no tienen una gestión adecuada de los diferentes recursos informáticos.

La solución al problema es un Sistema de Auditoría a nivel de Hardware y Software, el cual va ha facilitar…

JAVA is a general purpose concurrent class-based object-oriented programming language. This work presents an interactive program that interprets JAVA source programs directly. The cornerstone of its execution model is an execution graph, in which each node is constituted by three…

En este trabajo se presenta una técnica para verificar modularmente atomicidad de programas bytecode Java multi-thread. Los programas deben contar con una especificación referente a los bloqueos y al acceso a los recursos compartidos para realizar la verificación modular. Se…

Uso de tecnología grid en algoritmos de optimización evolutiva.
(Guardo, Elisa; Castro, Harold; Bravo, Germán y Medaglia, Andrés L.)


Resumen

Este trabajo propone un framework para soportar la ejecución en un ambiente de Grid, de aplicaciones…

Protecting sensitive information has become an important facet of software development.
One aspect of software security relies on information flow control (IFC), a technique for discovering information leaks in software. Despite the large body of work on language-based IFC, there…

El presente trabajo es una herramienta generadora de código para aplicaciones Web escritas en JAVA; cuyo principal objetivo es agilizar el proceso de desarrollo de software. Esta aplicación utiliza los metadatos de un motor de base de datos para construir…

Varios intentos se han realizado para mejorar la producción de programas en diversos lenguajes. No es difícil imaginar cuán conveniente sería poder aplicar técnicas inteligentes para colaborar en este sentido. El presente trabajo realiza el desarrollo y evaluación de un…

Una de las mejores implementaciones de agentes de la familia BDI (B: Belief, D: Desire, I: Intention) es mediante los llamados Sistemas de Razonamiento Procedural (PRS). En este trabajo se plantea una extensión de los PRS para permitir generar agentes…