2003 CS Technical Reports

• CS-2003-01 Marcelo Glusman and Shmuel Katz: Model Checking Reductions to Convenient Computations
• CS-2003-02 Ronny Lempel and Shlomo Moran: Beating the Bronze Medalist: Limited Merging of Disjoint Rankings
• CS-2003-03 Reuven Cohen and Liran Katzir: Scheduling of Voice Packets in a Low-Bandwidth Shared Medium Access Network
• CS-2003-04 Moshe Schwartz and Tuvi Etzion: Optimal 2-Dimensional 3-Dispersion Lattices
• CS-2003-05 Elad Barkan, Eli Biham, and Nathan Keller: Instant Ciphertext-Only Cryptanalysis of GSM Encrypted Communication
• CS-2003-06 Roy Friedman and Galya Tcharny: Evaluating Failure Detection in Mobile Ad-Hoc Networks
• CS-2003-07 Avram Sidi: Euler--Maclaurin Expansions for Integrals with Endpoint Singularities: A New Perspective
• CS-2003-08 Harel Paz, Erez Petrank: Age-Oriented Garbage Collection
• CS-2003-09 Chaya Ben-Zaken Zilberstein, Eleazar Eskin, Zohar Yakhini: Sequence Motifs in Ranked Expression Data
• CS-2003-10 Harel Paz, David F. Bacon, Elliot K. Kolodner, Erez Petrank, V.T. Rajan.: Efficient On-the-Fly Cycle Collection
• CS-2003-11 Ronit Nossenson and Hagit Attiya: Evaluating Self-Similar Processes for Modeling Web Servers
• CS-2003-12 Roy Friedman and Galya Tcharny: Stability Detection in Mobile Ad-Hoc Networks
• CS-2003-13 Shlomo Moran and Sagi Snir: Convex Recoloring of Strings and Trees
• CS-2003-14 Roy Friedman and Galya Tcharny: Fuzzy Membership Based Reliable Delivery for Mobile Ad-Hoc Networks