An Empirical Study of Some x86 SIMD Integer Extensions Isabelle Hurbain and Georges-Andr´e Silber Centre de recherche en informatique, Mines de Paris, Fontainebleau, France,

Source URL: www.cri.ensmp.fr

• Computer programming
• Parallel computing
• Intrinsic function
• SIMD
• SSE2
• Streaming SIMD Extensions
• Vectorization
• X86
• MMX
• Computing
• Computer architecture
• X86 instructions

Towards explicit rewrite rules in the λΠ-calculus modulo Ronan Saillard MINES ParisTech Fontainebleau, France

Source URL: www.cri.ensmp.fr

• Mathematics
• Lambda calculus
• Type theory
• Dependently typed programming
• Unification
• Twelf
• Rewriting
• Calculus of constructions
• Normalization property
• Theoretical computer science
• Logic in computer science
• Applied mathematics

SEAMLESS MULTICORE PARALLELISM IN MATLAB Claude Tadonki 1 and Pierre-Louis Caruana 2 Mines ParisTech - CRI - Math´ematiques et Syst`emes 35, rue Saint-Honor´e, 77305, Fontainebleau Cedex (France) claude.tadonki@mines-p

Source URL: www.cri.ensmp.fr

• Array programming languages
• Numerical linear algebra
• Parallel computing
• Programming paradigms
• MATLAB
• Array programming
• MEX file
• OpenMP
• Software
• Computing
• Computer programming

The New Framework for Loop Nest Optimization in GCC: from Prototyping to Evaluation Sebastian Pop Albert Cohen Pierre Jouvelot Georges-Andr´e Silber CRI, Ecole des mines de Paris, Fontainebleau, France ALCHEMY, INRIA Fu

Source URL: www.cri.ensmp.fr

• Compiler construction
• Compiler optimizations
• Static single assignment form
• Compilers
• GNU Compiler Collection
• Loop optimization
• Prolog
• Vectorization
• Compiler
• Software
• Computing
• Programming language implementation

Beyond Do Loops: Data Transfer Generation with Convex Array Regions Serge Guelton, Mehdi Amini, Béatrice Creusillet Telecom Bretagne, Brest, France Silkan, Meudon, France MINES ParisTech / CRI, Fontainebleau, France

Source URL: www.cri.ensmp.fr

• Array data type
• Mathematical optimization
• Software engineering
• Computing
• Compiler optimizations
• Convex optimization
• Convex analysis
• Mathematical analysis
• Convex function

ISBNISBN1 Corrector, a web interface for practice sessions Fabien Coelho – CRI, ENSMP, 35, rue Saint-Honor´e, 77305 Fontainebleau, France

Source URL: www.cri.ensmp.fr

• Data
• Database theory
• Computer languages
• Relational database management systems
• Query languages
• SQL
• Relational model
• Relational database
• Database
• Data management
• Database management systems
• Computing

Claude  TADONKI  and  Pierre-­‐Louis  CARUANA   Mines  ParisTech  –  CRI  (Fontainebleau/France)   University  of  Paris-­‐Sud  (Orsay/France)   Parallel  and  Dist

Source URL: www.cri.ensmp.fr

• MATLAB
• Numerical linear algebra
• Parallel computing
• Central processing unit
• Software
• Computing
• Array programming languages

Optimal Compilation of HPF Remappings (Extended Abstract) Fabien Coelho Corinne Ancourt  Centre de Recherche en Informatique, E cole des mines de Paris, 35, rue Saint-Honore, 77305 Fontainebleau Cedex, France.

Source URL: www.cri.ensmp.fr

• Procedural programming languages
• High Performance Fortran
• Fortran
• Array data type
• Static single assignment form
• C
• Subroutine
• Computing
• Computer programming
• Software engineering

Correction automatique des TP avec Corrector ´ ´ 77305 Fontainebleau, France Fabien Coelho, CRI, Ecole des mines de Paris, 35, rue Saint-Honore,

Source URL: www.cri.ensmp.fr

Centre de Recherche en Informatique Ecole des Mines de Paris 35, rue Saint-Honoré 77305 FONTAINEBLEAU E/271/CRI _________________________________________

Source URL: www.cri.ensmp.fr