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

Microsoft Word - SILBER-Skriptum-Inhaltsverzeichnis.doc

Source URL: www.bridgeaustria.at

VIP Menü Basel 15. Mai bis 31. Mai 2015 Menü VIP-Package Silber + Gold Zucchini-Carpaccio Frischkäse Mousse und Shiso Kresse

Source URL: www.daszelt.ch

GeLaBa A framework to define classes of XML documents and to automatically derive specialized infrastructures (demonstration) Benoˆıt Pin and Georges-Andre´ Silber Centre de recherche en informatique Ecole Nationale S

Source URL: www.cri.ensmp.fr

• Technical communication
• ISO standards
• Open Geospatial Consortium
• XML schema
• Geography Markup Language
• RELAX NG
• Validator
• Schematron
• XSLT
• Computing
• Markup languages
• XML

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

Draft Version Denotational Semantics for SSA Conversion Sebastian Pop, Albert Cohen†, Pierre Jouvelot, Georges-Andr´e Silber ´ CRI, Ecole

Source URL: www.cri.ensmp.fr

• Computability theory
• Models of computation
• Formal methods
• Logic in computer science
• Recursion
• Static single assignment form
• Denotational semantics
• Continuation-passing style
• Primitive recursive function
• Software engineering
• Computing
• Computer programming

In and Out of SSA: A Denotational Specification Sebastian Pop, Pierre Jouvelot†, Georges-Andr´e Silber† Open Source Compiler Engineering, Advanced Micro Devices Inc., Austin, Texas, † ´ CRI, Ecole

Source URL: www.cri.ensmp.fr

• Logic in computer science
• Programming language semantics
• Models of computation
• Formal methods
• Procedural programming languages
• Static single assignment form
• Denotational semantics
• Continuation-passing style
• Statement
• Software engineering
• Computing
• Theoretical computer science

Combining Data and Computation Distribution Directives for Hybrid Parallel Programming A Transformation System Rachid Habel Fr´ed´erique Silber-Chaussumier

Source URL: www.cri.ensmp.fr

• Parallel computing
• Compiler optimizations
• Application programming interfaces
• OpenMP
• Message Passing Interface
• Fortran
• Array programming
• Multi-core processor
• Loop tiling
• Computing
• Computer programming
• Software engineering

Remote Execution Daemon (RED) A Simple Service for Remote Execution and Remote Storage Version 1.0 Georges-Andr´e Silber CRI/ENSMP Technical Report E-267 April 25, 2005

Source URL: www.cri.ensmp.fr

• C programming language
• C++
• C POSIX library
• Procedural programming languages
• Struct
• C syntax
• Circular buffer
• C++ classes
• Typedef
• Computing
• Computer programming
• Software engineering

Loop distribution in GCC Adding a new optimization pass at the GIMPLE SSA level in GCC Georges-André SILBER Centre de recherche en informatique

Source URL: www.cri.ensmp.fr

• GNU Compiler Collection
• Build automation
• Compiling tools
• Apache Subversion
• Make
• Software
• Computing
• Compilers