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
|
||
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
|
|||
SToP : Scalable Termination analysis of (C) Programs (tool presentation)Tapas 2012, Sep 2012, Deauville, France
Communication dans un congrès
hal-00760926v1
|
|||
|
|
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
|
||
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
|
||
|
|
Contributions to program analysis: expressivity and scalabilityComputation and Language [cs.CL]. Université Lyon 1 Claude Bernard, 2017
HDR
tel-01633065v2
|
||
|
|
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
|
||
|
|
Parallelizing Structural Transformations on Tarbres[Research Report] RR-9405, ENS Lyon, CNRS & INRIA. 2021, pp.21
Rapport
hal-03208466v1
|
||
|
|
Knit&Frog: Pattern matching compilation for custom memory representations[Research Report] RR-9473, Inria Lyon. 2022, pp.35
Rapport
hal-03684334v3
|
||
|
|
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
|
||
|
|
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
|
|||
|
|
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
|
||
|
|
Estimation of Parallel Complexity with Rewriting TechniquesWorkshop on Termination, Sep 2016, Obergurgl, Austria
Communication dans un congrès
hal-01345914v1
|
||
|
|
A Compiler Algorithm to Guide Runtime Scheduling[Research Report] RR-9315, INRIA Grenoble; INRIA Bordeaux - Sud-Ouest. 2019
Rapport
hal-02421327v1
|
||
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean AbstractionCSI Journal of Computing, 2012, 1 (4), pp.8:86--8:99
Article dans une revue
hal-00860785v1
|
|||
|
|
Pointer Disambiguation via Strict InequalitiesCode Generation and Optimisation , Feb 2017, Austin, United States. pp.134-147
Communication dans un congrès
hal-01387031v1
|
||
|
|
Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics[Research Report] RR-7423, INRIA. 2010
Rapport
inria-00526561v1
|
||
|
|
Semantic Array Dataflow Analysis[Research Report] RR-9232, Inria Grenoble Rhône-Alpes. 2018, pp.1-22
Rapport
hal-01954396v1
|
||
|
|
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
Rapport
hal-02573052v1
|
||
|
|
Using Bounded Model Checking to Focus Fixpoint IterationsStatic analysis symposium (SAS), Sep 2011, Venezia, Italy. pp.369-385, ⟨10.1007/978-3-642-23702-7_27⟩
Communication dans un congrès
hal-00600087v1
|
||
|
|
From Discrete Duration Calculus to Symbolic AutomataThird International Workshop on Synchronous Languages, Applications, and Programs (SLAP 2004), Mar 2003, Barcelona, Spain. pp.3-18, ⟨10.1016/j.entcs.2006.02.022⟩
Communication dans un congrès
hal-00198433v1
|
||
|
|
Some ways to reduce the space dimension in polyhedra computationsFormal Methods in System Design, 2006, 29 (1), pp.79-95. ⟨10.1007/s10703-006-0013-2⟩
Article dans une revue
hal-00189633v1
|
||
|
|
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
|
||
|
|
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
|