Search Sciweavers | Sciweavers

125

Voted

SIGADA
1998
Springer

81views Programming Languages» more SIGADA 1998»

A Large Distributed Control System Using Ada in Fusion Research

15 years 11 months ago

Download www-group.slac.stanford.edu

John P. Woodruff, Paul J. Van Arsdall

claim paper

Read More »

155

click to vote

PLDI
1997
ACM

106views Programming Languages» more PLDI 1997»

Efficient Procedure Mapping Using Cache Line Coloring

15 years 11 months ago

Download www.hpl.hp.com

Amir H. Hashemi, David R. Kaeli, Brad Calder

claim paper

Read More »

166

click to vote

PPDP
2000
Springer

86views Programming Languages» more PPDP 2000»

Justifying proofs using memo tables

15 years 10 months ago

Download www.comp.nus.edu.sg

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...

claim paper

Read More »

124

click to vote

PLDI
1995
ACM

87views Programming Languages» more PLDI 1995»

Register Allocation Using Lazy Saves, Eager Restores, and Greedy Shuffling

15 years 10 months ago

Download www.cs.indiana.edu

Robert G. Burger, Oscar Waddell, R. Kent Dybvig

claim paper

Read More »

140

click to vote

ICFP
2006
ACM

92views Programming Languages» more ICFP 2006»

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection

16 years 24 days ago

Download main.metaprl.org

Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylo...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers