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
- 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
- 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
|
Variable Precision Floating-Point RISC-V Coprocessor Evaluation using Lightweight Software and Compiler SupportCARRV 2019 - Third Workshop on Computer Architecture Research with RISC-V, Jun 2019, Phoenix, AZ, United States. pp.1-6
Communication dans un congrès
hal-02161621v1
|
||
|
Induction Variable Analysis Without Idiom Recognition: Beyond MonotonicityLanguages and Compilers for Parallel Computing, Aug 2001, Cumberland Falls, Kentucky, United States
Communication dans un congrès
hal-01257311v1
|
||
|
Monotonic Evolution: an Alternative to Induction Variable Substitution for Dependence AnalysisIntl. Conf. on Supercomputing, Jun 2001, Sorrento, Italy
Communication dans un congrès
hal-01257312v1
|
||
|
A general compilation algorithm to parallelize and optimize counted loops with dynamic data-dependent bounds IMPACT 2017 - 7th International Workshop on Polyhedral Compilation Techniques, Jan 2017, Stockholm, Sweden. pp.1-10
Communication dans un congrès
hal-01657608v1
|
||
|
Representations of Gaussian random fields and approximation of elliptic PDEs with lognormal coefficients *Journal of Fourier Analysis and Applications, 2018, 24, pp.621-649
Article dans une revue
hal-01352284v1
|
||
|
Optimal weighted least-squares methodsSMAI Journal of Computational Mathematics, 2017
Article dans une revue
hal-01354003v1
|
||
|
Data Assimilation in Reduced ModelingSIAM/ASA Journal on Uncertainty Quantification, 2017, 5, pp.1-29
Article dans une revue
hal-01352283v1
|
||
Dagstuhl Seminar 13142 on Correct and Efficient Accelerator ProgrammingAlbert Cohen and Alastair F. Donaldson and Marieke Huisman and Joost-Pieter Katoen. Dagstuhl Publishing, 1 (1), 2013, Dagstuhl Reports
Ouvrages
hal-01257260v1
|
|||
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)Albert Cohen and David Grove. ACM, 2015, 978-1-4503-3205-7
Ouvrages
hal-01257234v1
|
|||
A bounded memory allocator for software-defined global address spacesISMM 2016 - 2016 ACM SIGPLAN International Symposium on Memory Management, Jun 2016, Santa Barbara, United States
Communication dans un congrès
hal-01412919v1
|
|||
|
Polyhedral AST generation is more than scanning polyhedraACM Transactions on Programming Languages and Systems (TOPLAS), 2015, 37 (4), ⟨10.1145/2743016⟩
Article dans une revue
hal-01257239v1
|
||
|
Efficient parallelization of large-scale hard real-time applications[Research Report] RR-9180, INRIA Paris. 2018
Rapport
hal-01810176v2
|
||
|
Polyhedral Parallel Code Generation for CUDAACM Transactions on Architecture and Code Optimization, 2013, 9 (4), pp.art. 54:1-23. ⟨10.1145/2400682.2400713⟩
Article dans une revue
hal-00786677v1
|
||
|
Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs[Research Report] RR-8001, INRIA. 2012, pp.28
Rapport
hal-00710409v2
|
||
|
OpenStream: Expressiveness and Data-Flow Compilation of OpenMP Streaming ProgramsACM Transactions on Architecture and Code Optimization, 2013, 9 (4), ⟨10.1145/2400682.2400712⟩
Article dans une revue
hal-00786675v1
|
||
A Parallel Action Language for Embedded Applications and its Compilation Flow17th International Workshop on Software and Compilers for Embedded Systems, Jun 2014, Sankt Goar, Germany. pp.118-127, ⟨10.1145/2609248.2609257⟩
Communication dans un congrès
hal-01001900v1
|
|||
Synchronization of Periodic ClocksACM Conference on Embedded Software (EMSOFT), 2005, Jersey City, NJ, United States. 339--342 (short paper)
Communication dans un congrès
hal-01257295v1
|
|||
|
The Potential of Synergistic Static, Dynamic and Speculative Loop Nest Optimizations for Automatic ParallelizationPespma 2010 - Workshop on Parallel Execution of Sequential Programs on Multi-core Architecture, Jun 2010, Saint Malo, France
Communication dans un congrès
inria-00494305v1
|
||
|
Processor Virtualization and Split Compilation for Heterogeneous Multicore Embedded Systems47th Annual Design Automation Conference, Jun 2010, Anaheim, CA, United States
Communication dans un congrès
inria-00472274v1
|
||
|
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
|
||
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
|
|||
Induction Variable Analysis with Delayed Abstractionshipeac # (HiPEAC), 2005, Barcelona, Spain. pp.218--232
Communication dans un congrès
hal-01257294v1
|
|||
|
Towards Compositional and Generative Tensor OptimizationsACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH), Oct 2017, Vancouver, Canada. 2017
Poster de conférence
hal-01666818v1
|
||
Improving the Design Flow for Parallel and Heterogeneous Architectures running Real-Time applications: The PHARAON FP7 projectMicroprocessors and Microsystems: Embedded Hardware Design , 2014, MICPRO2141
Article dans une revue
hal-01257252v1
|
|||
|
Advances in Parallel-Stage Decoupled Software PipeliningWIR, Apr 2011, France
Communication dans un congrès
hal-00870687v1
|
||
Elimination of Memory-Based Dependences for Loop-Nest Optimization and Parallelization: Evaluation of a Revised Violated Dependence Analysis Method on a Three-Address Code Polyhedral Compiler3rd GCC Research Opportunities Workshop (GROW, associated with CGO), 2011, Chamonix, France
Communication dans un congrès
hal-01257266v1
|
|||
17þ International Conference on Compiler Construction (CC)Albert Cohen. springer, 8409, 2014, lncs
Ouvrages
hal-01257250v1
|
|||
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
|
|||
|
Towards Compositional and Generative Tensor OptimizationsGPCE 2017 - 16th International Conference on Generative Programming: Concepts & Experience, Oct 2017, Vancouver, Canada. pp.Pages 169-175
Communication dans un congrès
hal-01666797v1
|