Modélisations et analyses de réseaux de capteurs - TEL - Thèses en ligne
Thèse Année : 2008

Modeling and Analysis of Sensor Networks

Modélisations et analyses de réseaux de capteurs

Ludovic Samper (1)
Ludovic Samper
  • Fonction : Auteur
  • PersonId : 849445
VERIMAG

Résumé

Global modeling of energy consumption in sensor networks (including the hardware, the protocols, the application, and the physical environment).
Application of formal validation methods to sensor networks.
Case study from the projet ANR ARESA
Modélisation globale de l'énergie dans les réseaux de capteurs (incluant le matériel, les couches protocolaires, l'application, et l'environnement physique).
Application de méthodes de validation formelle au cas des réseaux de capteurs.
Etude de cas du projet ANR ARESA.

Domaines

Réseaux et télécommunications [cs.NI] Modélisation et simulation
Fichier principal
Vignette du fichier
samper.pdf (2.64 Mo) Télécharger le fichier

Florence Maraninchi  : Connectez-vous pour contacter le contributeur

https://theses.hal.science/tel-00283716

Soumis le : vendredi 30 mai 2008-15:59:23

Dernière modification le : jeudi 4 avril 2024-21:06:41

Archivage à long terme le : vendredi 28 septembre 2012-15:11:13

Télécharger pour visualiser

Dates et versions

tel-00283716 , version 1 (30-05-2008)

Identifiants

  • HAL Id : tel-00283716 , version 1

Citer

Ludovic Samper. Modélisations et analyses de réseaux de capteurs. Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2008. Français. ⟨NNT : ⟩. ⟨tel-00283716⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA IMAG CNRS VERIMAG TDS-MACS
224 Consultations
3145 Téléchargements

Partager

More