La representación tridimensional de grandes volúmenes de datos de terreno requiere un gran número de polígonos y de texturas, significando un problema la transmisión por red de los modelos. El enfoque multiresolución permite la transmisión progresiva, es decir, la transmisión…

Vídeo sobre el funcionamiento del framework 3D de JavaVis.

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…

Java for high performance and distributed computing.
(Baker, Mark A.; Shafi, Aamir y Grove, Matthew)


Abstract

The Java language first came to public attention in 1995; very soon after it was being speculated that Java may…

Segunda parte de la presentación sobre Java.

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

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…

Se presenta brevemente la herramienta IDRA, con licencia GPL 3.0, que a partir de unas funcionalidades básicas, facilita la agregación de nuevas funcionalidades para la investigación en recuperación de información., In this paper the IDRA tool is shortly presented. It…

Gestión de errores mediante excepciones. Motivación. Captura de excepciones en C++ y Java. Lanzamiento de exceociones en C++ y Java. Jerarquía de excepciones estándar. Excepciones de usuario.