Filter your results
- 130
- 54
- 1
- 73
- 15
- 13
- 10
- 9
- 5
- 3
- 2
- 6
- 2
- 123
- 7
- 5
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 26
- 12
- 28
- 15
- 22
- 9
- 8
- 7
- 3
- 108
- 22
- 129
- 14
- 13
- 11
- 10
- 8
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 2
- 2
- 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
- 29
- 26
- 17
- 14
- 13
- 10
- 9
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 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
- 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
|
A Stream-Comptuting Extension to OpenMPInternational Workshop on OpenMP (IWOMP'10), Jun 2010, Tsukuba, Japan
Conference papers
inria-00551519v1
|
||
|
Test of several approaches for the composition of web services in meteorology.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
|
||
|
Interoperability Assessment in the Deployment of Technical Processes in IndustryINCOM 2012, The 14th edition of IFAC's triennal symposium INCOM, May 2012, Bucharest, Romania. pp. F20-F25
Conference papers
hal-00750860v1
|
||
|
Parallelizing with BDSC, a resource-constrained scheduling algorithm for shared and distributed memory systemsParallel Computing, 2015, 41, pp.66 - 89. ⟨10.1016/j.parco.2014.11.004⟩
Journal articles
hal-01097328v1
|
||
|
Compiling for a Heterogeneous Vector Image ProcessorTroisiè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
|
||
|
Compilation d'applications de traitement d'images sur architecture MPPA-ManycoreConférence d’informatique en Parallélisme, Architecture et Système (ComPAS 2014), Apr 2014, Neuchatel, Suisse
Conference poster
hal-01096993v1
|
||
|
Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages25th 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
|
||
|
A Maturity Model for the Deployment of Systems Engineering processesIEEE 2012 International Systems Conference (SysCon 2012), Mar 2012, Vancouver, Canada. pp. 560-566, ⟨10.1109/SysCon.2012.6189535⟩
Conference papers
hal-00743207v1
|
||
|
Basic parallel and distributed computing curriculumSecond 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
|
||
|
Programmation haute performance pour architectures hybridesCalcul parallèle, distribué et partagé [cs.DC]. Ecole Nationale Supérieure des Mines de Paris, 2014. Français. ⟨NNT : 2014ENMP0025⟩
Theses
tel-01101782v2
|
||
|
Compiling Image Processing Applications for Many-Core AcceleratorsACACES 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
|
||
|
Automatic Resource-Constrained Static Task Parallelization : A Generic ApproachOther [cs.OH]. Ecole Nationale Supérieure des Mines de Paris, 2013. English. ⟨NNT : 2013ENMP0031⟩
Theses
pastel-00935483v1
|
||
|
A Fine-grained Approach for Power Consumption Analysis and Prediction[Research Report] RR-8416, INRIA. 2013, pp.12
Reports
hal-00918810v1
|
||
|
Dedukti : a Universal Proof CheckerFoundation of Mathematics for Computer-Aided Formalization Workshop, Jan 2013, Padova, Italy
Conference papers
hal-00833992v1
|
||
|
PetaQCD : En Route for the automatic code generation for lattice QCDLattice 2011, Jul 2011, Squaw Valley, Lake Tahoe, United States. pp.043
Conference papers
hal-00833330v1
|
||
|
The MINWii Project : Renarcissization of Patients Suffering from Alzheimer's Disease Through Video Game-Based Music Therapy9th 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
|
||
|
The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile DevicesWorkshop 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
|
||
|
High Performance Computing as a Combination of Machines and Methods and ProgrammingFormal Languages and Automata Theory [cs.FL]. Université Paris Sud - Paris XI, 2013
Habilitation à diriger des recherches
tel-00832930v1
|
||
|
Liquid Clocks - Refinement Types for Time-Dependent Stream Functions[Research Report] RR-8747, INRIA Rennes - Bretagne Atlantique; INRIA. 2015
Reports
hal-01166350v3
|
||
|
Programmation Haute Performance pour Architectures hybridesConférence et Parallélisme, Architecture et Système : RenPar - CFSE - ComPas, Jan 2013, Grenoble, France
Conference poster
hal-01086632v1
|
||
|
Des réels aux flottants : préservation automatique de preuves de stabilité de LyapunovAFADL, Pascale Le Gall; Frederic Dadeau, Jun 2015, Bordeaux, France. pp.51-56
Conference papers
hal-01138327v1
|
||
|
Semantic A-translation and Super-consistency entail Classical Cut EliminationLPAR 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
|
||
|
Textual entailment by generalityConference 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
|
||
|
From Data to Effects Dependence Graphs: Source-to-Source Transformations for Cthe 18th International Workshop on Compilers for Parallel Computing (CPC'15), Jan 2015, Londres, United Kingdom
Conference papers
hal-01112308v1
|
||
|
Source-to-Source Automatic Program Transformations for GPU-like Hardware AcceleratorsOther [cs.OH]. Ecole Nationale Supérieure des Mines de Paris, 2012. English. ⟨NNT : 2012ENMP0105⟩
Theses
pastel-00958033v1
|
||
|
RRSS - Rating Reviews Support System Purpose Built for Movies Recommendation.5th Atlantic Web Intelligence Conference AWIC 2007, Jun 2007, Fontainebleau, France. pp.Pages 87-93
Conference papers
hal-00861400v1
|
||
|
Synchronous programming in audio processingACM Computing Surveys, 2013, 46 (2), pp.24. ⟨10.1145/2543581.2543591⟩
Journal articles
hal-01540047v1
|
||
|
Beyond Do Loops: Data Transfer Generation with Convex Array Regions25th 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
|
||
|
Data and Process Abstraction in PIPS Internal RepresentationFirst Workshop on Intermediate Representations (WIR-1), Apr 2011, Chamonix, France
Conference papers
hal-00744291v1
|
||
|
From Data to Effects Dependence Graphs: Source-to-Source Transformations for C[Technical Report] MINES ParisTech. 2015
Reports
hal-01254426v1
|