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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
2015
Preprints, Working Papers, ...
hal-01179489v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Minimal diameter double-loop networks: Dense optimal families
Jean-Claude Bermond
,
Dvora Tzvieli
Journal articles
istex
hal-03013377v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On the dichromatic number of surfaces
Pierre Aboulker
,
Frédéric Havet
,
Kolja Knauer
,
Clément Rambaud
Book sections
hal-03424140v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Proof of the Barát–Thomassen Conjecture
Julien Bensmail
,
Ararat Harutyunyan
,
Tien-Nam Le
,
Martin Merker
,
Stéphan Thomassé
Journal articles
hal-01629943v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Gathering with Minimum Completion Time in Sensor Tree Networks
Jean-Claude Bermond
,
Luisa Gargano
,
Adele Rescigno
Journal articles
hal-00535816v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On the Hardness of Equal Shortest Path Routing
Frédéric Giroire
,
Stéphane Pérennes
,
Issam Tahiri
Conference papers
hal-00926348v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Management of service composition based on self-controlled components
Tatiana Aubonnet
,
Ludovic Henrio
,
Soumia Kessal
,
Oleksandra Kulankhina
,
Frédéric Lemoine
,
et al.
Journal articles
hal-01180627v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A ProActive Backend for ABS: from Modelling to Deployment
Justine Rochas
,
Ludovic Henrio
[Research Report] RR-8596, INRIA. 2014
Reports
hal-01065072v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
BtrPlace
Fabien Hermenier
France, N° de brevet: IDDN.FR.001.330025.000.S.C.2014.000.31235. 2014
Patents
hal-01353555v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Improved time representation in discrete-event simulation
Damián Alberto Vicino
Theses
tel-01276128v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On the pushable chromatic number of various types of grids
Julien Bensmail
,
Tapas Das
,
Dimitri Lajou
,
Soumen Nandi
,
Sagnik Sen
Journal articles
hal-03531789v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation *
Thomas Carle
,
Dumitru Potop-Butucaru
,
Yves Sorel
,
David Lesens
Journal articles
hal-01263994v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More