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 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…

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…

O Laboratório Multiusuário de Bioinformática (LMB) da Embrapa, implantado na Embrapa Informática Agropecuária em outubro de 2011, é uma iniciativa que se propôs a integrar competências multidisciplinares e elevada capacidade computacional para atender as demandas em Bioinformática dos projetos da…

Investigar experimentalmente diferentes modelos de sistemas distribuidos, estudiando especialmente la migración dinámica de procesos y datos, así como el comportamiento de redes móviles en procesos de tiempo real.
Los temas fundamentales propuestos en el proyecto se refieren al desarrollo de…

El presente trabajo de tesis previo a la obtención del título de ingeniería electrónica, está enfocado en el campo de la TV digital, centrando su estudio en el manejo del middleware Ginga, media la utilización de su motor de presentación…

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…

O objetivo deste trabalho é desenvolver uma ferramenta visual para facilitar a análise dos resultados dos processos acima descritos. Para desenvolver essa ferramenta, pretende-se utilizar a linguagem Java e os componentes gráficos JUNG (JUNG, 2012) para apresentação de hierarquias e…

Definição de superfície. Cálculo dos valores de curvatura com SurfRace., 2002, Acesso em: 30 maio 2008.

Los estudiantes de primer curso de Físicas de la Universidad de Murcia utilizan la herramienta de modelado Easy Java Simulations, Ejs, para realizar sus propias simulaciones, dicha herramienta permite desarrollar simulaciones con un aceptable pequeño esfuerzo informático, el Ejs produce…