Filtrer vos résultats
- 69
- 45
- 1
- 60
- 26
- 14
- 6
- 5
- 1
- 1
- 1
- 1
- 21
- 104
- 3
- 1
- 8
- 9
- 12
- 9
- 13
- 10
- 10
- 7
- 3
- 11
- 10
- 1
- 5
- 1
- 2
- 2
- 2
- 106
- 9
- 115
- 115
- 28
- 9
- 7
- 3
- 3
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 30
- 26
- 24
- 24
- 14
- 11
- 10
- 8
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
115 résultats
Extended Lattice-Based Memory Allocation25th International Conference on Compiler Construction (CC'16), Mar 2016, Barcelona, Spain
Communication dans un congrès
hal-01272969v1
|
|||
|
|
Extending Polyhedral Techniques towards Parallel Specifications and ApproximationsOther [cs.OH]. Université de Lyon, 2016. English. ⟨NNT : 2016LYSEN011⟩
Thèse
tel-01369014v1
|
||
|
|
Efficient on-chip communications for data-flow IPsApplication-Specific Systems, Architectures and Processors, 2004, Galveston, Texas, United States. pp.293- 303, ⟨10.1109/ASAP.2004.1342479⟩
Communication dans un congrès
hal-00399632v1
|
||
|
|
Embedded software energy characterization: Using non-intrusive measures for application source code annotationJournal of Embedded Computing, 2009, 3 (3), pp.10. ⟨10.3233/JEC-2009-90⟩
Article dans une revue
hal-00391186v1
|
||
|
|
Optimizing DDR-SDRAM Communications at C-level for Automatically-Generated Hardware AcceleratorsIEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'10), Jul 2010, Rennes, France
Communication dans un congrès
hal-01664033v1
|
||
|
|
Data-aware Process Networks[Rapport de recherche] RR-8735, Inria - Research Centre Grenoble – Rhône-Alpes; INRIA. 2015, pp.32
Rapport
hal-01158726v1
|
||
Beyond Iteration Vectors: Instancewise Relational Abstract DomainsStatic Analysis Symposium (SAS), 2006, Seoul, Korea, Unknown Region
Communication dans un congrès
hal-01257289v1
|
|||
|
|
EURECA Compilation: Automatic Optimisation of Cycle-Reconfigurable CircuitsFPL 2016 - 26th International Conference on Field Programmable Logic and Applications, Aug 2016, Lausanne, Switzerland. pp.1-4, ⟨10.1109/FPL.2016.7577359⟩
Communication dans un congrès
hal-01413307v1
|
||
Approximating the Transitive Closure of a Boolean-Affine Relation2nd International Workshop on Polyhedral Compilation Techniques (IMPACT'12), held with HIPEAC'12, Jan 2012, Paris, France
Communication dans un congrès
hal-00761491v1
|
|||
|
|
Détection d'attaques de Dénis de Service par un modèle non gaussien multirésolutionCFIP 2006 - 12ème Colloque Francophone sur l'Ingénierie des Protocoles, Eric Fleury and Farouk Kamoun, Oct 2006, Tozeur, Tunisie. pp.1-12
Communication dans un congrès
inria-00111928v1
|
||
Hardware-Software Fast and Accurate Prototyping with Soclib & MMAlphaComputer Systems: Architecture, Modeling, and Simulation (SAMOS), 2004, Greece. pp.453-462
Communication dans un congrès
hal-00399634v1
|
|||
Étude de la couche transport des réseaux sur puceSymposium en Architecture et Adéquation Algorithme Architecture, 2003, La Colle sur Loup, France. pp.329-336
Communication dans un congrès
hal-00399637v1
|
|||
|
|
Decoupled (SSA-based) register allocators : from theory to practice, coping with just-in-time compilation and embedded processors constraintsOther [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0777⟩
Thèse
tel-00764405v2
|
||
|
|
Bernstein's Conditions[Research Report] ENS Lyon. 2011, pp.1-9
Rapport
hal-01930890v1
|
||
Coupling Loop Transformations and High-Level SynthesisSymposium en Architecture de machines (Sympa 2008), 2008, Fribourg, Switzerland
Communication dans un congrès
hal-00410724v1
|
|||
|
|
Improving X10 Program Performances by Clock Removal23rd International Conference on Compiler Construction (CC’14), part of ETAPS’14, Apr 2014, Grenoble, France
Communication dans un congrès
hal-00924206v1
|
||
|
|
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
|
||
|
|
Bee+Cl@k: An Implementation of Lattice-Based Array Contraction in the Source-to-Source Translator ROSEACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), Jun 2007, San Diego, United States. ⟨10.1145/1273444.1254778⟩
Communication dans un congrès
hal-03106126v1
|
||
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
|
|||
Worldsens: a fast and accurate development framework for sensor network applicationsSymposium on Applied Computing (SAC 2007), ACM, Mar 2007, Seoul, South Korea. pp.222-226, ⟨10.1145/1244002.1244059⟩
Communication dans un congrès
inria-00396994v1
|
|||
|
|
Split Register Allocation: Linear Complexity Without the Performance PenaltyInternational Conference on High Performance and Embedded Architectures and Compilers, Oct 2010, Pisa, Italy. 15 p
Communication dans un congrès
inria-00551513v1
|
||
Elimination of parallel copies using code motion on data dependence graphsComputer Languages, Systems and Structures, 2013, 39 (1), pp.25 - 47. ⟨10.1016/j.cl.2012.09.001⟩
Article dans une revue
istex
hal-00768781v1
|
|||
|
|
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction2013
Rapport
hal-00780521v2
|
||
|
|
Towards a Time-predictable Dual-Issue Microprocessor: The Patmos ApproachBringing Theory to Practice: Predictability and Performance in Embedded Systems, Philipp Lucas, Lothar Thiele, Benoit Triquet, Theo Ungerer, and Reinhard Wilhelm, Mar 2011, Grenoble, France. pp.11-21, ⟨10.4230/OASIcs.PPES.2011.11⟩
Communication dans un congrès
inria-00585320v1
|
||
|
|
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
|
||
Parametric Tiling with Inter-Tile Data Reuse4th International Workshop on Polyhedral Compilation Techniques (IMPACT'14), Jan 2014, Vienna, Austria
Communication dans un congrès
hal-00915831v1
|
|||
|
|
A Generic Multi-Phase On-Chip Traffic Generation environmentApplication-specific Systems, Architectures and Processors, Sep 2006, Steamboat Springs, Colorado, United States. pp.23-27, ⟨10.1109/ASAP.2006.5⟩
Communication dans un congrès
hal-00399618v1
|
||
|
|
Simplification of Boolean Affine Formulas[Research Report] RR-7689, INRIA. 2011, pp.15
Rapport
inria-00609519v1
|
||
|
|
Porting the Mutek Operating System to ARM Platforms2006
Autre publication scientifique
hal-00399645v1
|
||
|
|
SSI Revisited[Research Report] LIP 2009-24, 2009, pp.17
Rapport
inria-00404236v1
|