Centre de recherche en informatique

Mathématiques et systèmes




2017   2016   2015   2014   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  

2011

Articles publies - Articles soumis - Autres articles et rapports techniques - Rapports internes


Articles publiés :

A/534/CRI :

Recognizing Textual Entailment by Generality using Informative Asymmetric Measures and Multiword Unit Identification to Summarize Ephemeral Clusters
IN: International Conference on Web Intelligence and Intelligent Agent Technology, Lyon, france, 22-27/08/2011
Journal : IEEE/WIC/ACM , Vol.1, pp. 284-287
HAL = hal-00916353
2011-07
Gael Dias (HULTIG, Univ. of Beira Interior, Covilha, Portugal), Sebastiao Pais (HULTIG), Katarzyna Wegrzyn-Wolska (ESIGETEL), Robert Mahl (MINES-ParisTech CRI)

A/493/CRI :

Synchronous Programming in Audio Processing: A Lookup Table Oscillator Case Study
2011 :International Workshop on Synchonous Programming (SYNCHRON 2011)
2012 :Submitted to: ACM Computing Surveys Journal
(SLIDES disponibles en téléchargeant A-493-slides.pdf)
Publied to : Vol. 46 (Issue 2, Article N°24), pp.Pages 1-35, 2013
DOI = 10.1145/2543581.2543591
HAL = hal-00751490
Novembre 2011
Karim Barkati (MINES-ParisTech CRI, IRCAM) ; Pierre Jouvelot (MINES-ParisTech CRI)

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
HAL = hal-01087303
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)
DOI : 10.1016/j.entcs.2012.10.007
HAL = hal-00833344
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)

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

Articles soumis :

Autres articles et rapports techniques :

A/536/CRI :

SLIDES : Hashcash Parallelization on GPGPU using OpenCL
49th International Scientific Student Conference (ISSC),
Novosibirsk State University, Russia. 19 avril 2011
Best presentation award.
Largest hashcash stamp found-48 then 52 bits
19 avril 2011
Etienne Servais (MINES-ParisTech CRI), encadré par Fabien Coelho (MINES-ParisTech CRI)

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)
HAL = hal-00903676
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/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/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
HAL = hal-00881217
7 février 2011
Serge Guelton (Télécom Bretagne) ; Ronan Keryell (HPC Project) ; François Irigoin (MINES-ParisTech CRI)

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

Rapports internes :

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