Filtrer vos résultats
- 32
- 6
- 24
- 8
- 4
- 1
- 1
- 3
- 37
- 3
- 2
- 1
- 3
- 2
- 3
- 2
- 1
- 1
- 8
- 7
- 4
- 3
- 3
- 1
- 35
- 3
- 37
- 37
- 13
- 13
- 5
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 38
- 13
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
38 résultats
|
|
|
triés par
|
|
|
Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent TasksACM Transactions on Embedded Computing Systems (TECS), 2020, 18 (6), pp.1-25. ⟨10.1145/3356865⟩
Article dans une revue
hal-02459836v1
|
||
|
|
Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched NetworksECRTS 2018 - 30th Euromicro Conference on Real-Time Systems, Jul 2018, Barcelona, Spain. pp.1-22, ⟨10.4230/LIPIcs.ECRTS.2018.15⟩
Communication dans un congrès
hal-01903759v1
|
||
Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case AnalysisEuromicro Conference on Real-Time Systems, Jul 2015, Lund, Sweden. ⟨10.1109/ECRTS.2015.29⟩
Communication dans un congrès
hal-01257065v1
|
|||
|
|
Bounding Deadline Misses in Weakly-Hard Real-Time Systems with Task DependenciesDesign, Automation & Test in Europe Conference & Exhibition (DATE 2017), Mar 2017, Lausanne, Switzerland
Communication dans un congrès
hal-01426632v1
|
||
|
|
Exploiting Execution Dynamics in Timing Analysis Using Job SequencesIEEE Design & Test, 2017, 35 (4), pp.16-22. ⟨10.1109/MDAT.2017.2746638⟩
Article dans une revue
hal-01674751v1
|
||
|
|
Informatique et durabilité, une difficile transposition didactiqueDidapro 10 2024 - Didactique de l'informatique et des STIC, Jan 2024, Louvain-la-Neuve, Belgique. pp.1-10
Communication dans un congrès
hal-04448717v1
|
||
|
|
A long road ahead: a review of the state of knowledge of the environmental effects of digitizationCurrent Opinion in Environmental Sustainability, 2023, 62, pp.101296. ⟨10.1016/j.cosust.2023.101296⟩
Article dans une revue
hal-04448683v1
|
||
|
|
A Generic Coq Proof of Typical Worst-Case AnalysisRTSS 2018 - 39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States. pp.1-12
Communication dans un congrès
hal-01903752v1
|
||
|
|
A Formal Link Between Response Time Analysis and Network CalculusECRTS 2022 - 34th Euromicro Conference on Real-Time Systems, Jul 2022, Modene, Italy. ⟨10.4230/DARTS.8.1.3⟩
Communication dans un congrès
hal-03770727v1
|
||
|
|
Mixed criticality systems with weakly-hard constraintsInternational Conference on Real Time and Networks Systems, Nov 2015, Lille, France. ⟨10.1145/2834848.2834850⟩
Communication dans un congrès
hal-01257067v1
|
||
|
|
Methods for Knowledge Based Controlling of Distributed SystemsAutomated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Sep 2010, Singapour, Singapore. pp.52-66, ⟨10.1007/978-3-642-15643-4_6⟩
Communication dans un congrès
hal-00557799v1
|
||
|
|
The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)Dagstuhl Reports, 2018, 8, pp.122 - 149. ⟨10.4230/DagRep.8.2.122⟩
Article dans une revue
hal-01956964v1
|
||
|
|
The crisis of the scientific mind : an investigation, a tragedy and a collective redistribution of rolesLes Cahiers de Framespa : e-Storia, 2022, 40, ⟨10.4000/framespa.13150⟩
Article dans une revue
hal-03714886v1
|
||
|
|
CertiCAN: Certifying CAN Analyses and Their Results[Research Report] RR-9443, Inria - Research Centre Grenoble – Rhône-Alpes. 2021, pp.1-32
Rapport
hal-03499968v1
|
||
|
|
How realistic are claims about the benefits of using digital technologies for GHG emissions mitigation?LIMITS 2022 - Eighth Workshop on Computing within Limits, Jun 2022, Virtual, France
Communication dans un congrès
hal-03949261v1
|
||
|
|
RTLib: A Library of Timed Automata for Modeling Real-Time Systems[Research Report] Grenoble 1 UGA - Université Grenoble Alpe; INRIA Grenoble - Rhone-Alpes. 2016
Rapport
hal-01393888v1
|
||
|
|
Taking conviviality seriously (extended abstract)2024 - 1st conference on Undone Science in Computer Science, Feb 2024, Nantes, France. pp.1-4
Communication dans un congrès
hal-04448759v1
|
||
|
|
Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task ChainsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018, 37 (11), pp.2578-2589. ⟨10.1109/TCAD.2018.2861016⟩
Article dans une revue
hal-01956931v1
|
||
|
|
Finite Ready Queues As a Mean for Overload Reduction in Weakly-Hard Real-Time SystemsRTNS 2017 - 25th International Conference on Real-Time Networks and Systems, Oct 2017, Grenoble, France. pp.88-97, ⟨10.1145/3139258.3139259⟩
Communication dans un congrès
hal-01674737v1
|
||
|
|
Evaluation and Comparison of Real-Time Systems Analysis Methods and ToolsFMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Maynooth, Ireland. pp.284-290, ⟨10.1007/978-3-030-00244-2_19⟩
Communication dans un congrès
hal-01903730v1
|
||
|
|
A Generalized Digraph Model for Expressing DependenciesRTNS '18 - 26th International Conference on Real-Time Networks and Systems, Oct 2018, Chasseneuil-du-Poitou, France. pp.1-11, ⟨10.1145/3273905.3273918⟩
Communication dans un congrès
hal-01878100v1
|
||
Formal Analysis of Timing Effects on Closed-loop Properties of Control Software35th IEEE Real-Time Systems Symposium 2014 (RTSS), Dec 2014, Rome, Italy
Communication dans un congrès
hal-01097622v1
|
|||
|
|
Work In Progress: Toward a Coq-certified Tool for the Schedulability Analysis of Tasks with OffsetsRTSS 2017 - IEEE Real-Time Systems Symposium, Dec 2017, Paris, France. pp.1-3
Communication dans un congrès
hal-01629288v1
|
||
|
|
Quantifying the Flexibility of Real-Time Systems10th Junior Researcher Workshop on Real-Time Computing , Oct 2016, Brest, France
Communication dans un congrès
hal-01426658v1
|
||
|
|
Sciences, Environnements et Sociétés[0] Inria. 2019
Rapport
hal-02340948v1
|
||
Typical Worst Case Response-Time Analysis and its Use in Automotive Network DesignThe 51st Annual Design Automation Conference 2014, Jun 2014, San Francisco, CA, United States. ⟨10.1145/2593069.2602977⟩
Communication dans un congrès
hal-01097619v1
|
|||
|
|
A Framework for Evaluating Schedulability Analysis ToolsModels, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, Aug 2017, Aalborg, Denmark
Communication dans un congrès
hal-01674731v1
|
||
|
|
Assessing the Potential of Carpooling for Reducing Vehicle Kilometers TraveledICT4S 2023 - 9th International Conference on Information and Communications Technology for Sustainability, Jun 2023, Rennes, France. pp.120-131, ⟨10.1109/ICT4S58814.2023.00021⟩
Communication dans un congrès
hal-04401006v1
|
||
|
|
System-level Logical Execution Time: Augmenting the Logical Execution Time Paradigm for Distributed Real-Time Automotive SoftwareACM Transactions on Cyber-Physical Systems, 2021, 5 (2), pp.1-27. ⟨10.1145/3381847⟩
Article dans une revue
hal-03125851v1
|
||
Knowledge-based construction of distributed constrained systemsSoftware and Systems Modeling, 2015, ⟨10.1007/s10270-014-0451-z⟩
Article dans une revue
hal-01257059v1
|
- 1
- 2