8735 articles  [version française]
This page give access to all of Inria's Research or Technical Reports. deposit on HAL-Inria.
For submit on Hal-Inria: http://hal.inria.fr


Contact : archive-ouverte@inria.fr


Last report deposit of Inria teams




Publications HAL de la collection INRIA-RRRT

2014

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 / baro- clinic) and fast (external / barotropic) motions to allow the possibility to adopt specific numerical treatments in each component. The barotropic mode is traditionally .....
Accès au texte intégral et bibtex
RR-8589.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
Titre
An asymptotic two layers monodomain model of cardiac electrophysiology in the atria
Auteurs
Yves Coudière; Jacques Henry; Simon Labarthe
Détail
[Research Report], 2014, pp. 32. RR-8593
Début du résumé
Numerical simulations of the cardiac electrophysiology in the atria are often based on the standard bidomain or monodomain equations stated on a two-dimensional manifold. These simulations take advantage of the thinness of the atrial tissue, and their computational costs is reduce, as compared to three-dimensional simulations. However, these models do not take into account the heterogeneities located in the thickness of the tissue, like discontinuities of the fiber direction, although they can be a substrate for atrial arrhythmia Hocini et al., 2002, Ho et al., 2002, Nattel, 2002. We investigate a two-dimensional model with two coupled, superimposed layers that allows .....
Accès au texte intégral et bibtex
RR-8593.pdf BibTex
Titre
Scheduling malleable task trees
Auteurs
Loris Marchal; Frédéric Vivien; Bertrand Simon
Détail
[Research Report], 2014. RR-8587
Début du résumé
Solving sparse linear systems can lead to processing tree workflows on a platform of processors. In this study, we use the model of malleable tasks motivated in Prasanna96,Beaumont07 in order to study tree workflow schedules under two contradictory objectives: makespan minimization and memory minization. First, we give a simpler proof of the result of Prasanna96 which allows to compute a makespan-optimal schedule for tree workflows. Then, we study a more realistic speed-up function and show that the previous schedules are not optimal in this context. Finally, we give complexity results concerning the objective of minimizing both makespan and memory. .....
Accès au texte intégral et bibtex
RR-8587.pdf BibTex