-
8611
An optimality proof of the LRU-K page replacement algorithm.
Published in Journal of the ACMArticle -
8612
Complexity estimates depending on condition and round-off error.
Published in Journal of the ACMArticle -
8613
-
8614
-
8615
Probabilistic checking of proofs a new characterization of NP.
Published in Journal of the ACMArticle -
8616
-
8617
-
8618
-
8619
-
8620