Polyhedral

Results: 225



#Item
131Polyhedron / Vertex / Collision detection / Platonic solid / Polyhedral combinatorics / Geometry / Polytopes / Polyhedra

Proceedings of the 1991 IEEE IntemationalConference m Robotics and Automation Sacramento,California - April 1991 A Fast Algorithm for Incremental Distance Calculation Ming C. Lin and John F. Canny

Add to Reading List

Source URL: web.stanford.edu

Language: English - Date: 2014-04-17 17:09:32
132Operations research / Linear algebra / Polyhedron / Linear programming / Abstract interpretation / Linear inequality / Convex function / Function / Mathematical optimization / Mathematics / Mathematical analysis

Efficient Strongly Relational Polyhedral Analysis Sriram Sankaranarayanan1,3 , Michael A. Col´ on2 , Henny Sipma3 , Zohar Manna3 1 NEC Laboratories America, Princeton, NJ

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2006-05-30 21:54:28
133Compiler optimizations / Loop optimization / For loop / Foreach loop / Polytope model / Phencyclidine / Induction variable / Control flow / Generator / Computing / Software engineering / Computer programming

Design of Graphite and the Polyhedral Compilation Package Jan Sjödin Sebastian Pop Harsha Jagasia Open Source Compiler Engineering, Advanced Micro Devices, Inc., Austin, Texas, USA , sebastian.pop@amd.

Add to Reading List

Source URL: www.grosser.es

Language: English - Date: 2010-07-25 08:26:30
134Computer programming / Loop optimization / Static single assignment form / Polytope model / Graphite / Dependence analysis / GNU Compiler Collection / Vectorization / Control flow graph / Computing / Compiler optimizations / Software engineering

GRAPHITE Two Years After First Lessons Learned From Real-World Polyhedral Compilation Konrad Trifunovic2 , Albert Cohen2 , David Edelsohn3 , Li Feng6 , Tobias Grosser5 , Harsha Jagasia1 , Razya Ladelsky4 , Sebastian Pop1

Add to Reading List

Source URL: www.grosser.es

Language: English - Date: 2010-07-25 08:26:30
135Programming language theory / Loop optimization / Static single assignment form / Polytope model / Automatic parallelization / GNU Compiler Collection / Vectorization / Loop tiling / Fortran / Computing / Compiler optimizations / Software engineering

Optimization opportunities based on the polyhedral model in GRAPHITE How much impact has GRAPHITE already? Tobias Grosser University of Passau

Add to Reading List

Source URL: www.grosser.es

Language: English - Date: 2010-07-25 08:26:30
136Compiler optimizations / Clang / LLVM / Compiler / Program optimization / GNU Compiler Collection / Polytope model / Software / Programming language implementation / Compilers

High-Level Transformations for Low-Level Compilers Polly: A polyhedral optimizer for LLVM Tobias Grosser, Intel Haifa

Add to Reading List

Source URL: www.grosser.es

Language: English - Date: 2010-07-25 08:26:30
137Compiler optimizations / Compiler construction / Compilers / LLVM / Loop optimization / Clang / Static single assignment form / Compiler / Gallium3D / Software / Programming language implementation / Computing

Polly Polyhedral Optimizations for LLVM Tobias Grosser - Hongbin Zheng - Raghesh Aloor Andreas Simb¨ urger - Armin Gr¨ osslinger - Louis-No¨el Pouchet

Add to Reading List

Source URL: www.grosser.es

Language: English - Date: 2010-07-25 08:26:30
138Compiler optimizations / Phencyclidine / Loop optimization / Probabilistically checkable proof / ALGOL 68 / Polytope model / GNU Compiler Collection / Software / Computing / Programming language theory

The Polyhedral Compilation Package P

Add to Reading List

Source URL: www.grosser.es

Language: English - Date: 2010-07-25 08:26:30
139Compilers / Clang / Source-to-source compiler / Graphite / GNU Compiler Collection / C99 / LLVM / Polytope model / Polyhedron / Software / Programming language implementation / Computing

http://freecode.com/projects/libpet January 23, 2012 Polyhedral Extraction Tool (http://freecode.com/projects/libpet)

Add to Reading List

Source URL: www.grosser.es

Language: English - Date: 2010-07-25 08:26:30
140Compilers / Compiler construction / Clang / LLVM / Compiler optimization / Compiler / Program optimization / GNU Compiler Collection / SIMD / Software / Computing / Programming language implementation

Polyhedral Optimizations for Low-Level Compilers Polly, LLVM and more University of California, Los Angeles October 28, 2012

Add to Reading List

Source URL: www.grosser.es

Language: English - Date: 2010-07-25 08:26:30
UPDATE