A Proof of the Kikuta-Ruckle Conjecture on Cyclic Caching of Resources.

Steve Alpern Robbert Fokkink Christos Pelekis

Published in: J. Optim. Theory Appl. (2012)

Keyphrases

data access
limited resources
resource allocation
theorem prover
computing resources
distributed systems
prefetching
theorem proving
resource constraints
information retrieval
management system
resource management
resource selection
web caching