Recherche - Archive ouverte HAL
Nothing Special   »   [go: up one dir, main page]

Filtrer vos résultats

2 137 résultats
Structure : Identifiant HAL de la structure : 451999
Page :
triés par
Image document

Influence de l'auto-organisation sur la capacité des réseaux ad hoc

 Hervé Rivano , Fabrice Theoleyre , Fabrice Valois
AlgoTel 2005 - Rencontres Françaises sur les Aspects Algorithmiques des Télécommunications, May 2005, Presqu'île de Giens, France
Communication dans un congrès inria-00406122v1
Image document

SmartTools: A Generator of Interactive Environments Tools

 Isabelle Attali , Carine Courbis , Pascal Degenne , Alexandre Fau , Didier Parigot , et al.
Electronic Notes in Theoretical Computer Science, 2001, 44 (2), pp.225-231. ⟨10.1016/S1571-0661(04)80929-0⟩
Article dans une revue hal-00172773v1
Image document

Groupage par tubes

 Jean-Claude Bermond , Olivier de Rivoyre , Stéphane Pérennes , Michel Syska
Conférence Algotel, May 2003, Banyuls, France. pp.27-32
Communication dans un congrès hal-03768373v1
Image document

Painless Support for Static and Runtime Verification of Component-Based Applications

 Nuno Gaspar , Ludovic Henrio , Eric Madelaine
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.259-274, ⟨10.1007/978-3-319-24644-4_18⟩
Communication dans un congrès hal-01168757v2
Image document

Hardness and approximation of Gathering in static radio networks

 Jean-Claude Bermond , Jérôme Galtier , Ralf Klasing , Nelson Morales , Stéphane Pérennes
FAWN06 - First Annual IEEE International Workshop on "Foundation and Algorithms for Wireless Networking, Mar 2006, Pise, Italy. pp.75-79
Communication dans un congrès hal-00344619v1

Genetic algorithms and grid computing for artificial embryogeny

 Sylvain Cussat-Blanc , Fabien Viale , Hervé Luga , Yves Duthen , Denis Caromel
GECCO '08 Proceedings of the 10th annual conference on Genetic and evolutionary computation, Jul 2008, Atlanta, United States. pp.281-282, ⟨10.1145/1389095.1389139⟩
Communication dans un congrès hal-00687153v1
Image document

Complexity of greedy edge-colouring

 Frédéric Havet , Ana Karolinna Maia de Oliviera , Min-Li Yu
[Research Report] RR-8171, INRIA. 2012, pp.13
Rapport hal-00762534v1

Active objects for coordinating BSP computations (short paper)

 Ludovic Henrio
20th IFIP WG 6.1 International Conference, COORDINATION 2018, held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Jun 2018, madrid, Spain
Communication dans un congrès hal-01813178v1
Image document

Agents Mobiles : itinéraires pour l'administration système et réseau

 Emmanuel Reuter
Réseaux et télécommunications [cs.NI]. Université Nice Sophia Antipolis, 2004. Français. ⟨NNT : ⟩
Thèse tel-00207934v1

Exploiting Temporal Persistence to Detect Covert Botnet Channels

 Frédéric Giroire , Jaideep Chandrashekar , Nina Taft , Eve Schooler , Konstantina Papagiannaki
