Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

1 901 Results
Structure: Internal structure identifier : 451999
Image document

Calcul mathématique avec Sage

Alexandre Casamayou , Nathann Cohen , Guillaume Connan , Thierry Dumont , Laurent Fousse , et al.
CreateSpace, pp.468, 2013, 9781481191043
Books inria-00540485v2

Independence - a misunderstood property of and for probabilistic real-­‐time systems

Liliana Cucu-Grosjean
Alan Burns 60th Anniversary, Mar 2013, York, United Kingdom
Conference papers hal-00920504v1

Response Time Analysis for Fixed-Priority Tasks with Multiple Probabilistic Parameters

Dorin Maxim , Liliana Cucu-Grosjean
RTSS 2013 - IEEE Real-Time Systems Symposium, Dec 2013, Vancouver, Canada
Conference papers hal-00918566v1

Smart IoT for Mobility: Automating of Mobility Value Chain through the Adoption of Smart Contracts within IoT Platforms

François Verdier , Primavera de Filippi , Frédéric Mallet , Philippe Collet , Lise Arena , et al.
17th Driving Simulation & Virtual Reality Conference (DSC 2018), Sep 2018, Antibes, France. , pp.2
Poster communications hal-01903049v1
Image document

On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling

Raul Gorcitz , Emilien Kofman , Thomas Carle , Dumitru Potop-Butucaru , Robert de Simone
Preprints, Working Papers, ... hal-01179489v1
Image document

Deterministic execution of synchronous programs in an asynchronous environment. A compositional necessary and sufficient condition

Dumitru Potop-Butucaru , Robert De Simone , Yves Sorel
[Research Report] RR-6656, INRIA. 2008, pp.20
Reports inria-00322563v1
Image document

GEMOC 2014 2nd International Workshop on The Globalization of Modeling Languages

Benoit Combemale , Julien Deantoni , Robert France
Benoit Combemale; Julien Deantoni; Robert France. GEMOC 2014 co-located with MODELS 2014, Sep 2014, Valencia, France. 1236, , pp.82, 2014, CEUR-WS, 1613-0073
Proceedings hal-01074602v1
Image document

Minimal diameter double-loop networks: Dense optimal families

Jean-Claude Bermond , Dvora Tzvieli
Networks, 1991, 21 (1), pp.1-9. ⟨10.1002/net.3230210102⟩
Journal articles istex hal-03013377v1
Image document

On the dichromatic number of surfaces

Pierre Aboulker , Frédéric Havet , Kolja Knauer , Clément Rambaud
Extended Abstracts EuroComb 2021, 14, Springer International Publishing, pp.181-187, 2021, Trends in Mathematics, ⟨10.1007/978-3-030-83823-2_29⟩
Book sections hal-03424140v1
Image document

A Proof of the Barát–Thomassen Conjecture

Julien Bensmail , Ararat Harutyunyan , Tien-Nam Le , Martin Merker , Stéphan Thomassé
Journal of Combinatorial Theory, Series B, 2017, 124, pp.39 - 55. ⟨10.1016/j.jctb.2016.12.006⟩
Journal articles hal-01629943v1
Image document

Gathering with Minimum Completion Time in Sensor Tree Networks

Jean-Claude Bermond , Luisa Gargano , Adele Rescigno
Journal of Interconnection Networks, 2010, 11 (1-2), pp.1-33. ⟨10.1142/S0219265910002714⟩
Journal articles hal-00535816v1
Image document

Estimation of probabilistic worst case execution time while accounting OS costs

Walid Talaboulma , Cristian Maxim , Adriana Gogonel , Yves Sorel , Liliana Cucu-Grosjean
21st IEEE Real-Time Embedded Technology and Applications Symposium, Apr 2015, Seattle, United States
Conference papers hal-01298737v1

Probabilistic real-time scheduling

Liliana Cucu-Grosjean , Adriana Geanina Gogonel , Maxim Dorin
Maryline Chetto. Reat-time Systems Scheduling, ISTE/Wiley, 2014, 978-1-84821-789-8
Book sections hal-01094341v1
Image document

The Structured Way of Dealing with Heterogeneous Live Streaming Systems

Frédéric Giroire , Nicolas Huin , Andrea Tomassilli
[Research Report] RR-9070, Inria Sophia Antipolis; Cnrs; Universite Cote d'Azur. 2017, pp.25
Reports hal-01538587v1
Image document

Maintaining Balanced Trees For Structured Distributed Streaming Systems

