Search Sciweavers | Sciweavers

1251 search results - page 25 / 251

» Optimizing Compilation of CLP(R)

125

click to vote

ENTCS
2002

84views more ENTCS 2002»

VOC: A Translation Validator for Optimizing Compilers

15 years 4 months ago

Download www.cs.utah.edu

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

claim paper

Read More »

102

click to vote

DTJ
1998

98views more DTJ 1998»

Compiler Optimization for Superscalar Systems: Global Instruction Scheduling without Copies

15 years 4 months ago

Download www.hpl.hp.com

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

claim paper

Read More »

115

click to vote

JPDC
2002

63views more JPDC 2002»

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

15 years 4 months ago

Download pcl.cs.ucla.edu

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

claim paper

Read More »

click to vote

TOPLAS
1998

49views more TOPLAS 1998»

Optimizing Compilation of CLP(R)

15 years 3 months ago

Download www.cparity.com

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

claim paper

Read More »

121

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 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers