<--- Back to Details
First PageDocument Content
Worst-case execution time / Compiler / Static single assignment form / Program optimization / GNU Compiler Collection / Control flow graph / Intermediate language / Code generation / C / Software / Computing / Compiler construction
Date: 2011-08-04 08:29:37
Worst-case execution time
Compiler
Static single assignment form
Program optimization
GNU Compiler Collection
Control flow graph
Intermediate language
Code generation
C
Software
Computing
Compiler construction

Add to Reading List

Source URL: ls12-www.cs.tu-dortmund.de

Download Document from Source Website

File Size: 1,80 MB

Share Document on Facebook

Similar Documents

DCC888 – SSA Based Register Allocation Name: ID: 1. This question refers to the program below, which is in Static Single Assignment form.

DocID: 1vdqF - View Document

Software engineering / Compiler optimizations / Compiler construction / Programming language theory / Computing / Data-flow analysis / Control flow graph / Variable / Scope / Static single assignment form / Aliasing / Program analysis

Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González

DocID: 1rihM - View Document

Mathematics / Logic / Model theory / Abstraction / Limit / Interpretation / IP / Bayesian network / Static single assignment form / Symbol / Expected value / Linear temporal logic

Evaluating Interval-Valued Influence DiagramsI Rafael Caba˜nasa,∗, Alessandro Antonuccib , Andr´es Canoa , Manuel G´omez-Olmedoa a Department of Computer Science and Artificial Intelligence CITIC, University of Gran

DocID: 1rhTz - View Document

Compiler optimizations / Computing / Program analysis / Abstract interpretation / Data-flow analysis / Abstraction / Static single assignment form / Graph / Bytecode / Register allocation / Algorithm / Academia

A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah

DocID: 1rfQU - View Document

Software / Computing / Numerical linear algebra / Numerical software / Compiler optimizations / Automatically Tuned Linear Algebra Software / Basic Linear Algebra Subprograms / Kernel / Mathematical optimization / Program optimization / Static single assignment form / Loop unrolling

Automated Empirical Optimization of High Performance Floating Point Kernels R. Clint Whaley University of Texas, San Antonio and David B. Whalley

DocID: 1r3M4 - View Document