Search - Recherche en informatique (CRI)
 Access content directly

Filter your results

130 Results
Deposit type : Fulltext
Image document

A Stream-Comptuting Extension to OpenMP

Antoniu Pop , Albert Cohen
International Workshop on OpenMP (IWOMP'10), Jun 2010, Tsukuba, Japan
Conference papers inria-00551519v1
Image document

Test of several approaches for the composition of web services in meteorology.

Benoît Gschwind , Lucien Wald , Robert Mahl , François Irigoin , Lionel Ménard
EnviroInfo 2007, Environmental Informatics and systems research, the 21st International Conference on "Informatics for Environmental Protection", 2007, France. pp.127-134
Conference papers hal-00222759v1
Image document

Interoperability Assessment in the Deployment of Technical Processes in Industry

Clémentine Cornu , Vincent Chapurlat , Jean-Marc Quiot , François Irigoin
INCOM 2012, The 14th edition of IFAC's triennal symposium INCOM, May 2012, Bucharest, Romania. pp. F20-F25
Conference papers hal-00750860v1
Image document

Parallelizing with BDSC, a resource-constrained scheduling algorithm for shared and distributed memory systems

Dounia Khaldi , Pierre Jouvelot , Corinne Ancourt
Parallel Computing, 2015, 41, pp.66 - 89. ⟨10.1016/j.parco.2014.11.004⟩
Journal articles hal-01097328v1
Image document

Compiling for a Heterogeneous Vector Image Processor

Fabien Coelho , François Irigoin
Troisièmes journées Nationales du GDR Génie de la Programmation et du Logiciel (GDR GPL 2011), Jun 2011, Lille, France
Conference papers hal-00744076v1
Image document

Compilation d'applications de traitement d'images sur architecture MPPA-Manycore

Pierre Guillou
Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS 2014), Apr 2014, Neuchatel, Suisse
Conference poster hal-01096993v1
Image document

Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages

Dounia Khaldi , Pierre Jouvelot , Corinne Ancourt , François Irigoin
25th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2012), Sep 2012, Tokyo, Japan. pp 174-189, ⟨10.1007/978-3-642-37658-0_12⟩
Conference papers hal-00742536v1
Image document

A Maturity Model for the Deployment of Systems Engineering processes

Clémentine Cornu , Jean-Marc Quiot , Vincent Chapurlat , François Irigoin
IEEE 2012 International Systems Conference (SysCon 2012), Mar 2012, Vancouver, Canada. pp. 560-566, ⟨10.1109/SysCon.2012.6189535⟩
Conference papers hal-00743207v1
Image document

Basic parallel and distributed computing curriculum

