Search Sciweavers | Sciweavers

1251 search results - page 25 / 251

» Optimizing Compilation of CLP(R)

click to vote

ENTCS
2002

84views more ENTCS 2002»

VOC: A Translation Validator for Optimizing Compilers

14 years 9 months ago

Download www.cs.utah.edu

Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Gol...

claim paper

Read More »

click to vote

DTJ
1998

98views more DTJ 1998»

Compiler Optimization for Superscalar Systems: Global Instruction Scheduling without Copies

14 years 9 months ago

Download www.hpl.hp.com

Philip H. Sweany, Steve Carr, Brett L. Huber

claim paper

Read More »

Voted

JPDC
2002

63views more JPDC 2002»

Compiler-Optimized Simulation of Large-Scale Applications on High Performance Architectures

14 years 9 months ago

Download pcl.cs.ucla.edu

Vikram S. Adve, Rajive Bagrodia, Ewa Deelman, Rizo...

claim paper

Read More »

Voted

TOPLAS
1998

49views more TOPLAS 1998»

Optimizing Compilation of CLP(R)

14 years 9 months ago

Download www.cparity.com

Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald...

claim paper

Read More »

click to vote

AMAST
2010
Springer

209views Software Engineering» more AMAST 2010»

Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers