Java has adopted a mechanism to support parameterized types that will be available in the next major release. A draft specification to add generics to the JavaTM Programming Language was published two years ago [1] and a new version of…

Region-based memory management offers several important advantages over garbage-collected heap, including real-time performance, better data locality and efficient use of limited memory. The concept of regions was first introduced for a call-by-value functional language by Tofte and Talpin, and has…

I propose a technique that identifies program properties that may indicate errors. The technique generates machine learning models of run-time program properties known to expose faults, and applies these models to program properties of user-written code to classify and rank…

Descripción completa.

This paper describes the design and implementation of MATLAB*G, a parallel MATLAB on the ALiCE Grid. ALiCE (Adaptive and scaLable internet-based Computing Engine), developed at NUS, is a lightweight grid-computing middleware. Grid applications in ALiCE are written in Java and…

Nodes for emerging, high-density wireless networks will face the dual challenges of continuous, multi-year operation under diverse and challenging operating conditions. The wireless communication subsystem, a substantial consumer of energy, must therefore be designed with unprecedented energy efficiency. To meet…

Acantholybas steinbaueri, a brachypterous new species, is described and illustrated from Java (Bali Island and Dammerman). The genus Acantholybas is redescribed, and a key to the four known species is provided.

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…

EL LENGUAJE DE PROGRAMACIÓN JAVA HA ADOPTADO UN MECANISMO PARA DEFINIR TIPOS PARAMETRIZADOS, EL CUAL ESTARÁ DISPONIBLE PARA LOS USUARIOS EN LA PRÓXIMA VERSIÓN DE SU COMPILADOR. LA PRIMERA ESPECIFICACIÓN FORMAL PARA INCLUIR GENÉRICOS EN JAVA FUE PUBLICADA HACE DOS…

Java 1.5 will include a type system (called JSR-14) that supports parametric polymorphism, or generic classes. This will bring many benefits to Java programmers, not least because current Java practise makes heavy use of logically-generic classes, including container classes. Translation…