doc/barvinok.gdf

   1 @entry{DAG, DAG, Directed Acyclic Graph}
   2 @entry{HNF, HNF, Hermite Normal Form}
   3 @entry{IG, IG, Interference Graph}
   4 @entry{ILPa, ILP, Instruction-Level Parallelism}
   5 @entry{ILPr, ILP, Integer Linear Programming}
   6 @entry{SG, SG, Spanning Graph}
   7 @entry{LCG, LCG, Loop Communication Graph}
   8 @entry{LDG, LDG, Loop Dependence Graph}
   9 @entry{ADG, ADG, Apparent Dependence Graph}
  10 @entry{EDG, EDG, Expanded Dependence Graph}
  11 @entry{RDG, RDG, Reduced Dependence Graph}
  12 @entry{SCC, SCC, strongly connected component}
  13 @entry{gcd, gcd, greatest common divisor}
  14 @entry{lcm, lcm, least common multiple}
  15 @entry{CARE, CARE, Conditional Affine Recurrence Equations}
  16 @entry{SARE, SARE, System of Affine Recurrence Equations}
  17 @entry{SURE, SURE, System of Uniform Recurrence Equations}
  18 @entry{PLS, PLS, piecewise-linear schedule}
  19 @entry{VDLS, VDLS, variable dependent linear schedule}
  20 @entry{APP, APP, Algebraic Path Problem}
  21 @entry{PRDG, PRDG, polyhedral reduced dependence graph}
  22 @entry{RecMII, RecMII, Recurrence Minimum Initiation Interval}
  23 @entry{ResMII, ResMII, Resource Minimum Initiation Interval}
  24 @entry{SDF, SDF, Synchronous Dataflow}
  25 @entry{CBP, CBP, consumed-before-produced}
  26 @entry{HLL, HLL, High Level Language}
  27 @entry{CSP, CSP, Communicating Sequential Processes}
  28 @entry{AST, AST, Abstract Syntax Tree}
  29 @entry{LLL, LLL, Lenstra, Lenstra and Lovasz' basis reduction algorithm}
  30 @entry{DSA, DSA, Dynamic Single Assignment}
  31 @entry{CME, CME, Cache Miss Equations}
  32 @entry{PME, PME, Probabilistic Miss Equations}
  33 @entry{WCET, WCET, Worst-Case Execution Time}
  34 @entry{TLB, TLB, Translation Lookaside Buffer}
  35 @entry{NDD, NDD, Number Decision Diagram}
  36 @entry{DFA, DFA, Deterministic Finite Automaton}
  37 @entry{LSB, LSB, Least Significant Bit}
  38 @entry{MSB, MSB, Most Significant Bit}
  39 @entry{FSA, FSA, Finite State Automaton}
  40 @entry{WS1S, WS1S, Weak Second-order Theory of One Successor}
  41 @entry{lub, lub, least upper bound}
  42 @entry{CAD, CAD, Cylindrical Algebraic Decomposition}
  43 @entry{PER, {\tt PER}, Polyhedral Extraction Routine}
  44 @entry{W2P, {\tt W2P}, WHIRL to Polyhedra}
  45 @entry{ORC, {\tt ORC}, Open Research Compiler}
  46 @entry{pers, {\tt pers}, PER in SUIF}
  47 @entry{DTSE, DTSE, Data Transfer and Storage Exploration}
  48 @entry{SUIF, SUIF, Stanford University Intermediate Format}
  49 @entry{s2c, s2c, SUIF to C}
  50 @entry{cloog, {\tt CLooG}, Chunky Loop Generator}
  51 @entry{wloog, {\tt WLooG}, WHIRL Loop Generator}
  52 @entry{sloog, {\tt sloog}, SUIF Loop Generator}
  53 @entry{USVD, USVD, Updating Singular Value Decomposition}
  54 @entry{SCBD, SCBD, Storage Cycle Budget Distribution}
  55 @entry{MHLA, MHLA, Memory Hierarchy Layer Assignment}
  56 @entry{BG, BG, Basic Group}
  57 @entry{SBO, SBO, Storage Bandwidth Optimization)}
  58 @entry{MC, MC, Memory Compaction}
  59 @entry{CD, CD, Cavity Detection}
  60 @entry{BRD, BRD, Backward Reuse Distance}
  61 @entry{RACE, RACE, Reduction of Arithmetic Cost of Expressions}
  62 @entry{PIP, PIP, Parametric Integer Programming}
  63 @entry{ADS, ADS, Accessed Data Set}
  64 @entry{OOM, OOM, Out Of Memory}
  65 @entry{SNF, SNF, Smith Normal Form}
  66 @entry{LBL, LBL, Linearly Bounded Lattice}
  67 @entry{DNF, DNF, Disjunctive Normal Form}