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  

2010

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


Articles publiés :

A/446/CRI :

Dependent Vector Types for Data Structuring in Multirate Faust.
IN: Journal of Computer Languages, Structures and Systems, Elsevier, February 21, 2011, Vol. 37, Issue 3, pp. 113–131
DOI=10.1016/j.cl.2011.03.001
HAL = hal-00628564
novembre 2010
Pierre Jouvelot (MINES-ParisTech CRI) ; Yann Orlarey (Grame).

A/444/CRI :

Remote Comparison of Database Tables
IN: The Third International Conference on Advances in Databases, Knowledge, and Data Applications (DBKDA 2011), January 23-28, 2011, St. Maarten, The Netherlands Antilles.
(non disponible)
HAL = hal-00916669
novembre 2010
Fabien Coelho

A/443/CRI :

Où va l'informatique ?
IN: Mines Revue des Ingénieurs, Janvier-Février 2010, N°444.
Janvier 2010
Fabien Coelho

A/440/CRI :

POSTER : Automatic Source-to-Source Code Generation for Vector Hardware Accelerators.
IN: 23rd International Workshop on Languages and Compilers for Parallel Computing (LCPC 2010), Houston, Texas, USA, 7-9 October 2010
septembre 2010
Serge Guelton (Télécom Bretagne)

A/436/CRI :

La notoriété des Ingénieurs des mines mesurée par le Web
IN: Revue "Responsabilité & Environnement", N° 60, Octobre 2010, pp.51-62
septembre 2010
Robert Mahl

A/435/CRI :

