Publications related to Java (software platform)

Reflexes: programming abstractions for highly responsive computing in Java

Achieving sub-millisecond response times in a managed language environment such as Java introduces significant implementation challenges. The Achilles' heel of Java is its reliance on automatic memory management for reclaiming dead objects. Typically, the ...

EPFL2008

The Marr Wavelet Pyramid and Multiscale Directional Image Analysis

Michaël Unser, Dimitri Nestor Alice Van De Ville, Daniel Sage, Katarina Balac

The “Marr wavelet pyramid” is a wavelet decomposition that implements a multiscale version of the complex gradient-Laplace operator. It is closely linked to a multiresolution analysis of

L _{ 2 }

(\mathbb{R} ^{ 2 }

) and it has a fast filterbank im ...

EURASIP2008

Deadlock Immunity: Enabling Systems To Defend Against Deadlocks

George Candea, Cristian Zamfir, Horatiu Jula, Daniel Tralamazza

Deadlock immunity is a property by which programs, once afflicted by a given deadlock, develop resistance against future occurrences of that and similar deadlocks. We describe a technique that enables programs to automatically gain such immunity without as ...

2008

Sharing of probabilistically correlated data in peer-to-peer networks

Roman Schmidt

The impact of Peer-to-Peer (P2P) networks on the Internet landscape is undisputed. It has led to a series of new applications, e.g., as part of the so-called Web 2.0. The shift from the classical client-server based paradigm of the Internet, with a clear d ...

EPFL2008

Runtime Checking for Separation Logic

Viktor Kuncak

Separation logic is a popular approach for specifying properties of recursive mutable data structures. Several existing systems verify a subclass of separation logic specifications using static analysis techniques. Checking data structure specifications du ...

Springer2008

Constraint Solving for Software Reliability and Text Analysis

Viktor Kuncak

We will develop and implement new algorithms for constraint solving and apply them to construct two classes of tools: 1) bug finding and verification tools building on tools such as Java PathFinder and Jahob; 2) tools for deep semantic analysis of texts co ...

2008

Ishtar: a flexible and lightweight software for remote data access

Stéphane Magnenat, Antoine Beyeler, Alexandre Habersaat

In this paper, we present Ishtar, a lightweight and versatile collection of software for remote data access and monitoring. The monitoring architecture is crucial during the development and experimentation of autonomous systems like Micro Air Vehicles. Ish ...

2008

WGAViewer: software for genomic annotation of whole genome association studies

Olivier Martin, Jacques Fellay, Amalio Telenti

To meet the immediate need for a framework of post-whole genome association (WGA) annotation, we have developed WGAViewer, a suite of JAVA software tools that provides a user-friendly interface to automatically annotate, visualize, and interpret the set of ...

Cold Spring Harbor Laboratory Press2008

Reflexes: Abstractions for Highly Responsive Systems

Rachid Guerraoui, Jesper Honig Spring

Commercial Java virtual machines are designed to maximize the performance of applications at the expense of predictability. High throughput garbage collection algorithms, for example, can introduce pauses of 100 milliseconds or more. We are interested in s ...

2007

Continuations in the Java Virtual Machine

Iulian Dragos, Antonio Cunei

Continuations have received considerable attention lately as a possible solution to web application development. Other uses proposed in the past, such as cooperative threading, coroutines or writing iterators, made them an attractive feature of dynamically ...

Technische Universität Berlin2007

Java (software platform)

Graph Chatbot

Chat with Graph Search

Reflexes: programming abstractions for highly responsive computing in Java

The Marr Wavelet Pyramid and Multiscale Directional Image Analysis

Deadlock Immunity: Enabling Systems To Defend Against Deadlocks

Sharing of probabilistically correlated data in peer-to-peer networks

Runtime Checking for Separation Logic

Constraint Solving for Software Reliability and Text Analysis

Ishtar: a flexible and lightweight software for remote data access

WGAViewer: software for genomic annotation of whole genome association studies

Reflexes: Abstractions for Highly Responsive Systems

Continuations in the Java Virtual Machine

Reflexes: programming abstractions for highly responsive computing in Java

Reflexes: Abstractions for Highly Responsive Systems

Deadlock Immunity: Enabling Systems To Defend Against Deadlocks

Sharing of probabilistically correlated data in peer-to-peer networks

Runtime Checking for Separation Logic

Ishtar: a flexible and lightweight software for remote data access

Constraint Solving for Software Reliability and Text Analysis

WGAViewer: software for genomic annotation of whole genome association studies

Continuations in the Java Virtual Machine

The Marr Wavelet Pyramid and Multiscale Directional Image Analysis