Frédéric Giroire , Remigiusz Modrzejewski , Nicolas Nisse , Stéphane Pérennes
[Research Report] RR-8309, INRIA. 2013
Reports hal-00824269v1
Image document

On the Hardness of Equal Shortest Path Routing

Frédéric Giroire , Stéphane Pérennes , Issam Tahiri
International Network Optimization Conference, May 2013, Tenerife, Spain. pp.439-446, ⟨10.1016/j.endm.2013.05.123⟩
Conference papers hal-00926348v1
Image document

On computing tree and path decompositions with metric constraints on the bags

Guillaume Ducoffe , Sylvain Legay , Nicolas Nisse
[Research Report] RR-8842, INRIA Sophia Antipolis - Méditerranée; LRI - CNRS, University Paris-Sud. 2016, pp.66
Reports hal-01254917v1

BtrPlace: Flexible VM Management in Data Centers

Fabien Hermenier , Sophie Demassey
PGMO-COPI'14 Conference on Optimization & Practices in Industry, Oct 2014, Paris, France
Conference papers hal-01095958v1
Image document

Management of service composition based on self-controlled components

Tatiana Aubonnet , Ludovic Henrio , Soumia Kessal , Oleksandra Kulankhina , Frédéric Lemoine , et al.
Journal of Internet Services and Applications, 2015, 6 (15), pp.17. ⟨10.1186/s13174-015-0031-7⟩
Journal articles hal-01180627v1
Image document

A ProActive Backend for ABS: from Modelling to Deployment

Justine Rochas , Ludovic Henrio
[Research Report] RR-8596, INRIA. 2014
Reports hal-01065072v1
Image document

A Generic API for Load Balancing in Structured P2P Systems

Maeva Antoine , Laurent Pellegrino , Fabrice Huet , Françoise Baude
26th International Symposium on Computer Architecture and High Performance Computing, Oct 2014, Paris, France. pp.138 - 143, ⟨10.1109/SBAC-PADW.2014.17⟩
Conference papers hal-01101688v2


Fabien Hermenier
France, N° de brevet: IDDN.FR.001.330025.000.S.C.2014.000.31235. 2014
Patents hal-01353555v1
Image document

Improved time representation in discrete-event simulation

Damián Alberto Vicino
Other [cs.OH]. Université Nice Sophia Antipolis, 2015. English. ⟨NNT : 2015NICE4078⟩
Theses tel-01276128v2
Image document

On the pushable chromatic number of various types of grids

Julien Bensmail , Tapas Das , Dimitri Lajou , Soumen Nandi , Sagnik Sen
Discrete Applied Mathematics, 2023, 329, pp.140-154. ⟨10.1016/j.dam.2023.01.013⟩
Journal articles hal-03531789v2
Image document

When Network Matters: Data Center Scheduling with Network Tasks

Frédéric Giroire , Nicolas Huin , Andrea Tomassilli , Stéphane Pérennes
INFOCOM 2019 - IEEE International Conference on Computer Communications, Apr 2019, Paris, France
Conference papers hal-01989755v1
Image document

From concurrent multi-clock programs to concurrent multi-threaded implementations

Virginia Papailiopoulou , Dumitru Potop-Butucaru , Yves Sorel , Robert de Simone , Loic Besnard , et al.
[Research Report] RR-7577, INRIA. 2011, pp.22
Reports inria-00578585v2
Image document

From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation *

Thomas Carle , Dumitru Potop-Butucaru , Yves Sorel , David Lesens
Leibniz Transactions on Embedded Systems, 2015, ⟨10.4230/LITES-v002-i002-a001⟩
Journal articles hal-01263994v1

PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems

Robert Davis , Tullio Vardanega , Jan Alexanderson , Francis Vatrinet , Mark Pearce , et al.
Ada User Journal, 2014, 2, pp.118-122
Journal articles hal-01094390v1
Image document

Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquare

Arda Goknil , Julien Deantoni , Marie-Agnès Peraldi-Frati , Frédéric Mallet
ICECCS'2013 - 18th International Conference on Engineering of Complex Computer Systems, Jul 2013, Singapore, Singapore
Conference papers hal-00850673v1

Modelling Fault Dependencies when Execution Time Budgets are Exceeded

David Griffin , Benjamin Lesage , Iain Bate , Frank Soboczenski , Robert I. Davis
23rd International Conference on Real-Time Networks and Systems (RTNS 2015), Nov 2015, Lille, France. pp.129-138, ⟨10.1145/2834848.2834870⟩
Conference papers hal-01230443v1