Search Sciweavers | Sciweavers

4 search results - page 1 / 1

» cocoon 1995

Voted

COCOON
1995
Springer

111views Combinatorics» more COCOON 1995»

Extending the Hong-Kung Model to Memory Hierarchies

15 years 2 months ago

Download www.cs.brown.edu

John E. Savage

claim paper

Read More »

Voted

COCOON
1995
Springer

136views Combinatorics» more COCOON 1995»

Dense Packings of 3k(k+1)+1 Equal Disks in a Circle for k=1, 2, 3, 4 and 5

15 years 2 months ago

Download www.math.ucsd.edu

Boris D. Lubachevsky, Ronald L. Graham

claim paper

Read More »

Voted

COCOON
1995
Springer

130views Combinatorics» more COCOON 1995»

Analysis of Quorum-Based Protocols for Distributed (k+1)-Exclusion

15 years 2 months ago

Download www.cs.ucsb.edu

Divyakant Agrawal, Ömer Egecioglu, Amr El Abb...

claim paper

Read More »

Voted

COCOON
1995
Springer

137views Combinatorics» more COCOON 1995»

Constructing Craig Interpolation Formulas

15 years 2 months ago

Download www.cs.uwaterloo.ca

A Craig interpolant of two inconsistent theories is a formula which is true in one and false in the other. This paper gives an eificient method for constructing a Craig interpolant...

Guoxiang Huang

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers