1. Recherche
141 résultats  enregistrer la recherche
hal-00410688v1  Chapitre d'ouvrage
Tanguy Risset, Antoine Fraboulet, Antoine Scherrer. On-chip Processor Traffic Modeling for NoC Design
CRC Press, Taylor and Francis Group. Networks-on-Chips: Theory and Practice, CRC Press, pp.95-122, 2009
hal-00801546v1  Communication dans un congrès
Jean-Philippe Babau, Laure Gonnord. Runtime resource assurance and adaptation with Qinna framework : a case study
Real Time Software (RTS) 2008, Oct 2008, Poland. pp.617-624, 2008, <10.1109/IMCSIT.2008.4747307>
hal-00402737v1  Communication dans un congrès
Wassim Znaidi, Marine Minier, Jean-Philippe Babau. Detecting wormhole attacks in wireless networks using local neighborhood information
IEEE. 19th Annual International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC'08, Sep 2008, Cannes, France. IEEE, pp.1-5, 2008
hal-00402755v1  Communication dans un congrès
Wassim Znaidi, Cédric Lauradoux, Marine Minier. Une proposition d'agrégation de MACs pour les réseaux de capteurs utilisant des fonctions de hachage universelles
Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'information - SAR/SSI'2009, Jun 2009, Luchon, France. pp.1-12, 2009
hal-00402758v1  Communication dans un congrès
Wassim Znaidi, Marine Minier. Proposition de gestion des clés et de contrôle d'accès dans un réseau de capteurs
10ème Journées Doctorales Informatique et Réseau (JDIR'09), Feb 2009, Belfort, France. pp.1-10, 2009
...
tel-00502510v1  HDR
Jean-Philippe Babau. Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel
Autre [cs.OH]. INSA de Lyon, 2005
inria-00406350v1  Communication dans un congrès
Katia Jaffrès-Runser, Cristina Comaniciu, Jean-Marie Gorce, Ruifeng Zhang. U-GRAB: A Utility-based Gradient Broadcasting Algorithm for Wireless Sensor Networks
IEEE, AFCEA. IEEE Military Communications (MILCOM), Oct 2009, Boston, MA, United States. 2009
hal-00410747v1  Communication dans un congrès
Tanguy Risset, Riadh Ben Abdallah, Antoine Fraboulet, Durand Yves. The Radio Virtual Machine: A Solution for SDR Portability and Platform Reconfigurability
16th Reconfigurable Architectures Workshop, May 2009, Rome, Faroe Islands. 2009
hal-00412224v1  Communication dans un congrès
Lionel Morel, Jean-Philippe Babau, Belgacem Ben Hedia. Formal modelling framework of data acquisition software using a synchronous approach for timing analysis
30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software (WRTP/RTS'09), Oct 2009, Mrągowo, Poland. pp.1-8, 2009
...
tel-00239261v1  Thèse
Julien Deantoni. SAIA: Un style architectural pour assurer l'indépendance vis-à-vis d'entrées / sorties soumises à des contraintes temporelles
Génie logiciel [cs.SE]. INSA de Lyon, 2007. Français
...
inria-00333591v1  Rapport
Wassim Znaidi, Marine Minier, Jean-Philippe Babau. An Ontology for Attacks in Wireless Sensor Networks
[Research Report] RR-6704, INRIA. 2008
hal-00436559v1  Communication dans un congrès
Wassim Znaidi, Cédric Lauradoux, Marine Minier. Aggregated Authentication (AMAC) using Universal Hash Functions
Springer. International ICST Conference on Security and Privacy in Communication Networks - SecureComm 2009, Sep 2009, Athens, Greece. Springer, 19, pp.248-264, 2009, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
...
inria-00470533v3  Rapport
Cédric Lévy-Bencheton, Doreid Ammar, Guillaume Villemaud, Tanguy Risset, Clément Reboul. Multi-mode relaying for energy consumption reduction
[Research Report] RR-7245, INRIA. 2010, pp.31
...
inria-00437949v1  Communication dans un congrès
Frédéric Loiret, Juan Navas, Jean-Philippe Babau, Olivier Lobry. Component-Based Real-Time Operating System for Embedded Applications
Springer. 12th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'09), Jun 2009, East Stroudsburg, United States. 5582, pp.209-226, 2009, Lecture Notes in Computer Science; 12th International SIGSOFT Symposium on Component-Based Software Engineering
...
inria-00349918v2  Communication dans un congrès
Laure Gonnord, Jean-Philippe Babau. Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems
AICCSA - The seventh ACS/IEEE International Conference on Computer Systems and Applications, May 2009, Rabat, Morocco. IEEE, 2009
...
hal-00371387v1  Communication dans un congrès
Fabrice Theoleyre, Fabrice Valois. Indoor experiments of self-organization and localization protocols for hybrid networks
IEEE. Workshop on advanced EXPerimental activities ON WIRELESS networks & systems, Jun 2006, Helsinki, Finland. pp.1-6, 2007, <10.1109/WOWMOM.2007.4351700>
hal-00541441v1  Direction d'ouvrage, Proceedings
Sébastien Gerard, Jean-Philippe Babau, Joël Champeau. Model Driven Engineering for Distributed Real-Time Embedded Systems
Hermes Science Publishing, pp.Non renseigné, 2005
...
inria-00587164v1  Documents associés à des manifestations scientifiques -- Hal-inria+
Jean-Philippe Babau, Julien Deantoni. Architectures logicielles pour les systèmes embarqués temps réel
Ecole d'été temps réel, Sep 2007, Nantes, France
...
inria-00288593v2  Rapport
Laure Gonnord, Jean-Philippe Babau. Resource management with Qinna framework : the remote viewer case study
[Technical Report] RR-6562, INRIA. 2008
...
inria-00289937v2  Rapport
Laure Gonnord, Jean-Philippe Babau. Resource Properties Expression and Runtime assurance for embedded programs, using Qinna, a component-based software architecture
[Research Report] RR-6565, INRIA. 2008
...
tel-00009704v1  Thèse
Jean-Charles Tournier. Qinna, une architecture à base de composants pour la gestion de la qualité de service dans les systèmes embarqués mobiles
Génie logiciel [cs.SE]. INSA de Lyon, 2005. Français
hal-00670185v1  Article dans une revue
Laure Gonnord, Jean-Philippe Babau. Qinna: a component-based framework for runtime safe resource adaptation of embedded systems
Scalable Computing : Practice and Experience, West University of Timisoara, 2009, 10 (3), pp.253-264
inria-00384209v1  Communication dans un congrès
Julien Groslambert, Nicolas Stouls. Vérification de propriétés LTL sur des programmes C par génération d'annotations
M. Filali and P. Michel and C. Seguin. AFADL'09, Jan 2009, Toulouse, France. pp.65--66, 2009
hal-00369453v1  Communication dans un congrès
Nicolas Fournel, Antoine Fraboulet, Guillaume Chelius, Eric Fleury, Bruno Allard et al.  Worldsens: From Lab to Sensor Network Application Development and Deployment
IPSN 2007, Apr 2007, Cambridge, MA, United States. pp.551 - 552, 2007, <10.1109/IPSN.2007.4379721>
...
hal-00391222v1  Article dans une revue
Antoine Fraboulet, Tanguy Risset. Master Interface for On-Chip Hardware Accelerator Burst Communications
The Journal of VLSI Signal, Springer Verlag, 2007, 49 (1), pp.73-85. <10.1007/s11265-006-0045-2>
inria-00392235v1  Communication dans un congrès
Frédéric Badeau, Didier Bert, Sylvain Boulmé, Claude Métayer, Marie-Laure Potet et al.  Traduction de B vers des langages de programmation
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'03), Jan 2003, Rennes, France. pp.87--102, 2003
inria-00398800v1  Communication dans un congrès
Elyes Ben Hamida, Pierre Borgnat, Hiroshi Esaki, Patrice Abry, Eric Fleury. Live E! Sensor Network: Correlations in Time and Space
XXIIe Colloque GRETSI - Traitement du Signal et des Images, Sep 2009, Dijon, France. 2009
inria-00398802v1  Communication dans un congrès
Elyes Ben Hamida, Hideya Ochiai, Hiroshi Esaki, Pierre Borgnat, Patrice Abry et al.  Measurement Analysis of the Live E! Sensor Network: Spatial-Temporal Correlations and Efficient Data Aggregation
IEEE 3rd International Workshop on Practical Applications of Sensor Networking, Jul 2009, Seattle, United States. 2009
hal-00399608v1  Communication dans un congrès
Nicolas Fournel, Antoine Fraboulet, Paul Feautrier. eSimu : a Fast and Accurate Energy Consumption Simulator for Embedded System
From Theory to Practice in Wireless Sensor Networks, Jun 2007, Helsinki, Finland. pp.1-6, 2007, <10.1109/WOWMOM.2007.4351799>

Contact


archive-ouverte@inria.fr