Search - Archive ouverte HAL Access content directly

Filter your results

39 Results
Deposit type : Fulltext
Image document

Component-Based Real-Time Operating System for Embedded Applications

Frédéric Loiret , Juan Navas , Jean-Philippe Babau , Olivier Lobry
12th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'09), Jun 2009, East Stroudsburg, United States. pp.209-226
Conference papers inria-00437949v1
Image document

SAIA : une utilisation conjointe du génie logiciel et des méthodes formelles

Julien Deantoni , Jean-Philippe Babau
En vue - Lettre d'information de l'INSA de Lyon, 2009, 26
Journal articles inria-00587097v1
Image document

Protocoles Localisés pour Réseaux de Capteurs

Karel Heurtefeux
Réseaux et télécommunications [cs.NI]. INSA de Lyon, 2009. Français. ⟨NNT : ⟩
Theses tel-00449801v1
Image document

Régularisation asynchrone pour les réseaux de capteurs: principes et applications

Nicolas Maréchal , Jean-Benoit Pierrot , Jean-Marie Gorce
AlgoTel, 2009, Carry-Le-Rouet, France
Conference papers inria-00384385v1
Image document

Impact of the Physical Layer Modeling on the Accuracy and Scalability of Wireless Network Simulation

Elyes Ben Hamida , Guillaume Chelius , Jean-Marie Gorce
SIMULATION, 2009, 85 (9), pp.574-588. ⟨10.1177/0037549709106633⟩
Journal articles inria-00412150v1
Image document

Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems

Laure Gonnord , Jean-Philippe Babau
AICCSA - The seventh ACS/IEEE International Conference on Computer Systems and Applications, May 2009, Rabat, Morocco
Conference papers inria-00349918v2
Image document

Interference Modeling in CSMA Multi-Hop Wireless Networks

Anthony Busson , Guillaume Chelius , Jean-Marie Gorce
[Research Report] RR-6624, INRIA. 2009, pp.21
Reports inria-00316029v3
Image document

Conception d'une plate-forme d'expérimentation pour réseaux ad hoc et hybrides - Application à l'évaluation d'un protocole d'auto-organisation et de routage

Fabrice Theoleyre , Fabrice Valois
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2009, 28 (5), pp.677--701. ⟨10.3166/tsi.28.677-701⟩
Journal articles hal-01073334v1
Image document

Robust synchronization of different coupled oscillators: Application to antenna arrays

Florin Doru Hutu , Sébastien Cauet , Patrick Coirault
Journal of The Franklin Institute, 2009, 346 (5), pp.413-430. ⟨10.1016/j.jfranklin.2009.01.001⟩
Journal articles hal-01007680v1
Image document

A 2.4 GHz active phase shifter architecture for smart antennas control

Florin Doru Hutu , David Cordeau , Jean-Marie Paillot
IEEE MTT-S International Microwave Symposium, Jun 2009, Boston, United States. pp.821-824
Conference papers hal-00683389v1
Image document

Power Consumption Optimization in Multi-mode Mobile Relay

Cédric Lévy-Bencheton , Guillaume Villemaud
European Wireless Technology Conference 2009, Sep 2009, Rome, Italy
Conference papers inria-00412025v1
Image document

Graph Based Reduction of Program Verification Conditions

