Descripción completa.

This paper presents a new approach to algorithm design and analysis that benefits from the OO characteristics of Java. It consists of first defining the inheritance structure of a collection of algorithms, at different levels of abstraction. Then, correctness proofs…

This paper introduces a new set of compact interactive simulations developed for the constructive learning of computer networks concepts. These simulations, which compose a virtual laboratory implemented as portable Java applets, have been created by combining EJS (Easy Java Simulations)…

Two new genera and five new species of Coreidae (Heteroptera) collected in Malaysia, Java, New Guinea and Australia are described and included in the tribes Amorbini, Colpurini, and Dasynini. Dorsal view illustrations and drawings of head, pronotum, male genital capsule,…

Pulse oximetry is a widely used technique in biomedical analyses. It enables monitoring the percentage of saturated hemoglobin and heart pulse in a noninvasive way.The mandatory permanence of patients in medical facilitiesdue to continuous measurements of blood oxygen saturationand cardiac…

DLP is a basic java-based IDE specifically conceived for DeLP, that allows to compile DeLP programs and queries into JAM opcodes, execute those opcodes, and even witness the actual step by step construction of the dialectical tree that is built…

This work shows how hardware transactional memory (HTM) can be implemented to support transactions of arbitrarily large size, while ensuring that small transactions run efficiently. Our implementation handles small transactions similar to Herlihy and Moss's scheme in that it holds…

Three-dimensional route maps, which depict a path from one location to another, can be powerful tools for visualizing and communicating directions. This thesis presents a client-server architecture for generating and displaying accurate, usable route maps between locations on MIT's campus.…