Centre de recherche en informatique
Mathématiques et systèmes
|
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1983 1979 |
A/485/CRI :
- A Maturity Model for the Deployment of Systems Engineering processes
- IN: 2012 IEEE International Systems Conference (SysCon 2012), 19-22 March 2012, Vancouver, Canada, 2012, pp. 550-556
DOI=10.1109/SysCon.2012.6189535
- HAL = hal-00743207
- 23 novembre 2011
- Clémentine Cornu (Eurocopter/ETZR, MINES-ParisTech CRI) ; Jean-Marc Quiot (Eurocopter/ETZR) ; Vincent Chapurlat (Ecole des Mines d'Alès/LGI2P) ; François Irigoin (MINES-ParisTech CRI)
A/484/CRI :
- En route for the Automatic Code Generation for Lattice QCD
- IN: International Symposium on Lattice Field Theory (LATTICE 2011), July 10-16, 2011 , Squaw Valley, Lake Tahoe, California (USA).
(non disponible)- novembre 2011
- Denis Barthou (University of Bordeau), Gilbert Grosdidier (LAL/IN2P3/CNRS), Christine Eisenbeis (INRIA), Pierre Guichon (IRFU/CEA-Saclay), Michael Kruse (INRIA), Olivier Pene (LPT/CNRS), Claude Tadonki (MINES-ParisTech CRI)
A/480/CRI :
- POSTER : PyPs, a programmable pass manager.
- IN: The 24th International Workshop on Languages and Compilers for Parallel Computing, Fort Collins, Colorado, USA, September 10, 2011
- 30 septembre 2011
- Serge Guelton (Telecom Bretagne) ; Mehdi Amini (MINES-ParisTech CRI, HPC Project) ; Ronan Keryell (HPC Project) ; Beatrice Creusillet (HPC Project, UPMC/LIP6)
A/479/CRI :
- SLIDES : Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach.
- IN: The Third International Workshop on Numerical and Symbolic Abstract Domain (NSAD 2011), Venice, Italy, 13 september 2011.
- Septembre 2011
- Vivien Maisonneuve
A/477/CRI :
- Large scale Kronecker product on supercomputers.
- IN: 23rd International Symposium on Computer Architecture and High Performance Computing - SBAC-PAD 2011 - WAMCA 2011, Victoria, Espirito Santo, Brazil, October 26-29 Octobre 2011.
(non disponible)- HAL = in2p3-00702588
- septembre 2011
- Claude Tadonki
A/476/CRI :
- Static Compilation Analysis for Host-Accelerator Communication Optimization.
- IN: The 24th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2011). Colorado State University, Fort Collins, Colorado, USA, September 8-10, 2011
- HAL = hal-00743496
- 30 août 2011
- Mehdi Amini, Fabien Coelho, François Irigoin (MINES-ParisTech CRI) ; Ronan Keryell (HPC Project)
A/474/CRI :
- ABSTRACT & SLIDES : A complete industrial multi-target graphical tool-chain for parallel implementations of signal and image applications.
- IN: Workshop multi-processor systems on a chip (MPSoCs), Map2MPSoC 2011, SCOPES 2011, St. Goar, Germany, June 27-28, 2011.&
- HAL = hal-00743506
- mai 2011
- Corinne Ancourt, François Irigoin (MINES-ParisTech CRI) ; Teodora Petrisor, Eric Lenormand (Thales Research and Technologies/LSE)
A/472/CRI :
- Convex Invariant Rafinement by Control Node Splitting : a Heuristic Approach.
- IN: The Third International Workshop on Numerical and Symbolic Abstract Domain (NSAD 2011), Venice, Italy, 13 september 2011.
ENTCS Vol. 288, pages 49-59, Springer (2012)
(non disponible)- 19 juin 2011
- Vivien Maisonneuve
A/470/CRI :
- SLIDES : Polyèdres et Compilation.
- IN: Rencontres francophones du Parallélisme (RenPar'20), 10 au 13 mai 2011, Saint-Malo, France
- HAL = hal-00743713
- mai 2011
- François Irigoin, Mehdi Amini, Corinne Ancourt, Fabien Coelho (MINES-ParisTech CRI) ; Béatrice Creusillet, Ronan Keryell (HPC Project)
A/469/CRI :
- SLIDES : Compilation et optimisation statique des communications hôte-accélérateur.
- IN: Rencontres francophones du Parallélisme (RenPar'20), 10 au 13 mai 2011, Saint-Malo, France
- HAL = hal-00744259 + slides
- mai 2011
- Mehdi Amini, Fabien Coelho, François Irigoin (MINES-ParisTech CRI) ; Ronan Keryell (HPC Project)
A/468/CRI :
- SLIDES : Compilation pour cibles hétérogènes : automatisation des analyses, transformations, et décisions nécessaires.
- IN: Rencontres francophones du Parallélismes (RenPar 20), 10-13 mai 2011, Saint-Malo, France
- HAL = hal-00744284 + slides
- mai 2011
- Serge Guelton (Télécom Bretagne) ; Ronan Keryell (HPC Project) ; François Irigoin (MINES-ParisTech CRI)
A/467/CRI :
- SLIDES : A complete industrial multi-target graphical tool-chain for parallel implementations of signal/image applications.
- IN: 4th Workshop on Mapping of Applications to MPSoCs, June 28th, 2011, Rheinfels Castle, St. Goar, Germany.
(non disponible)- mai 2011
- Theodora Petrisor, Eric Lenormand (Thales) ; Corinne Ancourt, François Irigoin (MINES-ParisTech CRI)
A/466/CRI :
- SLIDES: Data and Process Abstraction in PIPS Internal Representation
- IN: Troisièmes Rencontres de la Communauté Française de Compilation, 27-29 avril 2011, Manoir de la Vicomte, Dinard, France.
(Nouvelle version des transparents présentés à WIR'2011 par Fabien Coelho)- HAL = hal-00744294
- 28 avril 2011
- Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, François Irigoin
A/465/CRI :
- Mixing Systems Engineering and Enterprise Modelling principles to formalize a SE processes deployment approach in industry.
- IN: Complex Systems Design & Management (CSDM 2011), 7-9 décembre 2011, Paris, France
- HAL = hal-00750854
- 22 avril 2011
- Clémentine Cornu (Eurocopter) ; Vincent Chapurlat (LG12P - Site EERIE de l'EMA) ; Bernard Chiavassa (Eurocopter) ; François Irigoin (MINES-ParisTech CRI)
A/464/CRI :
- Polyèdres et Compilation.
- IN: Rencontres francophones du Parallélisme (RenPar'20), 10 au 13 mai 2011, Saint-Malo, France
- HAL = hal-00743713
- 14 avril 2011
- François Irigoin, Mehdi Amini, Corinne Ancourt, Fabien Coelho (MINES-ParisTech CRI) ; Béatrice Creusillet, Ronan Keryell (HPC Project)
A/463/CRI :
- SLIDES : OpenMP and Work-Streaming Compilation in GCC
- IN: 3rd International Workshop on GCC Research Opportunities (GROW 2011), April 3, 2011, Chamonix, France.
- 3 avril 2011
- Antoniu Pop
A/462/CRI :
- Advances in Parallel-Stage Decoupled Software Pipelining
- IN: Proceedings of the Workshop on Intermediate Representations (WIR 2011), April 2, 2011, Chamonix, France, pp. 29-36
- HAL = hal-00744090
- 2 avril 2011
- Feng Li (INRIA) ; Antoniu Pop (MINES-ParisTech CRI) ; Albert Cohen (INRIA)
A/461/CRI :
- Compiling for a Heterogeneous Vector Image Processor.
- IN: Troisièmes Journées Nationales du GDR Génie de la Programmation et du Logiciel (GDR GPL 2011), 8-10 juin 2011, Lille, France
- HAL = hal-00744076
- 11 avril 2011
- Fabien Coelho, François Irigoin
A/460/CRI :
- A model based systems engineering processes deployment framework.
- IN: 6th International Conference on Software and Data Technologies (ICSOFT 2011), 18-21, July, Seville, Spain.
- HAL = hal-00659357
- 11 avril 2011
- Clémentine Cornu, Bernard Chiavassa (Eurocopter) ; Vincent Chapurlat (LG12P - Site EERIE de l'EMA) ; François Irigoin (MINES-ParisTech CRI)
A/459/CRI :
- SLIDES : Data and Process Abstraction in PIPS Internal Representation.
- IN: First Workshop on Intermediate Representations (WIR 2011), April 2011, Chamonix, France.
- 7 avril 2011
- Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, François Irigoin
A/458/CRI :
- SLIDES : PIPS An interprodedural, extensible, source-to-source compiler infrastructure for code transformations and instrumentations.
- IN: PIPS tutorial, International Symposium on Code Generation and Optimization (CGO 2011), 3 April 2011, Chamonix, France.
- 3 avril 2011
- Corinne Ancourt (MINES-ParisTech CRI) ; Frédérique Chaussumier-Silber (Télécom Paris-Sud) ; Serge Guelton (Télécom Bretagne) ; Ronan Keryell (HPC Project)
A/457/CRI :
- SLIDES : Dependencies between Analyses and Transformations in the Middle-End
- IN: Worksop Analyse to compile, compile to analyse (ACCA 2011), 3 avril 2011, Chamonix, France.
- 3 avril 2011
- François Irigoin, Fabien Coelho (MINES-ParisTech CRI) ; Béatrice Creusillet (HPC-project)
A/453/CRI :
- PIPS Is not (just) Polyhedral Software.
- IN: 1st International Workshop on Polyhedral Compilation Techniques, (Impact 2011), April 3, Chamonix, France. (in conjunction with CGO 2011)
- HAL = hal-00744312
- 10 février 2011
- Mehdi Amini, Corinne Ancourt, Fabien Coelho, François Irigoin, Pierre Jouvelot (MINES-ParisTech CRI) ; Ronan Keryell, Pierre Villalon, Béatrice Creusillet (HPC Project) ; Serge Guelton (Télécom Bretagne)
A/452/CRI :
- A pilot Usability Study of MINWii, a Music Therapy Game for Demented Patients.
- IN: Technology and Health Care, publié par IOS Press, Volume 19, Number 4, 2011, pp.233-246.
DOI=10.3233/THC-2011-0628- HAL = hal-00628624
- janvier 2011
- Mélodie Boulay, Sandra Boespflug, Anne-Sophie Rigaud (Assistance Publique-Hôpitaux de Paris, Hôpital Broca & Université Paris Descartes, Faculté de Médecine) ; Samuel Benveniste, Pierre Jouvelot (MINES-ParisTech CRI)
A/451/CRI :
- Compilation et optimisation statique des communications hôte-accélérateur
- IN: Rencontres francophones du Parallélisme (RenPar'20), 10 au 13 mai 2011, Saint-Malo, France
- HAL = hal-00744259 + slides
- 7 février 2011
- Mehdi Amini, Fabien Coelho, François Irigoin (MINES-ParisTech CRI) ; Ronan Keryell (HPC Project)
A/449/CRI :
- Compilation pour cibles hétérogènes : automatisation des analyses, transformations, et décisions nécessaires.
- IN: Rencontres francophones du Parallélismes (RenPar 20), 10-13 mai 2011, Saint-Malo, France
- HAL = hal-00744284 + slides
- 7 février 2011
- Serge Guelton (Télécom Bretagne) ; Ronan Keryell (HPC Project) ; François Irigoin (MINES-ParisTech CRI)
Articles soumis :
A/447/CRI :
- Data and Process Abstraction in PIPS Internal Representation.
- IN: First Workshop on Intermediate Representations (WIR 2011), April 2011, Chamonix, France.
- HAL = hal-00744291
- 21 janvier 2011
- Fabien Coelho, Pierre Jouvelot, François Irigoin, Corinne Ancourt
A/493/CRI :
- Synchronous Programming in Audio Processing: A Lookup Table Oscillator Case Study
- 2011 :International Workshop on Synchonous Programming
2012 :Submitted to: ACM Computing Surveys Journal- Novembre 2011
- Karim Barkati (MINES-ParisTech CRI, IRCAM) ; Pierre Jouvelot (MINES-ParisTech CRI)
Autres articles et rapports techniques :
A/455/CRI :
- Building Retargetable and Efficient Compilers for Multimedia Instruction Sets.
- Submitted to: PACT 2011
(non disponible)- Mars 2011
- Ronan Keyrell (HPC Project) ; Adrien Guinet ; Serge Guelton (Télécom Bretagne)
A/482/CRI :
- SLIDES : Leveraging Streaming for Deterministic Parallelization - an Integrated Language, Compiler and Runtime Approach
- 30 septembre 2011
- Antoniu Pop
A/478/CRI :
- A Field Analysis of Relational Database Schemas in Open-source Software (Extended)
- (non disponible)
- 8 septembre 2011
- Fabien Coelho ; Alexandre Aillos ; Samuel Pilot ; Shamil Valeev
A/475/CRI :
- PyPs, a programmable pass manager.
- 30 août 2011
- Serge Guelton (Telecom Bretagne) ; Mehdi Amini (MINES-ParisTechCRI, HPC Project) ; Ronan Keryell (HPC Project) ; Beatrice Creusillet (HPC Project, UPMC/LIP6)
A/473/CRI :
- Affine Loop Invariants Detection with Transformer Lists*
- (non disponible)
- 5 juillet 2011
- Corinne Ancourt, François Irigoin, Vivien Maisonneuve
A/471/CRI :
- Development of a WEB Interface for PIPS Compilation Framework.
- (non disponible)
- 12 juillet 2011
- Maria Szymczak
A/456/CRI :
- POSTER : MINWii : A music Game for Demented Patients.
- 30 mars 2011
- Samuel Benveniste, Pierre Jouvelot, Benoît Pin (MINES-ParisTech CRI) ; Renaud Pequignot (Hopital Saint-Maurice) ; Mélodie Boulay, Sandra Boefsplug, Anne-Sophie Rigaud (Broca, la rochefoucauld, la collegiale, Groupement hospitalier universitaire Ouest).
A/454/CRI :
- Towards a method to deploy systems engineering processes within compagnies.
- 21 mars 2011
- Clémentine Cornu, Bernard Chiavassa (Eurocopter) ; Vincent Chapurlat (LGI2P - Site EERIE, EMA) ; François Irigoin (MINES-ParisTech CRI)
A/450/CRI :
- Compilation for heteregenous Computing : Automatic analyses, Transformations and Decisions
- 7 février 2011
- Serge Guelton (Télécom Bretagne) ; Ronan Keryell (HPC Project) ; François Irigoin (MINES-ParisTech CRI)
Rapports internes :
A/448/CRI :
- Towards Automatic C programs optimization and parallelization using the PIPS-PoCC integration.
- 7 février 2011
- Dounia Khaldi, Corinne Ancourt, François Irigoin
E/310/CRI :
- Modélisation et estimation des temps d'exécution des instructions d'un programme C.
- Mémoire de mastère de recherche en Génie du Logiciel et en Traitement de l'Information Multimédia.
- (non disponible)
- 25 mai 2011
- Molka Becher