POSTER: ERBIUM : A Deterministic, Concurrent Intermediate Representation for Portable and Scalable Performance
IN: International Conference on Computing Frontiers (CF'10), May 17-19, 2010, Bertinoro, Italy
10 mai 2010
Cupertino Miranda, Albert Cohen (INRIA) ; Philippe Dumont, Marc Duranton (NXP Semiconductors) ; Antoniu Pop (MINES-ParisTech CRI)

A/434/CRI :

POSTER : A Stream-Computing Extension to OpenMP
IN: 6th International Workshop on OpenMP (IWOMP'10), June 14-16, 2010, Tsukuba, Japan
01 juin 2010
Antoniu Pop (MINES-ParisTech CRI) ; Albert Cohen (INRIA Saclay and LRI, Paris-Sud 11 University, France)

A/433/CRI :

POSTER : Dependent Vector Types For Multirate Faust.
IN: 7th Sound and Music Conference (SMC 2010), 21-24 Juillet 2010, Barcelone, Espagne.
24 juin 2010
Pierre Jouvelot (MINES-ParisTech CRI) ; Yann Orlarey (Grame, Lyon, France)

A/432/CRI :

Dependent Vector Types For Multirate Faust.
IN: 7th Sound and Music Conference (SMC 2010), 21-24 Juillet 2010, Barcelone, Espagne.
Voir A446/CRI (enregistré en double)
DOI=10.1016/j.cl.2011.03.001
HAL = hal-00628564
24 juin 2010
Pierre Jouvelot (MINES-ParisTech CRI); Yann Orlarey (Grame, Lyon, France)

A/431/CRI :

Dependent Vector Types for Data Structuring in Multirate Faust.
IN: Computer Languages, Structures and Systems, Elsevier,
Voir A446/CRI (enregistré en double)
DOI=10.1016/j.cl.2011.03.001
HAL = hal-00628564
24 septembre 2010
Pierre Jouvelot (MINES-ParisTech CRI) ; Yann Orlarey (Grame, Lyon, France)

A/430/CRI :

Compiling for an Heterogeneous Vector Image Processor.
IN: Proceedings, Ninth Workshop on Optimizations for DSP and Embedded Systems (ODES-9), 2 Avril 2011, Chamonix, France, pp.5-12
In conjunction with : International Symposium on Code Generation and Optimization (CGO)
HAL = hal-00919248
22 septembre 2010
Fabien Coelho, François Irigoin

A/428/CRI/2009 :

POSTER : A genetic and source-to-source approach to iterative compilation.
IN: 18th International Conference on Parallel Architectures and Compilation Techniques (PACT 2009), Raleigh, North Carolina, USA,12-16 September 2009.
septembre 2009
Serge Guelton (Télécom Bretagne)

A/427/CRI :

POSTER : Automatic Source-to-Source Code Generation for Vector Hardware Accelerations.
IN: SOC-SIP, Paris-Cergy, France 9-11 June 2010.
juin 2010
Serge Guelton (Telecom Bretage)

A/426/CRI :

A Modular Static Analysis Approach to Affine Loop Invariants Detection.
IN: Second International Workshop on Numerical & Symbolic Abstract Domains (NSAD 2010), Perpignan, France, 13 septembre 2010.
Published in : Electronic Notes in Theoretical Computer Science (ENTCS)Volume 267, Issue 1, 1 October 2010, Pages 3–16, Ed. Elsevier
DOI : 10.1016/j.entcs.2010.09.002
HAL = hal-00586338
1er Août 2010
Corinne Ancourt, Fabien Coelho, Francois Irigoin

A/424/CRI :

Preserving high-level semantics of parallel programming annotations through the compilation flow of optimizing compilers.
IN: 15th Workshop on Compilers for Parallel Computing (CPC 2010), Vienna University of Technology, Vienna, Austria, July 7-9, 2010.
HAL = inria-00551518
30 mai 2010
Antoniu Pop (MINES-ParisTech CRI) ; Albert Cohen (INRIA Saclay and LRI, Paris-Sud 11 University, France).

A/423/CRI :

A Field Analysis of Relational Database Schemas in Open Source Software.
IN: The Third International Conference on Advances in Databases, Knowledge, and Data Applications (DBKDA 2011), January 23-28, 2011, St. Maarten, The Netherlands Antilles.
(non disponible)
HAL = hal-00903676
novembre 2010
Fabien Coelho (MINES-ParisTech CRI) ; Alexandre Aillos, Samuel Pilot, Shamil Valeev (Elèves MINES-ParisTech).

A/420/CRI/2009 :

Une approche génétique et source à source de l'optimisation de code.
IN: RenPar'19, SympA'13, CFSE'7, Toulouse, France, 9-11 septembre 2009.
(1 exemplaire)
HAL = hal-00919312
septembre 2009
Serge Guelton (Institut Télécom Bretagne, Doctorant MINES-Paristech CRI), Sébastien Varrette (CSC research unit, University of Luxembourg)

A/418/CRI :

ERBIUM : A Deterministic, Concurrent Intermediate Representation to Map Data-Flow Tasks to Scalable, Persistent Streaming Processes
IN : International Conference on Compilers Architectures and Synthesis for Embedded Systems (CASES 2010), Scottsdale, AZ, USA, 24-29 October, 2010.
HAL = inria-00551510
13 avril 2010
Cupertino Miranda (INRIA Saclay and LRI, Paris-Sud 11 University) ; Antoniu Pop (MINES-ParisTech CRI) ; Philippe Dumont (INRIA Saclay and NXP Semiconductors) ; Albert Cohen (INRIA Saclay and LRI, Paris-Sud 11 University) ; Marc Duranton (NXP Semiconductors)

A/417/CRI :

The MINWii Project : Renarcissization of Patients Suffering from Alzheimer's Disease Through Video Game-Based Music Therapy.
IN: 9th International Conference on Entertainment Computing (ICEC 2010), Coex Séoul, Corée, 8-11 September 2010,
Lecture Notes in Computer Science Volume 6243, 2010, pp 79-90
DOI=10.1007/978-3-642-15399-0_8
HAL = hal-00831340
30 mars 2010
Samuel Benveniste, Pierre Jouvelot ; Renaud Péquignot (Hopital Saint-Maurice)

A/416/CRI :

A Stream-Computing Extension to OpenMP.
IN : 6th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC'11), 24-26 January 2011, Heraklion, Crete, Grece.
HAL = hal-00659411
28 mars 2010
Antoniu Pop (MINES-ParisTech CRI) ; Albert Cohen (INRIA Saclay and LRI, Paris-Sud 11 University, France)

Articles soumis :

Autres articles et rapports techniques :

A/442/CRI :

Consideration of interoperability in the deployment of systems engineering processes
(non disponible)
Octobre 2010
Clémentine Cornu, Jean-Marc Quiot, Louis Fabre (Eurocopteur) ; Vincent Chapurbat (LGI2P Site FERIE de l'EMA) ; Francois Irigoin (MINES-ParisTech CRI)

A/439/CRI :

A genetic and source-to-source approach to itertive compilation.
en attente
juin 2010
Serge Guelton (Télécom Bretagne)

A/438/CRI :

Automatic and source-to-source code generation for vector hardware accelerators.
en attente
HAL = hal-00903638
juin 2010
Serge Guelton (Télécom Bregagne) ; François Irigoin (MINES-ParisTech CRI) ; Ronan Keyrell (HPC Project)

A/437/CRI :

Tiling.
(non disponible)
HAL = hal-00881140
septembre 2010
François Irigoin

A/429/CRI :

SAC : An Efficient Retargetable Source-to-Source Compiler for Multimedia Instruction Sets.
22 septembre 2010
Serge Guelton (Télécom Bretagne)

A/425/CRI :

Automatic Code Generation for SIMD Hardware Accelerators.
HAL = hal-00881211
juillet 2010
Serge Guelton (Télécom Bretagne, HPCAS, France) ; François Irigoin (MINES-ParisTech CRI) ; Ronan Keryell (HPC Project, France).

A/422/CRI :

SAC, a retargeable source-to-source Compiler SIMD Architecture.
(1 exemplaire)
HAL = hal-00903647
juin 2010
Serge Guelton, François Ferrand, Matthier Godet (Institut Télécom Bretage) ; François Irigoin (MINES-Paristech CRI) ; Ronan Keryell (HPC Project)

A/421/CRI :

Auto-Parallelizing C and Fortran for the CUDA Architecture.
(1 exemplaire)
HAL = hal-00903636
juin 2010
Beatrice Creusillet, Ronan Keryell (HPC Project) ; Stéphanie Even, Serge Guelton (Institut Télécom Bretagne) ; François Irigoin (MINES-ParisTech CRI)

A/419/CRI :

A Modular Static Analysis Approach to Affine Loop Invariants Detection (Extended Version)
01 octobre 2010
Corinne Ancourt, Fabien Coelho, Francois Irigoin

Rapports internes :

E/308/CRI :

SLIDES : A Modular Static Analysis Approach to Affine Loop Invariants Detection.
NSAD 2010
13 septembre 2010
Corinne Ancourt, Fabien Coelho, François Irigoin

E/307/CRI :

Optimisations Faustiennes.
Rapport de projet de fin d'études d'Ingénieur en Informatique.
(non disponible)
31 Août 2010
Ramzi Darmoul (ISI, Tunis)

E/306/CRI :

Etude, Conception et Développement d'une application de téléphonie mobile (Légimobile) sous Nokia.
Rapport de projet de fin d'études d'Ingénieur en Informatique.
(non disponible)
31 août 2010
Mohamed Tahar Jouida (ISI, Tunis)

E/305/CRI :

Génération des effets mémoire des intrinsèques C.
Rapport de projet de fin d'études d'Ingénieur en Informatique.
(non disponible)
31 Août 2010
Molka Becher (ISI, Tunis)

E/304/CRI :

Work Final Report (blackBerry)
(non disponible)
juillet 2010
Marcin Swiatek (AGH University of Science and Technology)

E/303/CRI :

Etude, Conception et Développement d'une application de téléphonie mobile (Légimobile) sous Windows Phone 7.
Rapport de projet de fin d'études d'Ingénieur en Informatique.
(non disponible)
31 août 2010
Houssem Toumi(ISI, Tunis)