8715 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
Loop-based Modeling of Parallel Communication Traces
Auteurs
Alain Ketterlin; Matthieu Kuhn; Stéphane Genaud; Philippe Clauss
Détail
[Research Report], 2014, pp. 10. RR-8562
Début du résumé
This paper describes an algorithm that takes a trace of a distributed program and builds a model of all communications of the program. The model is a set of nested loops representing repeated patterns. Loop bodies collect events representing communication actions performed by the various processes, like sending or receiving messages, and participating in collective operations. The model can be used for compact visualization of full executions, for program understanding and debugging, and also for building statistical analyzes of various quantitative aspects of the program's behavior. The construction of the communication model is performed in two phases. First, a local .....
Accès au texte intégral et bibtex
RR-8562.pdf BibTex
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