Compiler-compiler

Results: 4119



#Item
331Data types / Combinatorics / Object-oriented programming languages / Concurrent programming languages / Disk partitioning / Pointer / Partition / Scala / Recursion / Const / D / Subroutine

Chlorophyll: Synthesis-Aided Compiler for Low-Power Spatial Architectures Phitchaya Mangpo Phothilimthana Tikhon Jelvis Rohin Shah

Add to Reading List

Source URL: pl.eecs.berkeley.edu

Language: English - Date: 2015-02-13 21:22:08
332Alcohol and Tobacco Tax and Trade Bureau / Federal Alcohol Administration

The Premier Compiler of B2B Information * COUNT

Add to Reading List

Source URL: www.oshadata.com

Language: English - Date: 2015-06-15 17:45:53
333Parallel computing / OpenMP / Partitioned global address space / Unified Parallel C / Multi-core processor / Lis / Standard Performance Evaluation Corporation / Intel Fortran Compiler / NAS Parallel Benchmarks / Supercomputer / Thread / Message Passing Interface

figures/matmult-speedup.eps

Add to Reading List

Source URL: www.des.udc.es

Language: English - Date: 2010-08-25 17:12:05
334Type theory / HindleyMilner type system / Generalized algebraic data type / Type inference / Type class / System F / Unification / Type system / Glasgow Haskell Compiler / Haskell / Monad / Principal type

Visible Type Application Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu

Add to Reading List

Source URL: www.seas.upenn.edu

Language: English - Date: 2016-01-08 10:06:08
335Digital signal processing / Cache / Computer memory / Compiler optimizations / Algorithms / Divide and conquer algorithms / Fast Fourier transform / CPU cache / Optimizing compiler / Partial evaluation / Speedup / Template

Faster Fourier Transforms via Automatic Program Specialization Julia L. Lawall IRISA { Compose group Campus Universitaire de BeaulieuRennes Cedex, France

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:17
336Compiler optimizations / Compiler construction / Procedural programming languages / Programming language implementation / Subroutines / Static single assignment form / Global value numbering / Optimizing compiler / Constant folding / Program optimization / Inline expansion / Compiler

i Jason W. Kim and Terrance E. Boult EECS Dept. Lehigh University Room 304 Packard Lab. 19 Memorial Dr. W. Bethlehem, PAUSA jwk2  tboult  @eecs.lehigh.edu

Add to Reading List

Source URL: www.vast.uccs.edu

Language: English - Date: 2003-12-24 21:58:15
337Compiler optimizations / Loop optimization / Automatic parallelization / Loop nest optimization / CPU cache / Program optimization / Software pipelining / Lookup table / Distributed computing / Fortran / Compiler / Algorithm

Performance Portable Optimizations for Loops Containing Communication Operations Costin Iancu Wei Chen, Katherine Yelick

Add to Reading List

Source URL: crd.lbl.gov

Language: English - Date: 2012-10-24 14:33:15
338Recursion / Theoretical computer science / Formal methods / Compiler optimizations / Infinite loop / Satisfiability modulo theories / Control flow / For loop / Algorithm / Termination analysis / Loop unrolling / Satisfiability

A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops Andreas Ibing, Alexandra Mai Chair for IT Security TU M¨unchen Boltzmannstrasse 3, 85748 Garching, Germany {ibing,mai}@sec.in.tum.de

Add to Reading List

Source URL: www.sec.in.tum.de

Language: English - Date: 2016-02-01 08:36:29
339Programming language implementation / X86 architecture / Assembly languages / Decompiler / X86 assembly language / Compiler construction / Low-level programming language / X86 / Disassembler / IMP / Compiler / Predicate transformer semantics

LNCSBAP: A Binary Analysis Platform

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-05-29 15:38:01
340Computer memory / Cache / Computer architecture / Compiler optimizations / CPU cache / Central processing unit / Opteron / Cell / Sparse matrix-vector multiplication / Loop nest optimization / Multi-core processor / Advanced Micro Devices

Optimization of Sparse Matrix-Vector Multiplication on Emerging Multicore Platforms Samuel Williams∗†, Leonid Oliker∗, Richard Vuduc§, John Shalf∗, Katherine Yelick∗†, James Demmel† ∗ CRD/NERSC, Lawrenc

Add to Reading List

Source URL: crd.lbl.gov

Language: English - Date: 2012-09-07 00:12:17
UPDATE