-
Hardware/Software Exploration for an Anti-collision Radar System
Anti-collision radars help prevent car accidents by detecting obstacles in front of vehicles equipped with such systems. This task traditionally relies on a... -
Extending the entry consistency model to enable efficient visualization for c...
This paper addresses the problem of efficient visualization of shared data within code coupling grid applications. These applications are structured as a set of... -
Extension du modèle de cohérence à l'entrée pour la visualisation dans les ap...
Ce papier s'intéresse au problème de la visualisation des données partagées dans les applications à base de couplage de codes sur les grilles. Nous proposons... -
FPGA Configuration of Intensive Multimedia Processing Tasks Modeled in UML
Recent research have demonstrate interests in a codesign framework that allows description refinement at different abstraction level. We have proposed such a... -
Belief-Propagation Algorithm for a Traffic Prediction System based on Probe V...
A traffic reconstruction and prediction algorithm based on probe vehicles is discussed in the present paper. Traffic information is provided by a set of probe vehicles... -
Using failure injection mechanisms to experiment and evaluate a hierarchical ...
Computing grids consist of a large-scale, highly-distributed hardware architecture, often built in a hierarchical way, as cluster federations. At such scales, failures... -
Parametric Estimation for Diffusion Processes from Discrete-time and Noisy Ob...
Noisy discretely observed diffusion processes with random drift function parameters are considered. Maximum likelihood and Bayesian estimation methods are extended to... -
Stochastic Dynamics of Discrete Curves and Exclusion Processes. Part 2: Funct...
This report deals with continuous limits of several one-dimensional diffusive systems, obtained from stochastic distortions of discrete curves with different kinds of... -
Arigatoni: Overlaying Internet via Low Level Network Protocols
We design a lightweight communication model, called Arigatoni, with related architecture, that is suitable to deploy the Global Computing Paradig} over the Internet.... -
Pathwidth of outerplanar graphs
We are interested in the relation between the pathwidth of a biconnected outerplanar graph and the pathwidth of its (geometric) dual. Bodlaender and Fomin, after... -
Optimal succinct representation of planar maps
This paper addresses the problem of representing the connectivity information of geometric objects using as little memory as possible. As opposed to raw compression... -
Near-Optimal BRL using Optimistic Local Transitions (Extended Version)
Model-based Bayesian Reinforcement Learning (BRL) allows a sound formalization of the problem of acting optimally while facing an unknown environment, i.e., avoiding... -
Enabling Transparent Data Sharing in Component Models
The fast growth of high-bandwidth wide-area networks has encouraged the development of computational grids. To deal with the increasing complexity of grid... -
Explanation in the Semantic Web: a survey of the state of the art
Semantic Web applications use interconnected distributed data and inferential capabilities to compute their results. The users of Semantic Web applications might find... -
Introducing Control in the Gaspard2 Data-Parallel Metamodel: Synchronous Appr...
In this document, we study the introduction of control in the Gaspard2 application UML metamodel by using the synchronous reactive system principles. This allows to... -
Le rôle des SPL dans la stimulation de l'innovation- Premiers résultats
Différents enseignements, à valider sur d'autres SPL, se dégagent des deux investigations conduites sur le Pôle des Technologies Médicales de Saint-Etienne et le SPL... -
Choosability of the square of planar subcubic graphs with large girth
We first show that the choose number of the square of a subcubic graph with maximum average degree less than 18/7 is at most 6. As a corollary, we get that the choose... -
A unifying framework for exact and approximate Bayesian inference
We present a unifying framework for exact and approximate inference in Bayesian networks. This framework has been used to design a general purpose Bayesian inference...
