Filtrer vos résultats
- 56
- 6
- 32
- 21
- 5
- 1
- 1
- 1
- 1
- 13
- 3
- 62
- 2
- 5
- 6
- 3
- 2
- 5
- 5
- 5
- 2
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 1
- 3
- 59
- 2
- 1
- 46
- 40
- 15
- 12
- 11
- 7
- 7
- 7
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 62
- 8
- 8
- 7
- 7
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 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
62 résultats
|
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart ProgramsStatic Analysis Symposium, Sep 2010, Perpignan, France. ⟨10.1007/978-3-642-15769-1⟩
Communication dans un congrès
inria-00523298v1
|
||
|
Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings[Research Report] RR-7235, INRIA. 2010, pp.32
Rapport
inria-00464356v1
|
||
SToP : Scalable Termination analysis of (C) Programs (tool presentation)Tapas 2012, Sep 2012, Deauville, France
Communication dans un congrès
hal-00760926v1
|
|||
Runtime resource assurance and adaptation with Qinna framework : a case studyReal Time Software (RTS) 2008, Oct 2008, Poland. pp.617-624, ⟨10.1109/IMCSIT.2008.4747307⟩
Communication dans un congrès
hal-00801546v1
|
|||
|
Abstract acceleration in Linear relation analysis2010
Rapport
hal-00785116v1
|
||
|
Knit&Frog: Pattern matching compilation for custom memory representations (doctoral session)AFADL 2022 - 21ème journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2022, Vannes, France
Communication dans un congrès
hal-03676356v1
|
||
|
Synthesis of ranking functions using extremal counterexamplesProgramming Languages, Design and Implementation, Jun 2015, Portland, Oregon, United States. ⟨10.1145/2737924.2737976⟩
Communication dans un congrès
hal-01144622v1
|
||
|
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction2013
Rapport
hal-00780521v2
|
||
|
On Confluence of Parallel-Innermost Term RewritingIWC 2022 - 11th International Workshop on Confluence, Aug 2022, Haifa, Israel
Communication dans un congrès
hal-03710007v2
|
||
|
Accelerated Invariant Generation for C Programs with Aspic and C2fsmTools for Automatic Program AnalysiS, Sep 2010, Perpignan, France. ⟨10.1016/j.entcs.2010.09.014⟩
Communication dans un congrès
inria-00523320v1
|
||
|
Combining Range and Inequality Information for Pointer DisambiguationScience of Computer Programming, 2017
Article dans une revue
hal-01625402v1
|
||
|
Symbolic Range Analysis of PointersInternational Symposium of Code Generation and Optimization, Mar 2016, Barcelona, Spain. pp.791-809
Communication dans un congrès
hal-01228928v1
|
||
|
Parallel Complexity of Term Rewriting SystemsWST 2021 - 17th International Workshop on Termination, Jul 2021, Virtual, France. pp.1-6
Communication dans un congrès
hal-03418400v1
|
||
|
Accélération abstraite pour l'amélioration de la précision en Analyse des Relations LinéairesAutre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2007. Français. ⟨NNT : ⟩
Thèse
tel-00196899v1
|
||
|
Quantity of Resource Properties Expression and Runtime Assurance for Embedded SystemsAICCSA - The seventh ACS/IEEE International Conference on Computer Systems and Applications, May 2009, Rabat, Morocco
Communication dans un congrès
inria-00349918v2
|
||
Rank: a tool to check program termination and computational complexityConstraints in Software Testing Verification and Analysis, Mar 2013, Luxembourg
Communication dans un congrès
hal-00801571v1
|
|||
|
Knit&Frog: Pattern matching compilation for custom memory representations[Research Report] RR-9473, Inria Lyon. 2022, pp.35
Rapport
hal-03684334v3
|
||
|
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
Communication dans un congrès
cea-01855997v2
|
||
Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systemsACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Apr 2011, Chicago, IL, United States. pp.71-80, ⟨10.1145/1967677.1967688⟩
Communication dans un congrès
inria-00586137v1
|
|||
|
Resource management with Qinna framework : the remote viewer case study[Technical Report] RR-6562, INRIA. 2008
Rapport
inria-00288593v2
|
||
|
Practicing Domain-Specific Languages: From Code to Models14th Educators Symposium at MODELS 2018, Oct 2018, Copenaghen, Denmark. pp.1-8, ⟨10.1145/3270112.3270116⟩
Communication dans un congrès
hal-01865448v1
|
||
|
Contributions to program analysis: expressivity and scalabilityComputation and Language [cs.CL]. Université Lyon 1 Claude Bernard, 2017
HDR
tel-01633065v2
|
||
|
Parallelizing Structural Transformations on Tarbres[Research Report] RR-9405, ENS Lyon, CNRS & INRIA. 2021, pp.21
Rapport
hal-03208466v1
|
||
|
Proving array properties using data abstractionNumerical and Symbolic Abstract Domains (NSAD), Nov 2020, Virtual, United States
Communication dans un congrès
hal-02948081v2
|
||
|
Combining Range and Inequality Information for Pointer Disambiguation[Research Report] RR-9076, ENS Lyon; CNRS; INRIA. 2016
Rapport
hal-01429777v2
|
||
|
Static Analysis via Horn Encoding from synchronous Dataflow Programs[Technical Report] RT-0492, Université Lyon 1 Claude Bernard, LIP & INSA, CITI 2017, pp.25
Rapport
hal-01614637v1
|
||
|
Rebuilding Algebraic Data Types from Mangled Memory Layouts2024
Pré-publication, Document de travail
hal-04388766v1
|
||
|
Do we still need new Alias Analyses?[Research Report] RR-8812, Université Lyon Claude Bernard / Laboratoire d'Informatique du Parallélisme. 2015
Rapport
hal-01228581v1
|
||
|
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
Communication dans un congrès
hal-03048742v1
|
||
|
From low-level fault modeling (of a pipeline attack) to a proven hardening schemeCompiler Construction (CC'24), Mar 2024, Edinburgh (Scotland), United Kingdom. ⟨10.1145/3640537.3641570⟩
Communication dans un congrès
hal-04438994v1
|