The 12th International Symposium on Recent Advances in Intrusion Detection (RAID'09), Sep 2009, Saint Malo, France. pp.326--345
Communication dans un congrès inria-00546874v1

Modeling SystemVerilog Assertions using SysML and CCSL

 Aamir Mehmood Khan , Frédéric Mallet , Rashid Muhammad
Electronic System Level Synthesis Conference, Jun 2015, San Francisco, United States
Communication dans un congrès hal-01257934v1
Image document

A Metamodeling Approach for Reasoning on Multiple Requirements Models

 Arda Goknil , Ivan Kurtev , Jean-Vivien Millo
EDOC 2013 - The 17th IEEE International Enterprise Distributed Object Computing Conference Conference, Sep 2013, Vancouver, Canada
Communication dans un congrès hal-00850678v1

SCIPX: a SystemC to IP-XACT extraction tool

 Jean-François Le Tallec , Robert de Simone
ESLsyn : Electronic System Level Synthesis Conference, Jun 2011, San Diego, United States
Communication dans un congrès inria-00601843v1

An efficient framework for running applications on clusters, grids, and clouds

 Brian Amedro , Françoise Baude , Denis Caromel , Christian Delbé , Imen Filali , et al.
Nick Antonopoulos and Lee Gillam. Cloud Computing, Springer, pp.163-178, 2010, Computer Communications and Networks, 978-1849962407. ⟨10.1007/978-1-84996-241-4_10⟩
Chapitre d'ouvrage hal-00694011v1
Image document

OSA: an Open Component-based Architecture for Discrete-event Simulation

 Olivier Dalle
proc. of 20th European Conf. on Modeling and Simulation, May 2006, Bonn, Germany, Germany. pp.253--259
Communication dans un congrès inria-00141606v1
Image document

Combining union, intersection and dependent types in an explicitely typed lambda-calculus

 Claude Stolze
Logic [math.LO]. COMUE Université Côte d'Azur (2015 - 2019), 2019. English. ⟨NNT : 2019AZUR4104⟩
Thèse tel-02406953v2
Image document

Optimal concave costs in the SDH context

 Sébastien Choplin , Jérôme Galtier , Stéphane Pérennes
RR-5201, INRIA. 2004, pp.11
Rapport inria-00070791v1
Image document

Hierarchical Ring Network Design, Proceedings in Informatics13, CarletonScientific

 Jean-Claude Bermond , Sébastien Choplin , Stéphane Pérennes
9th International Colloquium on Structural Information and Communication Complexity, SIROCCO9, Jun 2002, Andros, Greece
Communication dans un congrès hal-03844396v1
Image document

Peer-to-Peer Storage Systems: a Practical Guideline to be Lazy

 Frédéric Giroire , Julian Monteiro , Stéphane Pérennes
IEEE Global Communications Conference (GlobeCom), Dec 2010, Miami, United States
Communication dans un congrès inria-00496221v1

Formal Modeling of Embedded Systems with Explicit Schedules and Routes

 Julien Boucaron , Anthony Coadou , Robert de Simone
Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Springer Science+Business Media, LLC 2010, pp.38, 2010, 978-1-4419-6399-4
Chapitre d'ouvrage inria-00495667v1

Les modèles de temps de MARTE et CCSL

 Charles André , Frédéric Mallet
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009, 89, pp.44-49
Article dans une revue inria-00416597v1
Image document

A Distributed Scheduling Algorithm for Wireless Networks with Constant Overhead and Arbitrary Binary Interference.

 Jean-Claude Bermond , Dorian Mazauric , Vishal Misra , Philippe Nain
Sigmetrics 2010, Columbia University, Jun 2010, New York, United States
Communication dans un congrès inria-00505519v1
Image document

Engineering a new loop-free shortest paths routing algorithm

 Gianlorenzo d'Angelo , Mattia d'Emidio , Daniele Frigioni , Vinicio Maurizio
11th International Symposium on Experimental Algorithms (SEA2012), Jun 2012, Bordeaux, France. pp.123-134, ⟨10.1007/978-3-642-30850-5_12⟩
Communication dans un congrès hal-00729005v1
Image document

Fully Dynamic Maintenance of Arc-Flags in Road Networks

 Gianlorenzo d'Angelo , Mattia d'Emidio , Daniele Frigioni , Camillo Vitale
11th International Symposium on Experimental Algorithms (SEA2012), Jun 2012, Bordeaux, France. pp.135-147, ⟨10.1007/978-3-642-30850-5_13⟩
Communication dans un congrès hal-00729008v1
Image document

Gathering of Robots on Anonymous Grids without multiplicity detection

 Gianlorenzo d'Angelo , Gabriele Di Stefano , Ralf Klasing , Alfredo Navarra
19th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2012), Jun 2012, Reykjavík, Iceland. pp.327-338, ⟨10.1007/978-3-642-31104-8_28⟩
Communication dans un congrès hal-00728988v1
Image document

Transformations de spécifications incluant du contrôle en spécification flot de données pour implantation distribuée

 Nicolas Pernet , Yves Sorel
Actes de la Conférence Modélisation des Systèmes Réactifs, MSR'05, 2005, Grenoble, France
Communication dans un congrès inria-00413490v1
Image document

A Rapid Heuristic for Scheduling Non-Preemptive Dependent Periodic Tasks onto Multiprocessor

 Omar Kermia , Yves Sorel
Proceedings of ISCA 20th International Conference on Parallel and Distributed Computing Systems, PDCS'07, 2007, Las Vegas, Nevada, United States
Communication dans un congrès inria-00413486v1
Image document

Load Balancing and Efficient Memory Usage for Homogeneous Distributed Real-Time Embedded Systems

 Omar Kermia , Yves Sorel
Proceedings of the 4th International Workshop on Scheduling and Resource Management for Parallel and Distributed Systems, SRMPDS'08, 2008, Portland, Oregon, United States
Communication dans un congrès inria-00413485v1

Estimation of probabilistic worst case execution time while accounting OS costs

 Talaboulma Walid , Cristian Maxim , Adriana Geanina Gogonel , Yves Sorel , Liliana Cucu-Grosjean
Work in Progress of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS2015), Apr 2015, Seattle, France
Poster de conférence hal-01245359v1

Quality of Experience-based Routing of Video Traffic for Overlay and ISP Networks

 Giacomo Calvigioni , Ramon Aparicio-Pardo , Lucile Sassatelli , Jeremie Leguay , Stefano Paris , et al.
IEEE International Conference on Computer Communications (INFOCOM), Apr 2018, Honolulu, HI, United States. ⟨10.1109/INFOCOM.2018.8485954⟩
Communication dans un congrès hal-01663495v1
Page :