Filtrer vos résultats
- 13
- 4
- 13
- 2
- 1
- 1
- 2
- 16
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 3
- 3
- 1
- 17
- 8
- 6
- 6
- 4
- 4
- 2
- 2
- 1
- 1
- 17
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 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
17 résultats
|
|
triés par
|
|
Expressing and exploiting path conflicts in WCET analysis16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) in conjunction with ECRTS, Jul 2016, Toulouse, France. pp. 1-11
Communication dans un congrès
hal-01682967v1
|
||
|
Long-Run Cost Analysis by Approximation of Linear Operators over Dioids[Research Report] RR-6338, INRIA. 2007, pp.35
Rapport
inria-00182338v4
|
||
|
When the worst-case execution time estimation gains from the application semantics8th European Congress on Embedded Real-Time Software and Systems, Jan 2016, Toulouse, France
Communication dans un congrès
hal-01235781v1
|
||
|
Policy Iteration within Logico-Numerical Abstract DomainsAutomated Technology for Verification and Analysis, ATVA'11, Nov 2011, Taipei, Taiwan. pp.290-305, ⟨10.1007/978-3-642-24372-1_21⟩
Communication dans un congrès
hal-00786321v1
|
||
|
Quantifying the Precision of Numerical Abstract Domains[Research Report] 2010, pp.20
Rapport
inria-00457324v1
|
||
|
Precise Interprocedural Analysis in the Presence of Pointers to the Stack2011
Pré-publication, Document de travail
inria-00547888v1
|
||
|
From Relevant High-level Properties to WCET Computation ImprovementInternational Conference on Embedded Real Time Software and Systems (ERTS2 2014), Feb 2014, Toulouse, France. pp.0
Communication dans un congrès
hal-03666048v1
|
||
|
Warp-Level CFG Construction for GPU Kernel WCET Analysis21st International Workshop on Worst-Case Execution Time Analysis (WCET 2023), Jul 2023, Vienne, Austria. pp.1:1--1:13, ⟨10.4230/OASIcs.WCET.2023.1⟩
Communication dans un congrès
hal-04171474v1
|
||
|
Identifying Relevant Parameters to Improve WCET Analysis14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014), Jul 2014, Madrid, Spain. pp.93-102
Communication dans un congrès
hal-04080843v1
|
||
|
Data Cache Analysis by Counting Integer Points29th International Conference on Real-Time Networks and Systems (RTNS 2021), Apr 2021, Nantes, France. pp.112-122, ⟨10.1145/3453417.3453424⟩
Communication dans un congrès
hal-03667386v1
|
||
|
Early WCET Prediction using Machine Learning17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.5:1 - 5:9, ⟨10.4230/OASIcs.WCET.2017.5⟩
Communication dans un congrès
hal-03116285v1
|
||
|
Concrete Memory Models for Shape AnalysisNSAD'2010 - Second International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. pp.139--150, ⟨10.1016/j.entcs.2010.09.012⟩
Communication dans un congrès
hal-00786330v1
|
||
|
The W-SEPT Project: Towards Semantic-Aware WCET Estimation17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.13, ⟨10.4230/OASIcs.WCET.2017.9⟩
Communication dans un congrès
hal-01590442v1
|
||
Long-Run Cost Analysis by Approximation of Linear Operators over DioidsMathematical Structures in Computer Science, 2010, 20 (4), pp.589-624. ⟨10.1017/S0960129510000113⟩
Article dans une revue
hal-00699608v1
|
|||
|
Precise Interprocedural Analysis in the Presence of Pointers to the StackEuropean Symposium on Programming, ESOP'11, Apr 2011, Sarrebrueck, Germany. pp.459-479, ⟨10.1007/978-3-642-19718-5_24⟩
Communication dans un congrès
hal-00786327v1
|
||
|
Inferring Effective Types for Static Analysis of C ProgramsNSAD - Int. Workshop on Numerical and Symbolic Abstract Domains - 2011, Sep 2011, Venise, Italy. pp.37-47, ⟨10.1016/j.entcs.2012.10.006⟩
Communication dans un congrès
hal-00763426v1
|
||
|
Hierarchical Shape Abstraction of Dynamic Structures in Static BlocksAPLAS 2012 - Asian Conference on Programming Languages And Software, Dec 2012, Kyoto, Japan. pp.131-147, ⟨10.1007/978-3-642-35182-2_10⟩
Communication dans un congrès
hal-00760427v1
|