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…

La plataforma .NET de Microsoft, así como los entornos de programación en JAVA, se basan en una filosofía de just-in-time compilation (compilación bajo demanda al momento de la ejecución). Los programas desarrollados de esta manera se ejecutan en un entorno…

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…

Este artigo apresenta a descrição do ambiente IMAGUS enfatizando aspectos da implementação do protótipo do ambiente. O IMAGUS permite a construção de materiais com fins pedagógicos que se utilizam de vídeos acessado via Internet.
O protótipo foi desenvolvido para validar…

Programming embedded devices has been historically a difficult task, involving the learning of the features of a specific device such as the assembly language of a processor. This led to the use of Java in embedded system as a way…

Debido al gran incremento de vehículos y objetos de valor que se venden y utilizan a nivel mundial, se vuelve una necesidad conocer su ubicación exacta en el planeta, bien sea esto por seguridad en caso de robo, o por…

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…

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…

Dado que un sistema distribuído de tiempo real debe interactuar con el mundo real, en puntos fisícamente distantes y en períodos de tiempo que vienen determinados por el contexto o las restricciones de la especificación (en muchos casos a partir…

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal