Lionel Morel
36
Documents
Publications
|
|
A Survey on Parallelism and DeterminismACM Computing Surveys, 2022, ⟨10.1145/3564529⟩
Journal articles
hal-03828497v1
|
|
|
Formation par projet et opportunité d'accès à distance à des ressources pédagogiquesJournal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2014, JPCNFM 2012 – 12e journées pédagogiques du CNFM (Coordination nationale pour la formation en micro-électronique et en nanotechnologies), 13 (005), pp.1-10. ⟨10.1051/j3ea/2014005⟩
Journal articles
hal-01005316v1
|
Array Iterators in Lustre: From a Language Extension to Its Exploitation in ValidationEURASIP Journal on Embedded Systems, 2007, pp.59130
Journal articles
hal-00292876v1
|
|
|
On optimizing scalar self-rebalancing treesCOMPAS 2020 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2020, Lyon, France. pp.1-7
Conference papers
hal-03048742v1
|
|
|
Alternative Platforms and Societal Horizon : Characterisation and Strategies for DevelopmentSASE 31st Annual Meeting Fathomless Futures: Algorithmic and Imagined, Jun 2019, New York City, United States
Conference papers
halshs-02140104v1
|
|
|
Polyhedral Dataflow Programming: a Case StudySBAC-PAD 2018 - 30th International Symposium on Computer Architecture and High-Performance Computing, Sep 2018, Lyon, France. pp.1-9
Conference papers
cea-01855997v2
|
|
|
NumaMMA: NUMA MeMory AnalyzerICPP 2018 - 47th International Conference on Parallel Processing, Aug 2018, Eugene, United States. pp.1-10, ⟨10.1145/3225058.3225094⟩
Conference papers
cea-01854072v2
|
|
|
CalMAR -a Multi-Application Dataflow RuntimeThirteenth ACM International Conference on Embedded Software 2017, EMSOFT'17, Oct 2017, Seoul, South Korea. ⟨10.1145/3125503.3125562⟩
Conference papers
hal-01631691v1
|
|
|
numap: A Portable Library For Low-Level Memory ProfilingEmbedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), Jul 2016, Samos, Greece. ⟨10.1109/SAMOS.2016.7818331⟩
Conference papers
hal-01408979v1
|
|
|
A Monitoring System for Runtime Adaptations of Streaming ApplicationsInternational Conference on Parallel, Distributed and Network-based Processing, Mar 2015, Turku, Finland. ⟨10.1109/PDP.2015.53⟩
Conference papers
hal-01229025v1
|
|
|
Integration of Dataflow Components Within a Legacy Video Transcoding Framework2015 IEEE Workshop on Signal Processing Systems, SiPS 2015, Oct 2015, Hangzhou, China. ⟨10.1109/SiPS.2015.7345013⟩
Conference papers
hal-01289532v1
|
|
|
Extending dataflow programs for guaranteed throughput.MES '13 - International Workshop on Many-core Embedded Systems, Jun 2013, Tel Aviv, Israel. pp.54-57, ⟨10.1145/2489068.2489077⟩
Conference papers
hal-00876566v1
|
|
|
A QoS Monitoring System for Dataflow ProgramsComPAS: Conférence en Parallélisme, Architecture et Système, Inria, Jan 2013, Grenoble, France
Conference papers
hal-00780976v1
|
|
|
Rialto 2.0: A Language for Heterogeneous ComputationsDistributed, Parallel and Biologically Inspired Systems, Sep 2010, Brisbane, Australia. pp.7-18, ⟨10.1007/978-3-642-15234-4_3⟩
Conference papers
hal-00521339v1
|
Formal modelling framework of data acquisition software using a synchronous approach for timing analysis30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software (WRTP/RTS'09), Oct 2009, Mrągowo, Poland. pp.1-8
Conference papers
hal-00412224v1
|
|
Geomorphic and archeological features of coastal caves in madre de dios archipelago (Patagonia, Chile)International Congress of Speleology, Nov 2009, Kerrville, United States. pp.516-521
Conference papers
halsde-00446647v1
|
|
|
|
Specifying consistent subsets of UMLEducator symposium (co-located with Models'08), Sep 2008, Toulouse, France. pp.26-38
Conference papers
hal-00321776v1
|
Description and Implementation of a UML Style GuideWorkshop Quality in Modeling, Sep 2008, France. pp.291-302
Conference papers
hal-00360750v1
|
|
|
|
Description and Implementation of a Style Guide for UMLQuality in Modeling (co-located with MODELS'08), Sep 2008, Toulouse, France. pp.31-45
Conference papers
hal-00321772v1
|
Centralized vs. Decentralized QoS Management policyICTTA'08, Apr 2008, Damas, Syria. pp.1-6, ⟨10.1109/ICTTA.2008.4530213⟩
Conference papers
hal-00260715v1
|
|
Design and Implementation of Energy Saving Digital Hydraulic Control SystemThe Tenth Scandinavian International Conference on Fluid Power (SICFP), 2007, Finland. pp.1
Conference papers
hal-00387365v1
|
|
Design and Validation of Digital Controllers for Hydraulic SystemsTenth Scandinavian International Conference on Fluid Power, 2007, Finland. pp.1
Conference papers
hal-00387358v1
|
|
Executable Contracts for Incremental Prototypes of Embedded SystemsFormal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), 2007, Portugal. pp.121-135
Conference papers
hal-00387352v1
|
|
Stepwise development of Simulink models using the refinement calculus frameworkICTAC'07 - International Colloquium on Theoretical Aspects of Computing, Sep 2007, Macao, China. pp.79-93, ⟨10.1007/978-3-540-75292-9_6⟩
Conference papers
hal-00292880v1
|
|
Logical-time contracts for reactive embedded componentsEuromicro Conference, 2004. Proceedings. 30th, Sep 2004, Rennes, France. pp.48 - 55, ⟨10.1109/EURMIC.2004.1333355⟩
Conference papers
hal-00293125v1
|
|
Arrays and contracts for the specification and analysis of regular systemsApplication of Concurrency to System Design, 2004. ACSD 2004. Proceedings. Fourth International Conference on, Jun 2004, Hamilton, Canada. pp.57- 66, ⟨10.1109/CSD.2004.1309116⟩
Conference papers
hal-00293109v1
|
|
Expressing Iterative Properties Logically in a Symbolic SettingInternational Conference on Algebraic Methodology and Software Technology (AMAST'04), 2004, United Kingdom. pp.460-474, ⟨10.1007/b98770⟩
Conference papers
hal-00293252v1
|
|
Efficient compilation of array iterators for LustreSynchronous Languages and Applications, 2002, France. pp.1
Conference papers
hal-00387350v1
|
|
|
Les plateformes collaboratives : Éléments de caractérisation et stratégies de développement2019
Preprints, Working Papers, ...
halshs-02140103v1
|
|
|
On optimizing scalar self-rebalancing trees[Research Report] RR-9343, ENS LYON; Inria - Research Centre Grenoble – Rhône-Alpes; Université de Lyon I Claude Bernard. 2020
Reports
hal-02573052v1
|
|
|
Semantic Polyhedral Model for Arrays and Lists[Research Report] INRIA. 2018
Reports
hal-03549719v1
|
|
|
Semantic Array Dataflow Analysis[Research Report] RR-9232, Inria Grenoble Rhône-Alpes. 2018, pp.1-22
Reports
hal-01954396v1
|
|
|
Static Analysis via Horn Encoding from synchronous Dataflow Programs[Technical Report] RT-0492, Université Lyon 1 Claude Bernard, LIP & INSA, CITI 2017, pp.25
Reports
hal-01614637v1
|
|
|
Combining dataflow programming and polyhedral optimization, a case study[Technical Report] RT-0490, Inria Rhône-Alpes; CITI - CITI Centre of Innovation in Telecommunications and Integration of services; LIP - ENS Lyon. 2017, pp.40
Reports
hal-01572439v1
|
|
|
numap: A Portable Library For Low Level Memory Profiling[Research Report] RR-8879, INRIA. 2016
Reports
hal-01285522v1
|
|
|
Exploitation des structures régulières et des spécifications locales pour le développement correct de systèmes réactifs de grande tailleAutre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2005. Français. ⟨NNT : ⟩
Theses
tel-00011841v1
|