8739 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
A ProActive Backend for ABS: from Modelling to Deployment
Auteurs
Justine Rochas; Ludovic Henrio url
Détail
[Research Report], 2014. RR-8596
Début du résumé
ABS is an object-oriented modeling language that is based on a concurrent object group model, derived itself from the active object model. Its goal is to describe distributed and concurrent applications in order to verify their properties and make them safer. Thanks to the ABS Tool Suite, ABS programs can be translated into the Java programming language (among others), and executed in the JVM. This paper presents a new ABS backend that translates ABS programs into ProActive programs. ProActive is a well known active object Java library that provides support for distribution of applications across clusters or grids. The benefit .....
Accès au texte intégral et bibtex
RR-8596.pdf BibTex
Titre
Praspel: Contract-Driven Testing for PHP using Realistic Domains
Auteurs
Ivan Enderlin; Fabrice Bouquet; Frédéric Dadeau; Alain Giorgetti url
Détail
[Research Report], 2014, pp. 39. RR-8592
Début du résumé
We present an integrated contract-based testing framework for PHP. It relies on a behavioral interface specification language called Praspel, for "PHP Realistic Annotation and Specification Language". Using Praspel developers can easily annotate their PHP scripts with formal contracts, namely class invariants, and method pre- and postconditions. These contracts describe assertions either by predicates or by assigning realistic domains to data. Realistic domains introduce types in PHP and describe complex structures frequently encountered in applications, such as email addresses or SQL queries. Realistic domains display two properties: predicability, which allows to check if a data belongs to a given realistic domain, .....
Accès au texte intégral et bibtex
RR-8592.pdf BibTex
Titre
On the use of a depth-dependent barotropic mode in ocean models: impact on the stability of the coupled barotropic/baroclinic system
Auteurs
Jérémie Demange; Laurent Debreu url; Patrick Marchesiello; Florian Lemarié url; Eric Blayo url
Détail
[Research Report], 2014. RR-8589
Début du résumé
Evolution of the oceanic free-surfaceﰒis responsible for the propagation of fast surface gravity waves which roughly propagates at speed gH (with g the gravity and H the local water depth). In the deep ocean, this phase speed is roughly two orders of magnitude faster than the fastest internal gravity waves. The steep stability constraint imposed by those fast surface waves on the time-step of numerical models is handled using a splitting between slow (internal / baroclinic) and fast (external / barotropic) motions to allow the possibility to adopt specific numerical treatments in each component. The barotropic mode is traditionally approximated .....
Accès au texte intégral et bibtex
RR-8589.pdf BibTex
Titre
Numerical representation of internal waves propagation
Auteurs
Jérémie Demange; Laurent Debreu url; Patrick Marchesiello; Florian Lemarié url; Eric Blayo url
Détail
[Research Report], 2014. RR-8590
Début du résumé
Similar to surface waves propagating at the interface of two fluid of different densities (like air and water), internal waves in the oceanic interior travel along surfaces separating waters of different densities (e.g. at the thermocline). Due to their key role in the global distribution of (physical) diapycnal mixing and mass transport, proper representation of internal wave dynamics in numerical models should be considered a priority since global climate models are now configured with increasingly higher horizontal/vertical resolution. However, in most state-of-the-art oceanic models, important terms involved in the propagation of internal waves (namely the horizontal pressure gradient and horizontal .....
Accès au texte intégral et bibtex
RR-8590.pdf BibTex
Titre
Joint Routing and STDMA-based Scheduling to Minimize Delays in Grid Wireless Sensor Networks
Auteurs
Ichrak Amdouni; Cédric Adjih; Pascale Minet
Détail
[Research Report], 2014, pp. 48. RR-8588
Début du résumé
In this report, we study the issue of delay optimization and energy efficiency in grid wireless sensor networks (WSNs). We focus on STDMA (Spatial Reuse TDMA)) scheduling, where a predefined cycle is repeated, and where each node has fixed transmission opportunities during specific slots (defined by colors). We assume a STDMA algorithm that takes advantage of the regularity of grid topology to also provide a spatially periodic coloring ("tiling" of the same color pattern). In this setting, the key challenges are: 1) minimizing the average routing delay by ordering the slots in the cycle 2) being energy efficient. Our work .....
Accès au texte intégral et bibtex
RR-8588.pdf BibTex