1999 CS Technical Reports
- CS0954(*)
Tuvi Etzion and Alexander Vardy:
Two-Dimensional Interleaving Schemes with Repetitions: Bounds and Constructions
- CS0955
Marina Biberstein and Tuvi Etzion:
Optimal Codes for Single-Error-Correction, Burst of Length 2 Error-Detection/Correction
- CS0956(*)
Hagit Attiya and Arie Fouren:
Adaptive long-lived renaming with read and write operations
- CS0957
Karen Yorav (Laster) and Orna Grumberg:
Static Analysis for Reductions that preserve Temporal Logic
- CS0958
John L. Fan, Brian H. Marcus, Ron M. Roth:
Lossless Sliding-Block Compression of Constrained Systems
- CS0959
Michael Yoeli and Abraham Ginzburg:
Petri-net Based Verification of Asynchronous Circuits
- CS0960
Roy Friedman, Shiri Manor, and Katherine Guo:
Scalable Stability Detection Using Logical Hypercube
- CS0961
Karen Yorav and Orna Grumberg:
State Space Reduction using Dead Variables
- CS0962
Eyal Kushilevitz and Rafail Ostrovsky:
One-way Trapdoor Permutations Are Sufficient for Single-Server Private Information Retrieval
- CS0963
Nader H. Bshouty, Nadav Eiron and Eyal Kushilevitz:
PAC Learning with Nasty Noise
- CS0964
Roman Vitenberg, Idit Keidar, Gregory V. Chockler and Danny Dolev:
Group Communication Specifications: A Comprehensive Study
- CS0965
Gitit Ruckenstein and Ron M. Roth:
Lower bounds on the anticipation of encoders for input-constrained channels
- CS0966(*)
Hadas Shachnai and Tami Tamir :
Polynomial Time Approximation Schemes for Class-Constrained Packing
Problems
- CS0967
Yossi Levanoni and Erez Petrank:
A Scalable Reference Counting Garbage Collector
- CS0968
Amotz Bar-Noy, Reuven Bar-Yehuda, Ari Freund, Joseph (Seffi) Naor, and Baruch Schieber:
A Unified Approach to Approximating Resource Allocation and Scheduling
(*) An electronic copy does not exist in this server
To the main CS technical reports page