1597 results  save search

hal-01166360v3  Reports
Adnan BouakazPascal FradetAlain Girault. Symbolic Analysis of Dataflow Graphs (Extended Version)
[Research Report] 8742, Inria - Research Centre Grenoble – Rhône-Alpes. 2016
hal-02002523v1  Conference papers
Ivanoe De FalcoEryk LaskowskiRichard OlejnikUmberto ScafuriErnesto Tarantino et al.  Multi-Objective Extremal Optimization in Processor Load Balancing for Distributed Programs
Parallel Processing and Applied Mathematics - 12th International Conference, 2017, Revised Selected, Sep 2017, Lublin, Poland
hal-01184408v2  Reports
Albert CohenAlain DartePaul Feautrier. Static Analysis of OpenStream Programs
[Research Report] RR-8764, CNRS; Inria; ENS Lyon. 2016, pp.26
hal-01251309v1  Conference papers
Laurent CiarlettaThomas Gurriet. Towards a generic model of adaptative geofencing focused on operationnal issues
3rd AETOS International Workshop on Research Challenges for Future RPAS/UAS , May 2015, Atlanta, United States
hal-00801571v1  Conference papers
Christophe AliasAlain DartePaul FeautrierLaure Gonnord. Rank: a tool to check program termination and computational complexity
Constraints in Software Testing Verification and Analysis, Mar 2013, Luxembourg
hal-00950533v1  Conference papers
Emilien KofmanJean-Vivien MilloRobert de Simone. Application Architecture Adequacy through an FFT case study
JRWRTC2013 - 7th Junior Researcher Workshop on Real-Time Computing, Sebastian Altmeyer, Oct 2013, Sophia Antipolis, France
hal-00650630v1  Conference papers
Dominique BlouinEric SennRobin BonamyDaniel ChilletSébastien Bilavarn et al.  FPGA modeling for SoC design exploration
HEART (International Workshop on Highly-Efficient Accelerators and Reconfigurable Technologies, Imperial college, Jun 2011, London, United Kingdom
hal-00650640v1  Conference papers
Robin BonamyDaniel ChilletSébastien BilavarnOlivier Sentieys. Towards a Power and energy Efficient Use of Partial Dynamic Reconfiguration
Colloque GDR SoC/SiP (System On Chip - System In Package), Jun 2011, Lyon, France
hal-01900328v1  Conference papers
Evariste NtaryamiraCristian MaximLiliana Cucu-Grosjean. Ensuring data freshness for periodic real-time tasks
Junior Workshop: JRWRTC 2018 - 12th Junior Researcher Workshop on Real-Time Computing, Oct 2018, Poitiers, France
hal-00850678v1  Conference papers
Arda GoknilIvan KurtevJean-Vivien Millo. A Metamodeling Approach for Reasoning on Multiple Requirements Models
EDOC 2013 - The 17th IEEE International Enterprise Distributed Object Computing Conference Conference, Sep 2013, Vancouver, Canada
hal-00850673v1  Conference papers
Arda GoknilJulien DeantoniMarie-Agnès Peraldi-FratiFrédéric Mallet. Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquare
ICECCS'2013 - 18th International Conference on Engineering of Complex Computer Systems, Jul 2013, Singapore, Singapore
hal-01503378v1  Reports
Hervé YviquelAlexandre SanchezRaulet MickaëlEmmanuel Casseau. Multicore Runtime for Dynamic Dataflow Video Decoders
[Technical Report] IETR/INSA Rennes; IRISA, Inria Rennes. 2017
hal-01104610v1  Conference papers
Mokhtar BouainVenkatasubramanian ViswanathanRabie Ben AtitallahJean-Luc Dekeyser. Communication-centric design for FMC based I/O system
9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip, ReCoSoC 2014, May 2014, Montpellier, France
inria-00289015v2  Journal articles
Jorge VillagraBrigitte d'Andréa-NovelMichel FliessHugues Mounier. Synthèse algébrique d'estimateurs de vitesses longitudinale et latérale d'une automobile
e-STA Sciences et Technologies de l’Automatique, SEE - Société de l'Electricité, de l'Electronique et des Technologies de l'Information et de la Communication 2008, 5 (3), pp.12-27
hal-02430070v1  Conference papers
Guillaume BaudartLouis MandelMarc PouzetEric AtkinsonBenjamin Sherman et al.  Programmation d'Applications Réactives Probabilistes
JLFA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
hal-02433318v1  Poster communications
Christophe Alias. On Channel Restructuring for Complete FIFO Recovery
ICCD 2019 - 37th IEEE International Conference on Computer Design, Nov 2019, Abu Dhabi, United Arab Emirates
hal-02433521v1  Book sections
Yliès FalconeSrinivas Pinisetty. On the Runtime Enforcement of Timed Properties
Proceedings of the Runtime Verification 2019 conference, Springer, pp.48-69, 2019, ⟨10.1007/978-3-030-32079-9_4⟩
hal-02433552v1  Book sections
Ezio BartocciYliès FalconeGiles Reger. International Competition on Runtime Verification (CRV)
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019., Springer, pp.41-49, 2019, ⟨10.1007/978-3-030-17502-3_3⟩
hal-02407007v1  Conference papers
Slim Ben-AmorLiliana Cucu-GrosjeanDorin Maxim. Worst-case response time analysis for partitioned fixed-priority DAG tasks on identical processors
ETFA 2019 - 24th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2019, Zaragoza, Spain. pp.1423-1426, ⟨10.1109/ETFA.2019.8869147⟩
inria-00638936v1  Journal articles
Claire PagettiJulien ForgetFrédéric BoniolMikel CordovillaDavid Lesens. Multi-task implementation of multi-periodic synchronous programs
Discrete Event Dynamic Systems, Springer Verlag, 2011, 21 (3), pp.307-338