Polyhedral - PDFSEARCH.IO - Document Search Engine

Polyhedral
Results: 225

#	Item
91	Polyhedral Combinatorics linking Hamiltonicity, Scattering sets and multiway cuts. Vincent Jost1 , Guyslain Naves2 Add to Reading List Source URL: assert-false.net Language: English - Date: 2015-08-13 19:29:28
92	Polly Polyhedral Transformations for LLVM Tobias Grosser - Hongbin Zheng November 4, 2010 Add to Reading List Source URL: www.llvm.org Language: English - Date: 2010-11-17 16:19:20 Compiler optimizations Polytope model Induction variable
93	Mathematics of Impossible Objects Kokichi Sugihara 1. Picture-Interpretation Problem Given a picture composed of line segments, judge whether it represents a polyhedral scene. Theorem 1. The picture represents a polyhedr Add to Reading List Source URL: home.mims.meiji.ac.jp Language: English - Date: 2009-07-04 13:53:44 Planar graphs Polyhedron Mathematics
94	On the rational formality of toric spaces and polyhedral products based on joint works with Nigel Ray Taras Panov Lomonosov Moscow State University Add to Reading List Source URL: higeom.math.msu.su Language: English - Date: 2014-11-15 00:31:17 APL programming language family IBM software Computer programming Computing Software engineering APL
95	Polyhedral Transformations for SIMD architectures Add to Reading List Source URL: labexcompilation.ens-lyon.fr Language: English - Date: 2013-05-17 05:03:32
96	Presentation of the school The polyhedral model Topics, courses, and other aspects Introduction to Spring School on Polyhedral Code Analysis and Optimizations Add to Reading List Source URL: labexcompilation.ens-lyon.fr Language: English - Date: 2013-05-14 03:45:30
97	Polyhedral Model: Past Present & Future title shamelessly copied from Feautrier’s LCPC 2009 keynote Sanjay Rajopadhye Add to Reading List Source URL: labexcompilation.ens-lyon.fr Language: English - Date: 2013-05-14 05:22:23 Linear algebra Compiler optimizations Parallel computing Projective geometry Euclidean geometry Vector space Automatic parallelization Systolic array Recurrence relation Algebra Mathematics Geometry
98	Array Region Analyses and Applications Béatrice Creusillet Polyhedral School Saint-Germain-au-Mont-d’Or May 13-17, 2013 Add to Reading List Source URL: labexcompilation.ens-lyon.fr Language: English - Date: 2013-06-13 02:34:52 Compiler optimizations Computer hardware Parallel computing Fortran OpenMP Loop optimization OpenCL Béatrice CUDA Computing GPGPU Computer programming
99	May 14, Presburger Sets and Relations: from High-level Modeling to Low-level Implementation Add to Reading List Source URL: labexcompilation.ens-lyon.fr Language: English - Date: 2013-05-17 08:32:21 Computer programming C Cross-platform software Array data structure Algorithm Frameworks supporting the polyhedral model C syntax Computing Software engineering Procedural programming languages
100	The Polyhedral Model Definitions Operations on Polyhedra Quantifier Elimination and SMT solvers Last Words Add to Reading List Source URL: labexcompilation.ens-lyon.fr Language: English - Date: 2013-05-14 05:12:13 Electronic design automation Formal methods Logic in computer science NP-complete problems Compiler optimizations Polyhedron Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Theoretical computer science Mathematics Applied mathematics

UPDATE