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