Filtrer vos résultats
- 40
- 11
- 20
- 18
- 5
- 4
- 3
- 1
- 16
- 1
- 51
- 3
- 2
- 3
- 3
- 2
- 3
- 1
- 1
- 6
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 48
- 3
- 43
- 41
- 27
- 10
- 9
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 51
- 19
- 12
- 10
- 7
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 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
51 résultats
|
|
triés par
|
|
Fast Redundancy Elimination Using High-Level Structural Information from EsterelRR-4330, INRIA. 2001
Rapport
inria-00072257v1
|
||
Synchronous Approach and SchedulingMaryline Chetto. Real-time Systems Scheduling 2: Focuses, Wiley-ISTE, 2014, 978-1-84821-789-8. ⟨10.1002/9781119042976.ch4⟩
Chapitre d'ouvrage
hal-01096255v1
|
|||
|
From SSA to Synchronous Concurrency and Back[Research Report] RR-9380, INRIA Sophia Antipolis - Méditerranée (France). 2020, pp.23
Rapport
hal-03043623v1
|
||
Approche synchrone et ordonnancementMaryline Chetto. Ordonnancement dans les systèmes temps réel, ISTE, 2014, 978-1-78405-039-9
Chapitre d'ouvrage
hal-01096245v1
|
|||
|
Clock-Driven Distributed Real-Time Implementation of Endochronous Synchronous ProgramsInternational conference on Embedded software - EMSOFT 2009, Oct 2009, Grenoble, France. ⟨10.1145/1629335.1629356⟩
Communication dans un congrès
inria-00485007v1
|
||
Integrated Worst-Case Execution Time Estimation of Multicore Applications13th International Workshop on Worst-Case Execution Time Analysis, Jul 2013, Paris, France. pp.21-31, ⟨10.4230/OASIcs.WCET.2013.i⟩
Communication dans un congrès
hal-00909330v1
|
|||
|
Throughput Optimization by Software Pipelining of Conditional Reservation tables[Research Report] RR-7606, INRIA. 2011
Rapport
inria-00587319v2
|
||
|
Programming and verifying real-time design using logical timeFDL 2021 - Forum on specification & Design Languages, Sep 2021, Antibes, France
Communication dans un congrès
hal-03537976v1
|
||
|
Sheep in wolf's clothing: Implementation models for data-flow multi-threaded software[Research Report] RR-9057, Inria Paris. 2017, pp.31
Rapport
hal-01509314v1
|
||
Quand la RespberryPi se met à l'avioniqueOpen Silicium, 2015
Article dans une revue
hal-01264052v1
|
|||
From Synchronous Specifications to Statically-Scheduled Hard Real-Time ImplementationsSandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Springer Science+Business Media, LLC 2010, pp.34, 2010, 978-1-4419-6399-4
Chapitre d'ouvrage
inria-00495666v1
|
|||
|
Vérification d'applications temps-réel basées sur le paradigme de Logical Execution Time (LET)École d’Été Temps Réel 2021, Sep 2021, Poitiers, France
Communication dans un congrès
hal-03545758v1
|
||
|
Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable HardwareACM Transactions on Architecture and Code Optimization, 2019, 16 (3), pp.1-27. ⟨10.1145/3328799⟩
Article dans une revue
hal-02422789v1
|
||
|
Bidirectional Reactive Programming for Machine Learning2023
Pré-publication, Document de travail
hal-04354071v1
|
||
|
Polyhedral Scheduling and Relaxation of Synchronous Reactive SystemsIMPACT 2022 - 12th International Workshop on Polyhedral Compilation Techniques, Jun 2022, Budapest, Hungary. pp.1-12
Communication dans un congrès
hal-03901645v1
|
||
|
Real-Time Systems CompilationEmbedded Systems. EDITE, 2015
HDR
tel-01264021v1
|
||
|
Integrated Worst-Case Response Time Evaluation of Multicore Non-Preemptive Applications[Research Report] RR-8234, INRIA. 2013
Rapport
hal-00787931v1
|
||
|
Necessary and Sufficient Conditions for Deterministic Desynchronization[Research Report] RR-6152, INRIA. 2007, pp.21
Rapport
inria-00137885v2
|
||
Optimizations for faster execution of Esterel programsFormal Methods and Models for Codesign (MEMOCODE'2003), Jun 2003, Mont Saint-Michel, France. pp.227-236 - ISBN 0-7695-1923-7, ⟨10.1109/MEMCOD.2003.1210107⟩
Communication dans un congrès
hal-00618104v1
|
|||
|
Reconciling performance and predictability on a many-core through off-line mapping9th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC'2014), May 2014, Montpellier, France. pp.1-8, ⟨10.1109/ReCoSoC.2014.6861367⟩
Communication dans un congrès
hal-01095116v1
|
||
|
1-Synchronous Programming of Large Scale, Multi-Periodic Real-Time Applications with Functional Degrees of Freedom2020
Pré-publication, Document de travail
hal-02495471v2
|
||
|
Concurrency in Synchronous SystemsFormal Methods in System Design, 2006, 28 (2), pp.111-130. ⟨10.1007/s10703-006-7844-8⟩
Article dans une revue
inria-00124252v1
|
||
|
Hard Real Time and Mixed Time Criticality on Off-The-Shelf Embedded Multi-CoresInternational Conference on Embedded and Real-Time Software and Systems (ERTS2), Jan 2016, Toulouse, France
Communication dans un congrès
hal-01425887v1
|
||
|
From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation *Leibniz Transactions on Embedded Systems, 2015, ⟨10.4230/LITES-v002-i002-a001⟩
Article dans une revue
hal-01263994v1
|
||
|
Static mapping of real-time applications onto massively parallel processor arrays14th International Conference on Application of Concurrency to System Design, Jun 2014, Hammamet, Tunisia
Communication dans un congrès
hal-01095130v1
|
||
|
Deterministic execution of synchronous programs in an asynchronous environment. A compositional necessary and sufficient condition[Research Report] RR-6656, INRIA. 2008, pp.20
Rapport
inria-00322563v1
|
||
|
From concurrent multi-clock programs to concurrent multi-threaded implementations[Research Report] RR-7577, INRIA. 2011, pp.22
Rapport
inria-00578585v2
|
||
|
On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling2015
Pré-publication, Document de travail
hal-01179489v1
|
||
|
Mixed-criticality in Railway Systems: A Case Study on Signalling ApplicationWorkshop on Mixed Criticality for Industrial Systems (WMCIS'2014), Jun 2014, Paris, France
Communication dans un congrès
hal-01095111v1
|
||
|
Programmable routers for efficient mapping of applications onto NoC-based MPSoCsDASIP 2012 -Conference on Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.1-8
Communication dans un congrès
hal-00787497v1
|
- 1
- 2