1. Recherche
130 résultats  enregistrer la recherche
hal-01100306v1  Communication dans un congrès
Philippe Clauss. Counting Solutions to Linear and Nonlinear Constraints Through Ehrhart Polynomials: Applications to Analyze and Transform Scientific Programs
ICS, International Conference on Supercomputing, 2014, Munich, Germany. ACM International Conference on Supercomputing 25th Anniversary Volume. <10.1145/2591635.2667172>
hal-01100296v1  Communication dans un congrès
Philippe Clauss. Author Retrospective for Counting Solutions to Linear and Nonlinear Constraints Through Ehrhart Polynomials: Applications to Analyze and Transform Scientific Programs
ICS, International Conference on Supercomputing, 2014, New York, United States. ACM, ACM International Conference on Supercomputing 25th Anniversary Volume. <10.1145/2591635.2591654>
...
hal-01155102v1  Article dans une revue
Kenneth Vanhoey, Basile Sauvage, Pierre Kraemer, Frédéric Larue, Jean-Michel Dischler. Simplification of meshes with digitized radiance
Visual Computer Journal, 2015, 31 (6-8), pp.11. <http://link.springer.com/journal/371>. <10.1007/s00371-015-1124-9>
hal-01155172v1  Communication dans un congrès
Aravind Sukumaran-Rajam, Luis Esteban Campostrini, Martinez Juan Manuel, Philippe Clauss. Speculative Runtime Parallelization of Loop Nests: Towards Greater Scope and Efficiency
20th International Workshop on High-level Parallel Programming Models and Supportive Environments, held in conjunction with 29th IEEE International Parallel & Distributed Processing Symposium, May 2015, Hyderabad, India. 2015
...
hal-01044636v1  Rapport
Alain Ketterlin, Matthieu Kuhn, Stéphane Genaud, Philippe Clauss. Loop-based Modeling of Parallel Communication Traces
[Research Report] RR-8562, INRIA. 2014, pp.10
...
hal-00924206v1  Communication dans un congrès
Paul Feautrier, Eric Violard, Alain Ketterlin. Improving X10 Program Performances by Clock Removal
23rd International Conference on Compiler Construction (CC’14), part of ETAPS’14, Apr 2014, Grenoble, France. 2014
hal-00825738v1  Communication dans un congrès
Alexandra Jimborean, Philippe Clauss, Jean-François Dollinger, Vincent Loechner, Juan Manuel Martinez. Dynamic and Speculative Polyhedral Parallelization Using Compiler-Generated Skeletons
International Symposium on High-level Parallel Programming and Applications‎, HLPP, Jul 2013, Paris, France. 2013
hal-00825744v1  Communication dans un congrès
Alexandra Jimborean, Philippe Clauss, Juan Manuel Martinez, Aravind Sukumaran-Rajam. Online Dynamic Dependence Analysis for Speculative Polyhedral Parallelization
Felix Wolf and Bernd Mohr and Dieter an Mey. Euro-Par 2013, Aug 2013, Aachen, Germany. Springer, 8097, pp.191-202, 2013, Lecture Notes in Computer Science; Euro-Par 2013 Parallel Processing Lecture Notes in Computer Science Volume 8097, 2013, pp 191-202. <10.1007/978-3-642-40047-6_21>
...
hal-01230011v1  Rapport
David Keaton, Jens Gustedt. Underspecified Aspects of Threads in C
[Technical Report] RT-0470, Inria. 2015
...
hal-01169491v2  Rapport
Jens Gustedt. Modular C
[Research Report] RR-8751, INRIA. 2015
...
hal-01325850v1  Communication dans un congrès
Farouk Mansouri, Jens Gustedt. Le modèle de programmation ORWL pour la parallélisation d'une application de suivi vidéo HD sur architecture multi-coeurs
Confrence d'informatique en Paralllisme, Architecture et Systme (COMPAS), Jul 2016, Lorient, France. 2016
...
tel-01377758v1  Thèse
Juan Manuel Martinez Caamaño. Fast and Flexible Compilation Techniques for Effective Speculative Polyhedral Parallelization
Computation and Language [cs.CL]. Université de Strasbourg, 2016. English
...
hal-01416284v1  Poster
Jens Gustedt, Emmanuel Jeannot, Farouk Mansouri. Optimizing Locality by Topology-aware Placement for a Task Based Programming Model
IEEE Cluster 2016 Conference, Sep 2016, Taipei, Taiwan. pp.164 - 165, <http://ieeecluster2016.org/>. <10.1109/CLUSTER.2016.87>
...
hal-01264434v1  Communication dans un congrès
Igor Peterlik, Hadrien Courtecuisse, Christian Duriez, Stéphane Cotin. Model-Based Identification of Anatomical Boundary Conditions in Living Tissues
Information Processing in Computer Assisted Interventions, Jun 2014, Fukuoka, Japan. 2014, <10.1007/978-3-319-07521-1_21>
...
hal-01120837v2  Rapport
Soumeya Leila Hernane, Jens Gustedt, Mohamed Benyettou. Data handover on a peer-to-peer system
[Research Report] RR-8690, Inria Nancy - Grand Est (Villers-lès-Nancy, France); INRIA. 2015, pp.37
...
tel-01251748v1  Thèse
Aravind Sukumaran-Rajam. Beyond the Realm of the Polyhedral Model: Combining Speculative Program Parallelization with Polyhedral Compilation
Computation and Language [cs.CL]. Université de Strasbourg, 2015. English
...
tel-01251719v1  Thèse
Jean-François Dollinger. A framework for efficient execution on GPU and CPU+GPU systems
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Strasbourg, 2015. English
hal-01003228v1  Communication dans un congrès
Philippe Clauss, Imen Fassi, Alexandra Jimborean. Software-controlled Processor Stalls for Time and Energy Efficient Data Locality Optimization
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation - SAMOS XIV, Jul 2014, Agios Konstantinos, Greece. 2014
...
hal-01055788v1  Communication dans un congrès
Oleksandr Zinenko, Stéphane Huot, Cédric Bastoul. Clint: A Direct Manipulation Tool for Parallelizing Compute-Intensive Program Parts
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Jul 2014, Melbourne, Australia. IEEE, pp.109-112, 2014
...
tel-01251721v1  Thèse
Imen Fassi. XFOR (Multifor): A New Programming Structure to Ease the Formulation of Efficient Loop Optimizations
Computation and Language [cs.CL]. Université de Strasbourg, 2015. English
...
hal-01184498v2  Communication dans un congrès
Christoph Paulus, Nazim Haouchine, David Cazier, Stéphane Cotin. Surgical Augmented Reality with Topological Changes
Medical Image Computing and Computer Assisted Interventions, Oct 2015, München, Germany. <http://miccai2015.org/>
...
hal-01184495v2  Communication dans un congrès
Christoph Paulus, Nazim Haouchine, David Cazier, Stéphane Cotin. Augmented Reality during Cutting and Tearing of Deformable Objects
The 14th IEEE International Symposium on Mixed and Augmented Reality, Sep 2015, Fukuoka, Japan. pp.6
hal-01095890v1  Communication dans un congrès
Jean-François Dollinger, Vincent Loechner. CPU+GPU Load Balance Guided by Execution Time Prediction
Fifth International Workshop on Polyhedral Compilation Techniques (IMPACT 2015), Jan 2015, Amsterdam, Netherlands. 2015, <http://impact.gforge.inria.fr/impact2015>
...
hal-01408657v2  Communication dans un congrès
Arthur Charguéraud, François Pottier. Temporary Read-Only Permissions for Separation Logic
Proceedings of the 26th European Symposium on Programming (ESOP 2017), Apr 2017, Uppsala, Sweden
...
hal-01533692v1  Communication dans un congrès
Juan Manuel Martinez Caamaño, Aravind Sukumaran-Rajam, Artiom Baloian, Manuel Selva, Philippe Clauss. APOLLO: Automatic speculative POLyhedral Loop Optimizer
IMPACT 2017 - 7th International Workshop on Polyhedral Compilation Techniques, Jan 2017, Stockholm, Sweden. pp.8, 2017, <http://impact.gforge.inria.fr/impact2017>
...
tel-01516170v1  Thèse
Christoph Paulus. Topological Changes in Simulations of Deformable Objects
Modeling and Simulation. University of Strasbourg, 2017. English
...
hal-01505764v1  Communication dans un congrès
Harenome Razanajato, Vincent Loechner, Cédric Bastoul. Splitting Polyhedra to Generate More Efficient Code
IMPACT 2017, 7th International Workshop on Polyhedral Compilation Techniques, Jan 2017, Stockholm, Sweden. 2017, <http://impact.gforge.inria.fr/impact2017/>
...
hal-01518660v1  Communication dans un congrès
Nicolas Magaud. Transferring Arithmetic Decision Procedures (on Z) to Alternative Representations
CoqPL 2017: The Third International Workshop on Coq for Programming Languages, Jan 2017, Paris, France. <http://conf.researchr.org/track/CoqPL-2017/main>. <10.1145/nnnnnnn.nnnnnnn>
...
hal-01444595v1  Communication dans un congrès
Andrea Mendizabal, Rémi Duparc, Huu Phuoc Bui, Christoph Paulus, Igor Peterlik et al.  Face-based Smoothed Finite Element Method for Real-time Simulation of soft tissue
SPIE Medical Imaging, Feb 2017, Orlando, United States. SPIE Medical Imaging
...
hal-01307750v2  Rapport
Isabelle Charpentier, Jens Gustedt. Arbogast: Higher order AD for special functions with Modular C
[Research Report] RR-8907, Inria Nancy - Grand Est (Villers-lès-Nancy, France). 2017, pp.20

Contact


archive-ouverte@inria.fr