Search Sciweavers | Sciweavers

1251 search results - page 22 / 251

» Optimizing Compilation of CLP(R)

click to vote

CF
2006
ACM

89views Applied Computing» more CF 2006»

On the decidability of phase ordering problem in optimizing compilation

14 years 2 months ago

Download www.prism.uvsq.fr

Sid Ahmed Ali Touati, Denis Barthou

claim paper

Read More »

click to vote

LCPC
2005
Springer

123views System Software» more LCPC 2005»

Interprocedural Symbolic Range Propagation for Optimizing Compilers

14 years 1 months ago

Download cobweb.ecn.purdue.edu

Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...

Hansang Bae, Rudolf Eigenmann

claim paper

Read More »

click to vote

TYPES
2004
Springer

83views Formal Methods» more TYPES 2004»

A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis

14 years 1 months ago

Download gallium.inria.fr

Yves Bertot, Benjamin Grégoire, Xavier Lero...

claim paper

Read More »

click to vote

IPPS
2003
IEEE

118views Distributed And Parallel Com...» more IPPS 2003»

Selective Optimization of Locks by Runtime Statistics and Just-in-Time Compilation

14 years 1 months ago

Download www.labri.fr

Ray Odaira, Kei Hiraki

claim paper

Read More »

click to vote

ICSE
2009
IEEE-ACM

134views Software Engineering» more ICSE 2009»

Automated Test Program Generation for an Industrial Optimizing Compiler

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers