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
|
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
|
||
|
Kolmogorov widths and low-rank approximations of parametric elliptic PDEsMathematics of Computation, 2017, 86, pp.701-724. ⟨10.1090/mcom/3132⟩
Article dans une revue
hal-01352277v1
|
||
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
|
|||
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
|
|||
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
|
||
GRAPHITE: Loop Optimizations Based on the Polyhedral Model for GCCProc. of the 4þ GCC Developper's Summit, 2006, Ottawa, Ontario, Unknown Region
Communication dans un congrès
hal-01257284v1
|
|||
|
Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine schedulingCC'18 - 27th International Conference on Compiler Construction, Feb 2018, Vienna, Austria. ⟨10.1145/3178372.3179507⟩
Communication dans un congrès
hal-01751823v1
|
||
|
Automatic Parallelization from Lustre Models in AvionicsERTS2 2018 - 9th European Congress Embedded Real-Time Software and Systems, 3AF - Association Aéronautique Astronautique de France; SEE - Société de l'électricité, de l'électronique et des technologies de l'information et de la communication; SIA - Société de Ingénieurs de l'Automobile, Jan 2018, Toulouse, France. pp.1-4
Communication dans un congrès
hal-01714054v1
|
||
|
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
|
||
|
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
|
||
|
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 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
|
|||
|
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
|
||
|
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
|
||
|
Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs[Research Report] RR-8001, INRIA. 2012, pp.28
Rapport
hal-00710409v2
|
||
|
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
|
||
|
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
|
||
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
|