Centre de recherche en informatique

Mathématiques et systèmes




2024   2023   2022   2021   2020   2019   2018   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  

2013

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


Articles publiés :

A/554/CRI :

Synchronous programming in audio processing: A lookup table oscillator case study
IN: ACM Computing Surveys (CSUR), Volume 46 Issue 2, November 2013, Article No. 24, 35 pages
DOI = 10.1145/2543581.2543591
(Soumis en 2011 sous A/493/CRI)
Conférence: 18th International Workshop on Synchonous Programming 2011 (SYNCHRON 2011), Dammarie-les-Lys,28/11-2/12 2011)
HAL = hal-00751490, v2
2011/11
Karim Barkati (MINES-ParisTech CRI, IRCAM) ; Pierre Jouvelot (MINES-ParisTech CRI)

A/553/CRI :

Legivoc - connecting law in a changing world
Conférence : LVI'2013 (Law Via Internet), Jersey, 13 septembre 2013
IN: Journal of Open Access to Law, vol 1, N°1, 19 pages, Décembre 2013
HAL = hal-00937740
2013
Hughes-Jehan Vibert (Ministère de la Justice), Pierre Jouvelot (MINES-ParisTech CRI), Benoît Pin (MINES-ParisTech CRI)

A/552/CRI :

Polarizing Double Negation Translations
Conférence : LPAR 19 - 19th Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Stellenbosch, South Africa, 14-19 décembre 2013
IN : Logic for Programming, Artificial Intelligence, and Reasoning, Vol.8312, pp 182-197, ed. Springer
DOI = 10.1007/978-3-642-45221-5_14
HAL = hal-00920224
2013
Mélanie Boudard (UVSQ, DEDUCTEAM), Olivier Hermant (MINES-ParisTech CRI)

A/551/CRI :

Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps
Conférence : IWIL - 10th International Workshop on the Implementation of Logics - with the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning in Stellenbosch, South Africa, 14-19 décembre 2013
HAL = hal-00909688
2013
David Delahaye (CEDRIC, CNAM), Damien Doligez (INIRA), Frédéric Gilbert (INRIA), Pierre Halmagrand (CEDRIC, CNAM), Olivier Hermant (MINES-ParisTech CRI) ;;;;;

A/550/CRI :

Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo
Conférence : LPAR 19 - 19th Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Stellenbosch, South Africa, 14-19 décembre 2013
IN : Logic for Programming, Artificial Intelligence, and Reasoning, Vol.8312, pp 274-290, ed. Springer
DOI = 10.1007/978-3-642-45221-5_20
HAL = hal-00909784
2013
David Delahaye (CEDRIC, CNAM),Damien Doligez (GALLIUM, INRIA), Frédéric Gilbert (DEDUCTEAM, INRIA), Pierre Halmagrand (CEDRIC, CNAM), ;;;Olivier Hermant (MINES-ParisTech CRI)

A/549/CRI :

Semantic A-translation and Super-consistency entail Classical Cut Elimination
Conférence : LPAR 19 - 19th Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Stellenbosch, South Africa, 14-19 décembre 2013
IN : Logic for Programming, Artificial Intelligence, and Reasoning, Vol.8312, pp 407-422, ed. Springer
DOI = 10.1007/978-3-642-45221-5_28
HAL = hal-00923915
2013
Lisa Allali (INRIA, LIX), Olivier Hermant (MINES-ParisTech CRI)

A/548/CRI :

