En este proyecto se trata de investigar las características de replicación y fragmentación de la información, en particular la propagación y regulación de las actualizaciones de datos. El esquema de replicación planteado en este estudio se considera estático y preestablecido,…

En este trabajo se presentan las líneas del grupo de investigación del Departamento de Computación de la UNRC constituido por los autores. Los aspectos fundamentales son la creación de modelos y herramientas de última generación para la generación de procesadores…

En el presente trabajo se exponen los puntos principales del diseño e implementación de JTLex, un generador de analizadores léxicos. JTLex, al contrario de los generadores existentes, permite la especificación conjunta de la sintaxis y la semántica de los componentes…

En este trabajo se presenta el diseño e implementación de NCE-val: un generador estático de evaluadores concurrentes de gramáticas de atributos para la familia NC (1). Los evaluadores generados son del tipo multiplan multivisita y utilizan información computada estáticamente para…

Nivel monográfico, Mérida, 27 y 28 de Abril y 4 y 5 de Mayo de 2002

En el presente trabajo de tesis, se desarrolla y describe la implementación
en Java de un sistema de modelado de sólidos basado principalmente
en dos modelos: los modelos EVM (Extreme Vertices Model) y el OUoDBM
(Ordered Union of Disjoint…

El presente proyecto se enfoca en el diseño e implementación
de un algoritmo para resolver un problema de exploración de un ambiente
utilizando un robot móvil Khepera, utilizando un conjunto de 8 sensores
infrarrojos para la detección de…

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…

El presente trabajo investiga las herramientas que provee el lenguaje Java para el desarrollo de aplicaciones de ingeniería que transmitan los datos a través del internet o para modificar aplicaciones existentes para proveerles esta funcionalidad. Para ello, primeramente se presenta…

El framework de desarrollo JSF (JAVA Server Faces) es uno de los más popularmente usados en el desarrollo de aplicaciones Web. Este incorpora la novedad de permitir construir “componentes a medida” o “componentes customizadas”, aunque la implementación inadecuada desemboca en…