Andr - PDFSEARCH.IO - Document Search Engine

Andr
Results: 535

#	Item
321	GRAPHITE: Polyhedral Analyses and Optimizations for GCC Sebastian Pop 1 , Albert Cohen 2 , C´edric Bastoul 2, Sylvain Girbal 2 , Georges-Andr´e Silber 1 , Nicolas Vasilache Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-07-31 09:58:22 Compiler construction Compilers GNU Compiler Collection Static single assignment form Graphite Open64 Aliasing Compiler Software Programming language implementation Computing
322	Microsoft PowerPoint - Side-Event_SEEA-AFF_StatCan_presentation_04MAR2015 =_iso-8859-1_Q_to_Andr=E920150224b_cle.ppt [Compatibi Add to Reading List Source URL: unstats.un.org Language: English - Date: 2015-03-17 08:58:51 System of Integrated Environmental and Economic Accounting Food and Agriculture Organization System of Environmental and Economic Accounting for Water Statistics Official statistics Environmental statistics
323	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, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-01-18 04:33:55 Computer programming Parallel computing Intrinsic function SIMD SSE2 Streaming SIMD Extensions Vectorization X86 MMX Computing Computer architecture X86 instructions
324	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 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-02-10 18:39:21 Compiler construction Compiler optimizations Static single assignment form Compilers GNU Compiler Collection Loop optimization Prolog Vectorization Compiler Software Computing Programming language implementation
325	Draft Version Denotational Semantics for SSA Conversion Sebastian Pop, Albert Cohen†, Pierre Jouvelot, Georges-Andr´e Silber ´ CRI, Ecole Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-07-31 09:22:11 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
326	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 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-06-03 03:55:11 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
327	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 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2005-04-25 11:41:54 C programming language C++ C POSIX library Procedural programming languages Struct C syntax Circular buffer C++ classes Typedef Computing Computer programming Software engineering
328	The New Framework for Loop Nest Optimization in GCC: from Prototyping to Evaluation Sebastian Pop1 , Albert Cohen2 , Pierre Jouvelot1 , and Georges-Andr´e Silber1 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2005-11-22 06:53:34 Compiler optimizations Control flow Compiler construction Static single assignment form Model theory GNU Compiler Collection Representation theory For loop Data-flow analysis Computing Software engineering Software
329	Induction Variable Analysis with Delayed Abstractions Sebastian Pop 1 , Albert Cohen 2 , and Georges-Andr´e Silber Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2005-10-11 09:31:28 Recursion Compiler construction Static single assignment form Mathematical logic Infinite loop Algorithm Action Computer programming Physics Computing
330	Andr´ e WeilOne of the Century’s most influential pure mathematicians Add to Reading List Source URL: www.sunsite.ubc.ca Language: English - Date: 2001-05-12 20:22:20 Number theorists Nicolas Bourbaki Algebraic geometry Number theory Weil conjectures Alexander Grothendieck Riemann hypothesis Foundations of algebraic geometry Mordell–Weil theorem Mathematics Abstract algebra Conjectures

UPDATE