Search Sciweavers | Sciweavers

64

click to vote

SIGADA
1998
Springer

81views Programming Languages» more SIGADA 1998»

A Large Distributed Control System Using Ada in Fusion Research

15 years 3 months ago

Download www-group.slac.stanford.edu

John P. Woodruff, Paul J. Van Arsdall

claim paper

Read More »

73

click to vote

PLDI
1997
ACM

106views Programming Languages» more PLDI 1997»

Efficient Procedure Mapping Using Cache Line Coloring

15 years 3 months ago

Download www.hpl.hp.com

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

claim paper

Read More »

69

click to vote

PPDP
2000
Springer

86views Programming Languages» more PPDP 2000»

Justifying proofs using memo tables

15 years 2 months ago

Download www.comp.nus.edu.sg

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

claim paper

Read More »

58

click to vote

PLDI
1995
ACM

87views Programming Languages» more PLDI 1995»

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

15 years 2 months ago

Download www.cs.indiana.edu

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

claim paper

Read More »

62

click to vote

ICFP
2006
ACM

92views Programming Languages» more ICFP 2006»

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

15 years 5 months ago

Download main.metaprl.org

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

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers