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…

Analyser le code permet de vérifier ses fonctionnalités, détecter des bogues ou améliorer sa performance. L’analyse du code peut être statique ou dynamique. Des approches combinants les deux analyses sont plus appropriées pour les applications de taille industrielle où l’utilisation…

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

Presentación del software libre JavaVis para prácticas de visión por ordenador.

El Sistema de Diagnóstico de Líneas Telefónicas de Andinatel S.A, "DiagTel© 2009", fue desarrollado con el objetivo de emitir el estado operacional de la red de telefonía fija de dicha empresa, proporcionando información útil para los técnicos encargados de solucionar…

Segunda parte de la presentación sobre Java.

2009

El proyecto se trata acerca del diseño y la
implementación de una aplicación web de administración de red, basado en la utilización del protocolo SNMPv3, con el fin
de mejorar la seguridad de la información. La aplicación puede…

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…

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…