Jean-François Couchot , Alain Giorgetti , Nicolas Stouls
Automated Formal Methods (AFM'09), colocated with CAV'09, Hassen Saïdi and N. Shankar, Jun 2009, Grenoble, France. pp.40--47
Conference papers inria-00402204v1
Image document

A 802.11g and UMTS Simultaneous Reception Front-End Architecture using a double IQ structure

Ioan Burciu , Guillaume Villemaud , Jacques Verdier , Matthieu Gautier
IEEE VTC Spring 2009, Apr 2009, Barcelona, Spain
Conference papers inria-00412042v1
Image document

Localisation distribuée pour routage en environne- ment bruité dans les réseaux de capteurs

Karel Heurtefeux , Fabrice Valois
CFIP'2009, Oct 2009, Strasbourg, France
Conference papers inria-00419468v1
Image document

Multi-cell processing for uniform capacity improvement in full spectral reuse system

Virgile Garcia , Nikolai Lebedev , Jean-Marie Gorce
COGnitive systems with Interactive Sensors, SEE, IET, Nov 2009, Paris, France
Conference papers inria-00441274v1
Image document

Multiple Mobile Sinks Positioning in Wireless Sensor Networks for Buildings

Leila Ben Saad , Bernard Tourancheau
International Conference on Sensor Technologies and Applications (SensorComm), 2009, Athenes, Greece. pp.264--270
Conference papers inria-00563739v1
Image document

Liability in Software Engineering: Overview of the LISE Approach and Illustration on a Case Study

Christophe Alleaune , Valérie-Laure Benabou , Denis Beras , Christophe Bidan , Nicolas Craipeau et al.
[Research Report] RR-7148, INRIA. 2009, pp.23
Reports inria-00440437v1
Image document

A Survey on Service Composition Middleware in Pervasive Environments

Noha Ibrahim , Frédéric Le Mouël
International Journal of Computer Science, 2009, 1, pp.1--12
Journal articles inria-00414117v1
Image document

Low Power Multistandard Simultaneous Reception Architecture

Ioan Burciu , Jacques Verdier , Guillaume Villemaud
European Wireless Technology Conference 2009, Sep 2009, Rome, Italy
Conference papers inria-00412028v1
Image document

Proposal for a suspend/resume extension to the OSGi specification

Ronan Dunklau , Stéphane Frénot
[Technical Report] RR-7060, INRIA. 2009, pp.21
Reports inria-00423866v1
Image document

Minimum delay Data Gathering in Radio Networks

Jean-Claude Bermond , Nicolas Nisse , Patricio Reyes , Hervé Rivano
ADHOC-NOW 2009 - 8th international conference on Ad Hoc Networks and Wireless, Sep 2009, Murcia, Spain. pp.69-82, ⟨10.1007/978-3-642-04383-3_6⟩
Conference papers inria-00505522v1
Image document

Embedded software energy characterization: Using non-intrusive measures for application source code annotation

Nicolas Fournel , Antoine Fraboulet , Paul Feautrier
Journal of Embedded Computing, 2009, 3 (3), pp.10. ⟨10.3233/JEC-2009-90⟩
Journal articles hal-00391186v1
Image document

Long-Range Dependence and On-chip Processor traffic

Antoine Scherrer , Antoine Fraboulet , Tanguy Risset
Microprocessors and Microsystems: Embedded Hardware Design , 2009, 33 (1), pp.72-80. ⟨10.1016/j.micpro.2008.08.010⟩
Journal articles hal-00391215v1
Image document

Comprehensive Security Framework for Global Threats Analysis

Jacques Saraydaryan , Fatiha Benali , Stéphane Ubéda
International Journal of Computer Science, 2009, 2, pp.15
Journal articles hal-00425315v1
Image document

New antenna diversity front-end using code multiplexing

Matthieu Gautier , Ioan Burciu , Guillaume Villemaud
European Conference on Antennas and Propagation, Mar 2009, Berlin, Germany
Conference papers inria-00412047v1
Image document

Low complexity antenna diversity front-end: Use of code multiplexing

Matthieu Gautier , Guillaume Villemaud
IEEE Wireless Communications and Networking Conference, Apr 2009, Budapest, Hungary
Conference papers inria-00412053v1
Image document

MySIM: A Spontaneous Service Integration Middleware for Pervasive Environments

Noha Ibrahim , Frédéric Le Mouël , Stéphane Frénot
Proceedings of the ACM International Conference on Pervasive Services (ICPS'2009), Jul 2009, London, United Kingdom. pp.1--10, ⟨10.1145/1568199.1568201⟩
Conference papers inria-00395427v1
Image document

Improving Integral Cryptanalysis against Rijndael with Large Blocks

Marine Minier , Benjamin Pousse
[Research Report] 2009
Reports inria-00423681v1
Image document

Candidate Architecture for MIMO LTE-Advanced Receivers with Multiple Channels Capabilities and Reduced Complexity and Cost

Ioan Burciu , Guillaume Villemaud , Jacques Verdier
COST2100 Pervasive Mobile & Ambient Wireless Communications, May 2009, Valence, Spain
Conference papers inria-00412103v1
Image document

IQ imbalance reduction in a SMI multi-antenna receiver by using a code multiplexing front-end

Matthieu Gautier , Pierre-Francois Morlat , Guillaume Villemaud
IEEE VTC Spring 2009, Apr 2009, Barcelona, Spain
Conference papers inria-00412044v1