Filtrer vos résultats
- 96
- 84
- 114
- 33
- 10
- 10
- 4
- 3
- 3
- 1
- 1
- 1
- 10
- 167
- 15
- 1
- 3
- 7
- 9
- 14
- 16
- 12
- 13
- 16
- 7
- 15
- 4
- 9
- 6
- 8
- 10
- 7
- 5
- 3
- 2
- 3
- 1
- 4
- 2
- 1
- 1
- 1
- 175
- 5
- 81
- 53
- 48
- 34
- 19
- 13
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 180
- 13
- 12
- 11
- 10
- 9
- 9
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
180 résultats
|
|
Data Flow Analysis of Recursive StructuresWorkshop on Compilers for Parallel Computers, 1996, Aachen, Germany
Communication dans un congrès
hal-01257322v1
|
||
|
|
The Next 700 Accelerated LayersACM Transactions on Architecture and Code Optimization, 2019, 16 (4), pp.1-26. ⟨10.1145/3355606⟩
Article dans une revue
hal-02458550v1
|
||
|
|
Transitive Closures of Affine Integer Tuple Relations and their OverapproximationsSAS 2011 - The 18th International Static Analysis Symposium, Sep 2011, Venice, Italy. pp.216-232, ⟨10.1007/978-3-642-23702-7_18⟩
Communication dans un congrès
hal-00645221v1
|
||
Informatique et Sciences du Numérique - Spécialité ISN en Terminale SEyrolles, pp.303, 2012, 978-2-212-13543-5
Ouvrages
hal-00765220v1
|
|||
Automatic Correction of Loop Transformations6þ Workshop of the ACES Network (Architectures and Compilers for Embedded Systems), 2006, Edegem, Belgium
Communication dans un congrès
hal-01257292v1
|
|||
|
|
Correct and Efficient Work-Stealing for Weak Memory ModelsPPoPP '13 - Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming, Feb 2013, Shenzhen, China. pp.69-80, ⟨10.1145/2442516.2442524⟩
Communication dans un congrès
hal-00802885v1
|
||
|
|
Energy-Aware Parallelization Flow and Toolset for C CodeSCOPES 2014 - 17th International Workshop on Software and Compilers for Embedded Systems, Jun 2014, Saint Goar, Germany. ⟨10.1145/2609248.2609264⟩
Communication dans un congrès
hal-01257245v1
|
||
|
|
A From a Formalized Parallel Action Language to its Efficient Code GenerationACM Transactions on Embedded Computing Systems (TECS), 2017, ⟨10.1145/0000000.0000000⟩
Article dans une revue
hal-01425140v1
|
||
|
|
Reduction Drawing: Language Constructs and Polyhedral Compilation for Reductions on GPUsPACT'16 - ACM/IEEE Conference on Parallel Architectures and Compilation Techniques, Sep 2016, Haifa, Israel. pp.87 - 97, ⟨10.1145/2967938.2967950⟩
Communication dans un congrès
hal-01425750v1
|
||
|
|
Hard Real Time and Mixed Time Criticality on Off-The-Shelf Embedded Multi-CoresInternational Conference on Embedded and Real-Time Software and Systems (ERTS2), Jan 2016, Toulouse, France
Communication dans un congrès
hal-01425887v1
|
||
Hybrid Performance Analysis to Accelerate Compiler Optimization Space Exploration for In-Order Processors2nd Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART), 2008, Gothenburg, Sweden
Communication dans un congrès
hal-01257277v1
|
|||
|
|
Post-Pass Periodic Register Allocation to Minimise Loop Unrolling DegreeLCTES '08, Jun 2008, Tucson, United States. pp.141-149, ⟨10.1145/1375657.1375677⟩
Communication dans un congrès
inria-00637218v1
|
||
|
|
Coarse-Grained Loop Parallelization: Iteration Space Slicing vs Affine TransformationsThe 11th International Symposium on Parallel and Distributed Computing, Jul 2009, Munich, Germany
Communication dans un congrès
hal-00645329v1
|
||
|
|
Leveraging Semantics Attached to Function Calls to Isolate Applications from Hardware2nd USENIX Workshop on Hot Topics in Parallelism (HotPar'10), Jun 2010, Berkeley, United States
Communication dans un congrès
inria-00551514v1
|
||
Characterization of Legal Transformations Sequences1st MicroGrid workshop, 2005, Amsterdam, Netherlands
Communication dans un congrès
hal-01257300v1
|
|||
Towards a Systematic, Pragmatic and Architecture-Aware Program Optimization Process for Complex ProcessorsACM Supercomputing Conference (SC), 2004, Pittsburgh, Pennsylvania, United States
Communication dans un congrès
hal-01257302v1
|
|||
|
|
In Search for a Program Generator to Implement Generic Transformations for High-performance Computing1st MetaOCaml Workshop (associated with GPCE), 2004, Vancouver, British Columbia, Canada
Communication dans un congrès
hal-01257304v1
|
||
Extending Loop Distribution to PS-DSWP1\st Workshop on Intermediate Representations (WIR, associated with CGO), 2011, Chamonix, France
Communication dans un congrès
hal-01257265v1
|
|||
Managing the Latency of Data-Dependent Tasks in Embedded Streaming ApplicationsIEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC 2015), 2015, Turin, Italy
Communication dans un congrès
hal-01257231v1
|
|||
|
|
Kolmogorov widths under holomorphic mappingsIMA Journal of Numerical Analysis, 2016, 36 (1), pp.1-12. ⟨10.1093/imanum/dru066⟩
Article dans une revue
hal-01118847v2
|
||
|
|
Instancewise Array Dependence Test for Recursive ProgramsWorkshop on Compilers for Parallel Computers (CPC), 2003, Amsterdam, Netherlands
Communication dans un congrès
hal-01257308v1
|
||
|
|
Analyse de flot de données pour programmes récursifs à l'aide de langages algébriquesRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1999, 18 (3), pp.323--343
Article dans une revue
hal-01257318v1
|
||
|
|
Contributions to the Design of Reliable and Programmable High-Performance Systems: Principles, Interfaces, Algorithms and ToolsNetworking and Internet Architecture [cs.NI]. Université Paris Sud - Paris XI, 2007
HDR
tel-00550830v1
|
||
|
|
Program Analysis and Transformation: From the Polytope Model to Formal LanguagesNetworking and Internet Architecture [cs.NI]. Université de Versailles-Saint Quentin en Yvelines, 1999. English. ⟨NNT : ⟩
Thèse
tel-00550829v1
|
||
|
|
Digital LC-2: From Bits & Gates to a Little Computer9th Workshop on Computer Architecture Education (WCAE, associated with ISCA), May 2002, Anchorage, Alaska, United States
Communication dans un congrès
hal-01257310v1
|
||
Induction Variable Analysis with Delayed Abstractionshipeac # (HiPEAC), 2005, Barcelona, Spain. pp.218--232
Communication dans un congrès
hal-01257294v1
|
|||
17þ International Conference on Compiler Construction (CC)Albert Cohen. springer, 8409, 2014, lncs
Ouvrages
hal-01257250v1
|
|||
|
|
A Decoupled Local Memory AllocatorACM Transactions on Architecture and Code Optimization, 2013, 9 (4), ⟨10.1145/2400682.2400693⟩
Article dans une revue
hal-00786676v1
|
||
Deep Jam: Conversion of Coarse-Grain Parallelism to Instruction-Level and Vector Parallelism for Irregular Applicationspact # (PACT), 2005, St-Louis, Missouri, Unknown Region. pp.291--300
Communication dans un congrès
hal-01257293v1
|
|||
In Search of a Program Generator to Implement Generic Transformations for High-Performance ComputingScience of Computer Programming, 2006, 62 (1), pp.25--46
Article dans une revue
hal-01257287v1
|