Claude Tadonki
Second NSF/TCPP Workshop on Parallel and Distributed Computing Education (EduPar'12) The 26th IEEE International Parallel & Distributed Processing Symposium (IPDPS), May 2012, Shanghai, China
Conference papers hal-00744721v1
Image document

Programmation haute performance pour architectures hybrides

Rachid Habel
Calcul parallèle, distribué et partagé [cs.DC]. Ecole Nationale Supérieure des Mines de Paris, 2014. Français. ⟨NNT : 2014ENMP0025⟩
Theses tel-01101782v2
Image document

Compiling Image Processing Applications for Many-Core Accelerators

Pierre Guillou
ACACES Summer School : Eleventh International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, Jul 2015, Fiuggi, Italy.
Conference poster hal-01254412v1
Image document

Automatic Resource-Constrained Static Task Parallelization : A Generic Approach

Dounia Khaldi
Other [cs.OH]. Ecole Nationale Supérieure des Mines de Paris, 2013. English. ⟨NNT : 2013ENMP0031⟩
Theses pastel-00935483v1
Image document

A Fine-grained Approach for Power Consumption Analysis and Prediction

Alessandro Ferreira Leite , Claude Tadonki , Christine Eisenbeis , Alba Cristina M. A. de Melo
[Research Report] RR-8416, INRIA. 2013, pp.12
Reports hal-00918810v1
Image document

Dedukti : a Universal Proof Checker

Ronan Saillard
Foundation of Mathematics for Computer-Aided Formalization Workshop, Jan 2013, Padova, Italy
Conference papers hal-00833992v1
Image document

PetaQCD : En Route for the automatic code generation for lattice QCD

D. Barthou , G. Grosdidier , Christine Eisenbeis , P. Guichon , M. Kruse , et al.
Lattice 2011, Jul 2011, Squaw Valley, Lake Tahoe, United States. pp.043
Conference papers hal-00833330v1
Image document

The MINWii Project : Renarcissization of Patients Suffering from Alzheimer's Disease Through Video Game-Based Music Therapy

Samuel Benveniste , Pierre Jouvelot , Renaud Péquignot
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.79-90, ⟨10.1007/978-3-642-15399-0_8⟩
Conference papers hal-00831340v1
Image document

The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices

Karel de Vogeleer , Gérard Memmi , Pierre Jouvelot , Fabien Coelho
Workshop on Power and Energy Aspects of Computation, In conjunction with the 10th International Conference on Parallel Processing and Applied Mathematics (PPAM'2013), Sep 2013, Varsovie, Poland. pp 793-803, ⟨10.1007/978-3-642-55224-3_74⟩
Conference papers hal-00919414v1
Image document

High Performance Computing as a Combination of Machines and Methods and Programming

Claude Tadonki
Formal Languages and Automata Theory [cs.FL]. Université Paris Sud - Paris XI, 2013
Habilitation à diriger des recherches tel-00832930v1
Image document

Liquid Clocks - Refinement Types for Time-Dependent Stream Functions

Jean-Pierre Talpin , Pierre Jouvelot , Sandeep Kumar Shukla
[Research Report] RR-8747, INRIA Rennes - Bretagne Atlantique; INRIA. 2015
Reports hal-01166350v3
Image document

Programmation Haute Performance pour Architectures hybrides

Rachid Habel , François Irigoin , Frédérique Silber-Chaussumier
Conférence et Parallélisme, Architecture et Système : RenPar - CFSE - ComPas, Jan 2013, Grenoble, France
Conference poster hal-01086632v1
Image document

Des réels aux flottants : préservation automatique de preuves de stabilité de Lyapunov

Olivier Hermant , Vivien Maisonneuve
AFADL, Pascale Le Gall; Frederic Dadeau, Jun 2015, Bordeaux, France. pp.51-56
Conference papers hal-01138327v1
Image document

Semantic A-translation and Super-consistency entail Classical Cut Elimination

Lisa Allali , Olivier Hermant
LPAR 19 - 19th Conference on Logic for Programming, Artificial Intelligence, and Reasoning - 2013, Bernd Fischer, Geoff Sutcliffe, Dec 2013, Stellenbosch, South Africa. pp.407-422, ⟨10.1007/978-3-642-45221-5_28⟩
Conference papers hal-00923915v1
Image document

Textual entailment by generality

Sebastiao Pais , Gaël Dias , Katarzyna Wegrzyn-Wolska , Robert Mahl , Pierre Jouvelot
Conference on Pacific Association for Computational Lingustics, PACLING 2011, Jul 2011, Kuala Lumpur, Malaysia. pp.258-266, ⟨10.1016/j.sbspro.2011.10.606⟩
Conference papers hal-00659339v1
Image document

From Data to Effects Dependence Graphs: Source-to-Source Transformations for C

Nelson Lossing , Pierre Guillou , Mehdi Amini , François Irigoin
the 18th International Workshop on Compilers for Parallel Computing (CPC'15), Jan 2015, Londres, United Kingdom
Conference papers hal-01112308v1
Image document

Source-to-Source Automatic Program Transformations for GPU-like Hardware Accelerators

Mehdi Amini
Other [cs.OH]. Ecole Nationale Supérieure des Mines de Paris, 2012. English. ⟨NNT : 2012ENMP0105⟩
Theses pastel-00958033v1
Image document

RRSS - Rating Reviews Support System Purpose Built for Movies Recommendation.

Grzegorz Dziczkowski , Katarzyna Wegrzyn-Wolska
5th Atlantic Web Intelligence Conference AWIC 2007, Jun 2007, Fontainebleau, France. pp.Pages 87-93
Conference papers hal-00861400v1
Image document

Synchronous programming in audio processing

Karim Barkati , Pierre Jouvelot
ACM Computing Surveys, 2013, 46 (2), pp.24. ⟨10.1145/2543581.2543591⟩
Journal articles hal-01540047v1
Image document

Beyond Do Loops: Data Transfer Generation with Convex Array Regions

Serge Guelton , Mehdi Amini , Béatrice Creusillet
25th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2012), Sep 2012, Tokyo, Japan. pp. 249-263, ⟨10.1007/978-3-642-37658-0_17⟩
Conference papers hal-00742583v1
Image document

Data and Process Abstraction in PIPS Internal Representation

Fabien Coelho , Pierre Jouvelot , Corinne Ancourt , François Irigoin
First Workshop on Intermediate Representations (WIR-1), Apr 2011, Chamonix, France
Conference papers hal-00744291v1
Image document

From Data to Effects Dependence Graphs: Source-to-Source Transformations for C

Nelson Lossing , Pierre Guillou , Mehdi Amini , François Irigoin
[Technical Report] MINES ParisTech. 2015
Reports hal-01254426v1