1992 CS Technical Reports
- CS0711
J.A. Makowsky:
MODEL THEORY AND COMPUTER SCIENCE: AN APPETIZER
- CS0712
A. Cal\`{o} and J.A. Makowsky:
THE EHRENFEUCHT-FRA\"{I}SS\'{E} GAMES FOR TRANSITIVE CLOSURE.
- CS0713
H. De-Leon and O. Grumberg:
MODULAR ABSTRACTIONS FOR VERIFYING REAL-TIME DISTRIBUTED SYSTEMS.
- CS0714
S. Ben-David and S. Halevi:
ON THE INDEPENDENCE OF P VERSUS NP (REVISED VERSION).
- CS0715(*)
M. Israeli:
Not available
- CS0716
Y. Ben-Asher, D. Gordon and A. Schuster:
OPTIMAL SIMULATIONS IN RECONFIGURABLE ARRAYS.
- CS0717
A. Sidi:
CONVERGENCE OF INTERMEDIATE ROWS OF MINIMAL POLYNOMIAL AND REDUCED RANK EXTRAPOLATION TABLES.
- CS0718
G. Shurek and O. Grumberg:
THE MODULAR FRAMEWORK OF COMPUTER-AIDED VERIFICATION.
- CS0719
H. Attiya and R. Friedman:
A CORRECTNESS CONDITION FOR HIGH-PERFORMANCE MULTIPROCESSORS (Preliminary Version).
- CS0720
O. Trutner, Advisor - Dr. I. Bar-On:
PARALLEL-PROCESSING SOFTWARE FOR THE PANDA COMPUTER.
- CS0721
I. Bar-On and O. Munk:
A NEW PARALLEL FACTORIZATION A=DD^TBC FOR BAND SYMMETRIC POSITIVE DEFINITE MATRICES.
- CS0722
L. Fix:
PROGRAM COMPOSITION via UNIFICATION.
- CS0723
J.A. Makowsky:
COMPUTABLE QUANTIFIERS AND LOGICS OVER FINITE STRUCTURES.
- CS0724(*)
A. Schuster:
Not Available
- CS0725
A. Sidi:
OPTIMAL CONVERGENCE OF THE SIMULTANEOUS ITERATION METHOD FOR NORMAL MATRICES.
- CS0726
I. Bar-On:
A FAST PARALLEL BISECTION ALGORITHM FOR SYMMETRIC BAND MATRICES.
- CS0727
R. Cohen and A. Segall:
A NEW PROTOCOL FOR ROUTE DISCOVERY IN MULTIPLE-RING NETWORKS: PART I -- THE BASIC PROTOCOL.
- CS0728
R. Cohen and A. Segall:
A NEW PROTOCOL FOR ROUTE DISCOVERY IN MULTIPLE-RING NETWORKS: PART II -- MULTICAST, RECOVERY AND HIGH-SPEED PROCESSING.
- CS0729
O. Grumberg, T. Djerassi-Shintel, N. Shintel, E. Aharonson:
CHECKING FOR EQUIVALENCE OF COMMUNICATION BEHAVIORS USING BDD.
- CS0730
A. Sidi:
A NOTE ON THE DETERMINATION OF THE ZEROS OF CERTAIN POLYNOMIALS.
- CS0731
A. Sidi:
QUANTITATIVE AND CONSTRUCTIVE ASPECTS OF THE GENERALIZED KOENIG'S AND DE MONTESSUS'S THEOREMS FOR PAD\'{E} APPROXIMANTS.
- CS0732
Y. Ben-Asher, A. Cohen, Y. Rabinovich, A. Schuster:
THE HOEFFDING BOUND REVISITED (Preliminary Version).
- CS0733(*)
R. Bar-Yehuda, O. Goldreich,A. Itai:
ON THE TIME-COMPLEXITY OF BROADCAST IN MULTI-HOP RADIO NETWORKS: An EXPONENTIAL GAP BETWEEN DETERMINISM AND RANDOMIZATION. (Revised Version)
- CS0734(*)
R. Bar-Yehuda, A. Israeli, A. Itai:
MULTIPLE COMMUNICATION IN MULTI-HOP RADIO NETWORKS (Revised Version).
- CS0735(*)
R. Bar-Yehuda, S. Fogel:
VARIATIONS ON RAY SHOOTING (Revised Version).
- CS0736(*)
R. Bar-Yehuda, T. Etzion:
CONNECTIONS BETWEEN TWO CYCLES - A NEW DESIGN OF DENSE PROCESSOR INTERCONNECTION NETWORKS (Revised Version).
- CS0737(*)
R. Bar-Yehuda, T. Etzion, S. Moran:
ROTATING-TABLE GAMES AND DERIVATIVES OF WORDS (Revised Version).
- CS0738
R. Cohen, A. Segall:
MULTIPLE LOGICAL TOKEN-RINGS IN A SINGLE HIGH-SPEED RING.
- CS0739
J. Makowsky, A. Sharell:
ON AVERAGE CASE COMPLEXITY OF SAT FOR SYMMETRIC DISTRIBUTIONS.
- CS0740
A. Litman:
REWIRING - A NEW DESIGN TECHNIQUE FOR SYSTOLIC SYSTEMS (Extended Abstract).
- CS0741
A. Sidi:
RATIONAL APPROXIMATIONS FROM POWER SERIES OF VECTOR-VALUED MEROMORPHIC FUNCTIONS.
- CS0742(*)
A. Sidi:
APPLICATION OF VECTOR-VALUED RATIONAL APPROXIMATIONS TO THE MATRIX EIGENVALUE PROBLEM AND CONNECTIONS WITH KRYLOV SUBSPACE METHODS.
- CS0743
N. Shintel and M. Yoeli:
SYNTHESIS OF MODULAR NETWORKS FROM PETRI-NET SPECIFICATIONS.
- CS0744
A. Schuster and G. Shemesh:
SORTING ON HIGH DIMENSIONAL RECONFIGURING ARRAYS.
- CS0745
N. Francez:
CONTRASTIVE LOGIC (Revised Version of TR #CS668).
- CS0746
A. Sharell and J. Makowsky:
PROBABILISTIC LOWER BOUNDS FOR AVERAGE CASE COMPLEXITY.
- CS0747
M. Blum and O. Goldreich:
TOWARDS A COMPUTATIONAL THEORY OF STATISTICAL TESTS.
- CS0748
S. Dolev, A. Israeli and S. Moran:
RESOURCE BOUNDS FOR SELF STABILIZING MESSAGE DRIVEN PROTOCOLS.
- CS0749
I. Bar-On:
FAST PARALLEL LR AND QR ALGORITHMS FOR SYMMETRIC BAND MATRICES.
- CS0750(*)
S. Ben-David and R. Fraiman:
ALGORITHMS FOR LEARNING BY DISTANCES.
- CS0751(*)
O. Sharon:
SCHEMES FOR SLOT REUSE IN CRMA AND CRMA II.
- CS0752
Y. Ben-Asher, A. Cohen and A. Schuster:
EFFICIENT ADDRESS DECODING FOR FAST PACKET SWITCHING SYSTEMS.
- CS0753
Eli Biham:
NEW TYPES OF CRYPTANALYTIC ATTACKS USING RELATED KEYS
- CS0754
E. Petrank:
THE HARDNESS OF APPROXIMATION: GAP LOCATION (Preliminary Version).
- CS0755
R. Canetti:
ASYNCHRONOUS SECURE COMPUTATION.
- CS0756
S. Khuller and J. Naor:
FLOW IN PLANAR GRAPHS: A SURVEY OF RECENT RESULTS.
- CS0757
E. Dinitz:
THE 3-EDGE-COMPONENTS AND A STRUCTURAL DESCRIPTION OF ALL 3-EDGE-CUTS IN A GRAPH.
- CS0758
J.A. Makowsky and Y.B.Pnueli:
COMPUTABLE QUANTIFIERS AND LOGICS CAPTURING COMPLEXITY CLASSES (Extended Abstract).
- CS0759
H. Attiya, M. Herlihy and O. Rachman:
EFFICIENT ATOMIC SNAPSHOTS USING LATTICE AGREEMENT (Preliminary Version).
- CS0760
M. Levinger, U. Ornan and A. Itai:
MORPHOLOGICAL DISAMBIGUATION IN HEBREW USING A PRIORI PROBABILITIES.
(*) An electronic copy does not exist in this server
To the main CS technical reports page