Using Event-Based Style for Developing M2M Applications
Conférence : 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, 9-11 mai 2013
IN : Grid and Pervasive Computing, Vol. 7861, pp. 348-357
DOI = 10.1007/978-3-642-38027-3_37
HAL = hal-00924491
2013
Truong Giang Le (LISITE - ISEP), Dmitriy Fedosov (University of Aerospace Instrumentation,St-Petersbourg), Olivier Hermant (MINES-ParisTech CRI), Matthieu Manceny ((LISITE - ISEP), Renaud Pawlak (IDCapture), and Renaud Rioboo (ENSIIE)

A/547/CRI :

Programming Robots With Events
Conférence : IESS 2013 - 4th IFIP TC 10 International Embedded Systems Symposium (Paderborn, Allemagne, du 17-19 juin 2013)
IN : Embedded Systems: Design, Analysis and Verification, Vol. 403, pp. 14-25, ed. commercial : Springer, ed. scientifique : Gunar Schirner and Marcelo Götz and Achim Rettberg and Mauro C. Zanella and Franz J. Rammig
DOI = 10.1007/978-3-642-38853-8_2
HAL = hal-00924489
2013
Truong-Giang Le (LISITE - ISEP), Dmitriy Fedosov (University of Aerospace Instrumentation,St-Petersbourg), Olivier Hermant (MINES-ParisTech CRI), Matthieu Manceny ((LISITE - ISEP), Renaud Pawlak (IDCapture), and Renaud Rioboo (ENSIIE)

A/539/CRI :

Towards explicit rewrite rules in the Lambda-Pi-calculus modulo
IN: IWIL - 10th International Workshop on the Implementation of Logics (2013)
HAL = hal-00921340, version 2
2013/12/14
Ronan Saillard (MINES-ParisTech CRI)

A/532/CRI :

The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices
IN: Workshop on Power and Energy Aspects of Computation,
In conjunction with : the PPAM'2013 (10th International Conference on Parallel Processing and Applied Mathematics)
8-11 septembre 2013, Warsaw, Poland
HAL = hal-00919414
Juillet 2013
Karel De Vogeleer et Gerard Memmi (TELECOM ParisTech INFRES), Pierre Jouvelot et Fabien Coelho (MINES ParisTech CRI)

A/531/CRI :

Automatic Generation of Communications for Redundant Multi-dimensional Data Parallel Redistributions
IN: 15th IEEE International Conference on High Performance Computing and Communications (HPCC 2013)
Date de la Conférence : 13-15 novembre 2013
Lieu de la Conférence : Zhangjiajie, Chine
HAL = hal-00919433
Septembre 2013
Corinne Ancourt (MINES-ParisTech CRI), Teodora Petrisor (THALES), Francois Irigoin (MINES-ParisTech CRI), Eric Lenormand (THALES)

A/527/CRI :

Dedukti: a Universal Proof Checker
IN: Foundation of Mathematics for Computer-Aided Formalization Workshop,
Padova (Italy), 9-11 janvier 2013
(Extended Abstract)
10 janvier 2013
Ronan Saillard (MINES-ParisTech CRI)

A/526/CRI :

POSTER : Dedukti : un vérificateur de preuve universel
IN: Journées GDL GPR - CIEL - AFADL 2013, Nancy
2-5 avril 2013
HAL = hal-01086609
03 avril 2013
Ali Assaf, Raphaël Cauderlier et Ronan Saillard (MINES-ParisTech CRI)

A/525/CRI :

SLIDES : Dedukti: a Universal Proof Checker
IN: Foundation of Mathematics for Computer-Aided Formalization Workshop,
Padova (Italy), 9-11 janvier 2013
10 janvier 2013
Ronan Saillard (MINES-ParisTech CRI)

A/519/CRI :

SLIDES : SPIRE: A Methodology for Sequential to Parallel Intermediate Representation Extension
IN: HiPEAC Computing Systems Week, Paris, France, 3 mai 2013
3 mai 2013
Dounia Khaldi, Pierre Jouvelot, Francois Irigoin, Corinne Ancourt (MINES-ParisTech CRI)

A/518/CRI :

POSTER : Programmation Haute Performance pour Architectures Hybrides
IN: ComPAS'2013, RenPar, Grenoble, France, 15-18 janvier 2013
HAL = hal-01086632
Janvier 2013
Rachid Habel (TELECOM Sud Paris), Francois Irigoin (MINES-ParisTech CRI)

Articles soumis :

Autres articles et rapports techniques :

A/560/CRI :

Contributions a la performance du calcul scientifique et embarque
Habilitation a diriger les recherches (HDR) :
Date de la soutenance : 11 octobre 2013
Lieu de la soutenance : MINES ParisTech, Paris
Jury de la soutenance : C. Bastoul, P. Clauss, A. Cohen, C. Delporte, F. Irigoin, C. Lengauer
HAL = hal-01254385
2013/10/11
Fabien Coelho

A/555/CRI :

Evaluation en EHPAD de MINDs, un jeu vidéo musical développé pour et avec des personnes souffrant de la maladie d'Alzheimer
Congrès national Alzheimer 2013, Paris, 5-6 Décembre 2013, Palais des Congrès d'Issy-les-Moulineaux
HAL = hal-00940161
2013/09/11
Lopes Philippe (CEN/STIMCO), Benveniste Samuel (CEN/STIMCO), Pino, Maribel (APHP Broca, Paris5), Stefanucci Céline (DOMUS Vi), Pisica-Donose Georges (DOMUS Vi), Jouvelot Pierre (MINES-ParisTech CRI), Reingewirtz Serge (CEN/STIMCO), and Rigault Anne-Sophie (APHP Broca)

A/546/CRI :

SLIDES : Towards explicit rewrite rules in the Lambda-Pi-calculus modulo
IN: IWIL - 10th International Workshop on the Implementation of Logics
14 décembre 2013
HAL = hal-00921340, version 2
2013/12/14
Ronan Saillard (MINES-ParisTech CRI)

A/545/CRI :

SLIDES = Programmation haute performance pour architecture hybride
Septièmes rencontres de la communauté française de compilation
Le Bois du Lys à Dammarie-Les-Lys, du 4-6 décembre 2013
2013/11
Rachid Habel (Doctorant co-encadré par Mines-ParisTech CRI et Telecom SudParis)

A/544/CRI :

SLIDES = FAUSTINE: Une plate-forme Faust vectorielle pour le traitement de signal multimédia
Septièmes rencontres de la communauté française de compilation
Le Bois du Lys à Dammarie-Les-Lys, du 4-6 décembre 2013
2013/11
Karim Barkati (Post-doc MINES-ParisTech CRI,IRCAM, paris)

A/543/CRI :

SLIDES = ALICe un benchmark pour le calcul d'invariants de boucles polyédriques
Septièmes rencontres de la communauté française de compilation
Le Bois du Lys à Dammarie-Les-Lys, du 4-6 décembre 2013
2013/11
Vivien Maisonneuve (MINES-ParisTech CRI)

A/542/CRI :

SLIDES = Analyse sémantique des tableaux, des structures et des pointeurs
Septièmes rencontres de la communauté française de compilation
Le Bois du Lys à Dammarie-Les-Lys, du 4-6 décembre 2013
2013/11
Nelson Lossing (MINES-ParisTech CRI)

A/541/CRI :

SLIDES = Portage et optimisation d'applications de traitement d'images sur architecture Kalray MPPA-Manycore
Septièmes rencontres de la communauté française de compilation
Le Bois du Lys à Dammarie-Les-Lys, du 4-6 décembre 2013
2013/11
Pierre Guillou (MINES-ParisTech CRI)

A/540/CRI :

SLIDES = BDSC-Based Automatic Task Parallelization: Experiments
Septièmes rencontres de la communauté française de compilation
Le Bois du Lys à Dammarie-Les-Lys, du 4-6 décembre 2013
2013/11
Dounia Khaldi (MINES-ParisTech CRI)

A/530/CRI :

Mise en oeuvre du parallélisme sous MATLAB
Rapport de stage Master 2 NSI - Université Paris-Sud
Maître de stage : Dr. Claude TADONKI
Date de stage : 01/03/2013 - 30/08/2013
HAL = hal-00919433
30/08/2013
Pierre-Louis CARUANA

A/528/CRI :

Preservation of Lyapunov-Theoretic Proofs: From Real to Floating-Point Numbers
Rapport technique, soumis à AVoCS 2013 (Automated Verification of Critical Systems 2013)
Une autre version (sans mise à jour) a été mise sous HAL en tant que rapport.
HAL = hal-01086727
19 juin 2013
Vivien Maisonneuve (MINES-ParisTech CRI)

A/524/CRI :

High Performance Computing as a Combination of Machines and Methods and Programming
Habilitation à diriger les recherches (HDR) :
Date de la soutenance :16 mai 2013
Lieu de la soutenance : University Paris-Sud, Orsay, PCRI
Jury de la soutenance : O. Pène, J. L. Gaudiot, G. Grosdidier, C. Eisenbeis, J.-P. Vial, N. Maculan, A. Lisser, L. Giraud
HAL = tel-00832930
16 mai 2013
Claude Tadonki

A/523/CRI :

Generating Efficient Parallel Programs for Distributed Memory Systems
Submitted to: IEEE International Conference on High Performance Computing (HiPC) 2013
08 juin 2013
Rachid Habel (MINES-ParisTech CRI), Frédérique Silber-Chaussumier (Télécom SudParis), François Irigoin (MINES-ParisTech CRI)

Rapports internes :

E/331/CRI :

Automated Code Generation for Lattice QCD Simulation
Research Report N°8417 - project-Team Parall
Collaboration(s) : STIC AmSud BiCloud
HAL = hal.inria.fr/hal-00918812
2013/12/15
Denis Barthou ( Laboratoire Bordelais de Recherche en Informatique (LaBRI), RUNTIME (INRIA Bordeaux - Sud-Ouest)), ;Gilbert Grosdidier( Laboratoire de l'Accélérateur Linéaire (LAL) Paris Sud), ;Konstantin Petrov (LAL paris Sud, Laboratoire de Physique Théorique d'Orsay (LPT), Institut de Recherches sur les lois Fondamentales de l'Univers (ex DAPNIA) (IRFU)), ;Michael Kruse (Laboratoire de Recherche en Informatique (LRI), GRAND-LARGE (INRIA Saclay - Ile de France)), ;Christine Eisenbeis (Laboratoire de Recherche en Informatique (LRI), GRAND-LARGE (INRIA Saclay - Ile de France)), ;Olivier Pène ( Laboratoire de Physique Théorique d'Orsay (LPT)), ;Olivier Brand-Foissac (Laboratoire de Physique Théorique d'Orsay (LPT)), ;Claude Tadonki (MINES-ParisTech CRI), ;Romain Dolbeau (CAPS Enterprise (CAPS))

E/330/CRI :

A Fine-grained Approach for Power Consumption Analysis and Prediction
Research Report N°8416 - project-Team Parall
Collaboration(s) : STIC AmSud BiCloud
HAL = hal.inria.fr/hal-00918810
2013/12/14
Alessandro Ferreira Leite (INRIA–CNRS-UMR8623–Université Paris XI-Paris Sud), Claude Tadonki (MINES-ParisTech CRI), Christine Eisenbeis (INRIA–CNRS-UMR8623–Université Paris XI-Paris Sud), Alba Cristina M. A. De Melo (Department of Computer Science ;;;University of Brasilia)

E/329/CRI :

Dendrogram Based Algorithm for Dominated Graph Flooding
Rapport interne de travail, relatif au projet TIMC
20 décembre 2013
Fernand Meyer (MINES-ParisTech CMM), Claude Tadonki (MINES-ParisTech CRI), François Irigoin (MINES-ParisTech CRI)

E/327/CRI :

A DVFS scheme for Embedded Systems with Human Interaction
Poster soumis : The 5th International Conférence on Mobile Computing, Applications and Services : MobiCASE 2013
(7–8 novembre 2013) à Paris
Septembre 2013
Karel De Vogeleer et Gerard Memmi (TELECOM ParisTech), Pierre Jouvelot et Fabien Coelho (MINES ParisTech CRI)

E/326/CRI :

Energy-Aware Compilation for Communicating Software Systems
Poster présenté à la restitution des travaux Futur & Ruptures
(Telecom ParisTech)
Thèse supervisée par Gérard Memmi (Telecom ParisTech), Pierre Jouvelot & Fabien Coelho (MINES-ParisTech CRI)
Janvier 2013
Karel De Vogeleer (Télécom ParisTech/Département Informatique et Réseaux - INFRES) ;;

E/322/CRI :

Analyse sémantique des tableaux, des structures et des pointeurs
Rapport de stage MPRI(Mars-Août 2013)
22/08/2013
Nelson Lossing

E/321/CRI :

SLIDES : API Compilation for Image Hardware Accelerators
IN : HIPEAC - 8th Int. Conf. on High Performance and Embedded Architectures and Compilers
25 pages, Berlin, Allemagne
Janvier 2013
Fabien Coelho, Francois Irigoin (MINES-ParisTech CRI)