Dataset - CKAN

Mascopt - A Network Optimization Library: Graph Manipulation

This report introduces a JAVA library whose objective is to provide tools for solving some network optimization problems and that may be used to write prototype...

HTML

Zero Overhead Java Thread Migration

The wide diffusion of Java is partly due to its mechanisms for mobile computing. Java provides most of the functions required to implement mobile applications,...

HTML

Un Editeur de spécifications MOF

MODERES Java est un environnement de développement de modèles de l'information de gestion. Sa vocation est de fournir un ensemble d'outils et d'interfaces intégrées...

HTML

Un analyseur sémantique pour MOF

MODERES Java est un environnement de développement de modèles de l'information de gestion. Sa vocation est de fournir un ensemble d'outils et d'interfaces intégrées...

HTML

The Managed Object Format Specification Parser of the MODERES Java Toolkit

MODERES Java is an environment for the development of management information models. This environment aims at providing a set of tools for the manipulation of...

HTML

The GDMO and GRM Modules Semantic Checker of the MODERES Java Toolkit

MODERES Java is an environment for the development of management information models. In its first release, it provides tools for the manipulation of information models...

HTML

MODERES Java: Architecture and Core Packages

MODERES is an environment for the development of management information models. The initial release of the environment was developped in C++ and provided tools for the...

HTML

Flots d'exécution multiples et Java

L'objectif de cette étude est d'aborder les problèmes liés à l'exécution de plusieurs flots d'exécution dans un système d'exploitation en Java. En effet, ce dernier...

HTML

Factorising temporal specifications

This paper proposes a method to factorise the verification of temporal properties for multi-threaded programs over groups of different threads. Essentially, the method...

HTML

Combining symbolic execution and model checking to reduce dynamic program ana...

By using symbolic execution techniques in the framework of the Java PathFinder model checker, we show that some Java program statements are unable to change the...

HTML

Description of a Molecular Dynamics Simulation System - AA Scale -

35 pages

HTML

Un tempo de Reel sur un rythme de Java

National audience

HTML

Le fonctionnement des transports en commun dans les villes moyennes en Indonésie

Ce rapport comprend une présentation de l'organisation de transports en Indonésie et le repérage géographique des villes moyennes de Java, les monographies sur les...

HTML

An Application-Assisted Checkpoint-Restart Mechanism for Java Applications

This paper was published in the proceedings of the IEEE 12th International Symposium on Parallel and Distributed Computing. The final, published version of the paper can be...

HTML

Refactoring Composite to Visitor and Inverse Transformation in Java

We describe how to use refactoring tools to transform a Java program conforming to the Composite design pattern into a program conforming to the Visitor design pattern...