8714 articles  [english version]

Vous pouvez consulter et rechercher ici l'ensemble des rapports de recherche et rapports techniques de l'Inria déposées sur HAL ou sur HAL-Inria.
Pour déposer sur Hal-Inria: http://hal.inria.fr


Contact : archive-ouverte@inria.fr


Derniers rapports des équipes Inria




Publications HAL de la collection INRIA-RRRT

2014

Titre
Lazier Imperative Programming
Auteurs
Rémi Douence; Nicolas Tabareau
Détail
[Research Report], 2014. RR-8569
Début du résumé
Laziness is a powerful concept in functional programming that enables reusing general functions in a specific context, while keeping performance close to the efficiency of dedicated definitions. Lazy evaluation can be used in imperative programming too. Twenty years ago, John Launchbury was already advocating for lazy imperative programming, but the level of laziness of his framework remained limited: a single effect can trigger numerous delayed computations, even if those are not required for the correctness of the evaluation. Twenty years after, the picture has not changed. In this article, we propose an Haskell framework to specify computational effects of imperative .....
Accès au texte intégral et bibtex
RR-8569.pdf BibTex
Titre
Exomars Rover Mechanical Modeling with Siconos
Auteurs
Jan Michalczyk; Maurice Brémond; Vincent Acary url; Roger Pissard-Gibollet
Détail
[Technical Report], 2014, pp. 41. RT-0448
Début du résumé
This document contains specification and documentation of the tests performed on the exomars planetary rover model using Siconos software. Siconos is an open source scientific software targeted at modeling and simulating nonsmooth dynamical systems. The advantage of using Siconos for mechanical simulations is that it offers efficient friction-contact nonsmooth models. Performing mechanical simulations of the exomars rover appears to be of great importance with respect to verifying its design and estimating energy consumption. Seven different scenarios have been defined in order to simulate the mechanical behaviour of the exomars rover. Dynamics and kinematics models of the exomars rover have been .....
Accès au texte intégral et bibtex
RR-448.pdf BibTex
Titre
Parallelization of Scientific Workflows in the Cloud
Auteurs
Ji Liu url; Esther Pacitti url; Patrick Valduriez url; Marta Mattoso url
Détail
[Research Report], 2014. RR-8565
Début du résumé
Nowadays, more and more scientific experiments need to handle massive amounts of data. Their data processing consists of multiple computational steps and dependencies within them. A data-intensive scientific workflow is an appropriate tool for modeling such process. Since the execution of data-intensive scientific workflows requires large-scale computing and storage resources, a cloud environment, which provides virtually infinite resources is appealing. However, because of the general geographical distribution of scientific groups collaborating in the experiments, multisite management of data-intensive scientific workflows in the cloud is becoming an important problem. This paper presents a general study of the current state of the .....
Accès au texte intégral et bibtex
RR-8565.pdf BibTex
Icone de Figure1.png
Titre
Accurate computation of single scattering in participating media with refractive boundaries
Auteurs
Nicolas Holzschuch url
Détail
[Research Report], 2014, pp. 22. RR-8312
Début du résumé
Volume caustics are high-frequency effects appearing in participating media with low opacity, when refractive interfaces are focusing the light rays. Refractions make them hard to compute, since screen locality does not correlate with spatial locality in the medium. In this paper we give a new method for accurate computation of single scattering effects in a participating media enclosed by refractive interfaces. Our algorithm is based on the observation that although radiance along each camera ray is irregular, contributions from individual triangles are smooth. Our method gives more accurate results than existing methods, faster. It uses minimal information and requires no .....
Accès au texte intégral et bibtex
squelette-rr.pdf BibTex
Titre
Towards a Generic API for Data Load Balancing in Structured P2P Systems
Auteurs
Maeva Antoine; Laurent Pellegrino url; Fabrice Huet; Françoise Baude
Détail
[Research Report], 2014, pp. 18. RR-8564
Début du résumé
Many structured Peer-to-Peer systems for data management face the problem of load imbalance. To address this issue, there exist almost as many load balancing strategies as there are different systems. Besides, the proposed solutions are often coupled to their own API, making it difficult to port a scheme from a system to another. In this report, we show that many load balancing schemes are comprised of the same basic elements, and only the implementation and interconnection of these elements vary. Based on this observation, we describe the concepts behind the building of a common API to implement any load balancing .....
Accès au texte intégral et bibtex
RR-8564.pdf BibTex