Sciweavers

116

POPL
1990
ACM

94views Programming Languages» more POPL 1990»

An Algorithm for Optimal Lambda Calculus Reduction

15 years 8 months ago

An Algorithm for Optimal Lambda Calculus Reduction

Download www2.parc.com

John Lamping

claim paper

Read More »

93

SIGCOMM
1989
ACM

80views Communications» more SIGCOMM 1989»

Internet Routing

15 years 8 months ago

Internet Routing

Download www.cs.uiuc.edu

Thomas Narten

claim paper

Read More »

122

RTSS
1989
IEEE

168views Control Systems» more RTSS 1989»

The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior

15 years 8 months ago

The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior

Download www.cc.gatech.edu

John P. Lehoczky, Lui Sha, Y. Ding

claim paper

Read More »

127

Voted

REX
1989

64views Logical Reasoning» more REX 1989»

Composing Specifications

15 years 8 months ago

Composing Specifications

Download www.hpl.hp.com

Martín Abadi, Leslie Lamport

claim paper

Read More »

136

PODS
1989
ACM

155views Database» more PODS 1989»

Fractals for Secondary Key Retrieval

15 years 8 months ago

Fractals for Secondary Key Retrieval

Download www.intelligence.tuc.gr

In this paper we propose the use of fractals and especially the Hilbert curve, in order to design good distance-preserving mappings. Such mappings improve the performance of secon...

Christos Faloutsos, Shari Roseman

claim paper

Read More »