Filter your results
- 30
- 7
- 28
- 4
- 2
- 1
- 1
- 1
- 1
- 36
- 3
- 2
- 1
- 2
- 3
- 4
- 3
- 2
- 4
- 1
- 4
- 2
- 3
- 1
- 2
- 33
- 4
- 18
- 18
- 17
- 13
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 37
- 16
- 12
- 6
- 6
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
37 Results
|
|
sorted by
|
|
WATERS Industrial Challenge 2017 with Prelude8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2017), Jun 2017, Dubrovnik, Croatia
Conference papers
hal-03690252v1
|
||
|
Verifying end-to-end real-time constraints on multi-periodic models ETFA2017 - 22nd IEEE International Conference on Emerging Technologies And Factory Automation, Sep 2017, Limassol, Cyprus
Conference papers
hal-01620403v1
|
||
Implantation multitâche de programmes synchrones multipériodiques7ième colloque francophone sur la Modélisation des Systèmes Réactifs, Nov 2009, Nantes, France. pp.741-755
Conference papers
hal-00830672v1
|
|||
|
Propriétés de latence, fraîcheur et réactivité dans un programme synchrone multi-périodiqueApproches Formelles dans l'Assistance au Développement de Logiciels, Apr 2013, Nancy, France
Conference papers
hal-00830675v1
|
||
End-to-end latency computation in a multi-periodic design28th Symposium On Applied Computing (SAC'13), Apr 2013, Coimbra, Portugal. pp.1682--1687
Conference papers
hal-00863174v1
|
|||
|
Ordonnancement de tâches périodiques avec précédences étendues sans sémaphoresROADEF 2011, École Nationale Supérieure des Mines de Saint-Étienne, Mar 2011, SAINT ETIENNE, France
Conference papers
inria-00563798v1
|
||
|
A Real-Time Architecture Design Language for Multi-Rate Embedded Control Systems25th ACM Symposium On Applied Computing, Mar 2010, Sierre, Switzerland. pp.527--534
Conference papers
hal-00688490v1
|
||
|
Code generation for multi-phase tasks on a multi-core distributed memory platform2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2019, Hangzhou, China
Conference papers
hal-02295835v1
|
||
|
Static Analysis Of Binary Code With Memory Indirections Using PolyhedraVMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Cascais, Portugal. pp.114-135, ⟨10.1007/978-3-030-11245-5_6⟩
Conference papers
hal-01939659v1
|
||
MARTE: a new OMG profile RFP for the Modeling and Analysis of Real-Time Embedded SystemsDAC 2005 Workshop - UML for SoC Design, Jun 2005, Anaheim California, United States
Conference papers
hal-02466757v1
|
|||
Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2018, Dresden, Germany
Conference papers
hal-02301845v1
|
|||
|
Scheduling Dependent Periodic Tasks Without Synchronization Mechanisms16th IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2010, Stockholm, Sweden. pp.301--310
Conference papers
hal-00800980v1
|
||
|
Code generation for multi-phase tasks on multicore with distributed memoryJunior Researcher Workshop on Real-Time Computing, Oct 2018, Poitiers, France
Conference papers
hal-02014418v1
|
||
|
A synchronous language with partial delay specification for real-time systems programming10th Asian Symposium on Programming Languages and Systems, Dec 2012, Kyoto, Japan. pp.223-238
Conference papers
hal-00800975v1
|
||
Marte: A new profile rfp for the modeling and analysis of real-time embedded systemsDac Workshop - UML-SoC05, Jun 2005, Anaheim CA, United States
Conference papers
hal-01071285v1
|
|||
|
A Multi-Periodic Synchronous Data-Flow Language11th IEEE High Assurance Systems Engineering Symposium, Dec 2008, Nanjing, China. pp.251-260
Conference papers
hal-00802695v1
|
||
Efficient tree-based symbolic WCET computationCompas'21 :Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jul 2021, Lyon, France
Conference papers
hal-03428961v1
|
|||
|
Context-sensitive Parametric WCET Analysis15th International Workshop on Worst-Case Execution Time Analysis, Dec 2015, Lund Sweden. ⟨10.4230/OASIcs.WCET.2015.55⟩
Conference papers
hal-01239158v1
|
||
|
Programming with hardware/software functions[Research Report] RR-8835, INRIA Lille Nord Europe. 2015, pp.18
Reports
hal-01248163v1
|
||
|
Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset19th International Conference on Real-Time and Network Systems, Irccyn, Sep 2011, Nantes, France
Conference papers
inria-00618587v1
|
||
|
Relational abstract interpretation of arrays in assembly codeFormal Methods in System Design, 2022, ⟨10.1007/s10703-022-00399-3⟩
Journal articles
hal-03794951v1
|
||
|
A Synchronous Language for Critical Embedded Systems with Multiple Real-Time ConstraintsEmbedded Systems. Institut Supérieur de l’Aéronautique et de l’Espace, 2009. English. ⟨NNT : ⟩
Theses
tel-01942421v1
|
||
|
Symbolic WCET ComputationACM Transactions on Embedded Computing Systems (TECS), 2017, 17 (2), pp.1 - 26. ⟨10.1145/3147413⟩
Journal articles
hal-01665076v1
|
||
|
Multi-task implementation of multi-periodic synchronous programsDiscrete Event Dynamic Systems, 2011, 21 (3), pp.307-338. ⟨10.1007/s10626-011-0107-x⟩
Journal articles
inria-00638936v1
|
||
|
Ecole Temps Réel 2017 - Uniprocessor real-time schedulingDoctoral. France. 2017
Lectures
hal-03193898v1
|
||
|
New challenges in adaptive real-time systems with parametric WCET12th International Real-Time Scheduling Open Problems Seminar, Jul 2023, Vienne, Austria
Conference papers
hal-04197411v1
|
||
|
Minimizing a real-time task set through Task ClusteringProceedings of the 22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. pp.23-31, ⟨10.1145/2659787.2659820⟩
Conference papers
hal-01073565v1
|
||
|
Minimizing the cardinality of a real-time task set by automated task clusteringProceedings of the 7th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2013), Oct 2013, Sophia Antipolis, France. pp.9-12
Conference papers
hal-00874979v1
|
||
|
Automated runnable to task mapping2013
Reports
hal-00827798v2
|
||
|
Synchronous semantics of multi-mode multi-periodic systemsSAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Apr 2022, Virtual Event, France. pp.1248-1257, ⟨10.1145/3477314.3507271⟩
Conference papers
hal-03817684v2
|
- 1
- 2