1991 CS Technical Reports
- CS0663(*)
A. Ginzburg and M. Yoeli:
SYNTHESIS OF DELAY-
INSENSITIVE CIRCUITS SPECIFIED BY TRACE GRAPHS
- CS0664(*)
A. Sidi:
RATIONAL APPROXIMATIONS FROM POWER SERIES OF
VECTOR-VALUED MEROMORPHIC FUNCTIONS WITH AN APPLICATION TO MATRIX
EIGENVALUE PROBLEMS
- CS0665(*)
I. Bar-On:
NEW DIVIDE AND CONQUER PARALLEL ALGORITHMS FOR
THE CHOLESKY DECOMPOSITION AND GRAM-SCHMIDT PROCESS
- CS0666(*)
O. Biran, S. Moran, S. Zaks:
DECIDING 1-SOLVABILITY OF
DISTRIBUTED TASKS IS NP-HARD
- CS0667(*)
I. Bar-On:
A NEW DIVIDE AND CONQUER PARALLEL ALGORITHM
FOR THE CHOLESKY DECOMPOSITION OF BAND MATRICES
- CS0668(*)
N. Francez:
CONTRASTIVE LOGIC
- CS0669(*)
Y. Shemesh and N. Francez:
FINITE-STATE DATALOG AUTOMATA
AND RELATIONAL LANGUAGES
- CS0670(*)
E. Shifroni:
FIGI - A FLEXIBLE INTERACTIVE GUIDANCE SYSTEM
- CS0671(*)
G. Bracha, O. Rachman:
RANDOMIZED CONSENSUS IN EXPECTED $O(n^{2}$ log $n)$ OPERATIONS
- CS0672(*)
H. Attiya:
IMPLEMENTING FIFO QUEUES AND STACKS (Preliminary Version)
- CS0673
N. Alon, O. Goldreich, J. Hastad, R. Peralta:
SIMPLE
CONSTRUCTIONS OF ALMOST {\em k}-wise INDEPENDENT RANDOM VARIABLES
- CS0674
B. Chor, M. Ger\'{e}b-Graus, E. Kushilevitz:
ON THE STRUCTURE OF THE PRIVACY HIERARCHY
- CS0675
R. Bar-Yehudah, T. Etzion, S. Moran:
ROTATING-TABLE GAMES AND DERIVATES OF WORDS
- CS0676
A. Paz and M. Lempel:
FACTORIZATION PROPERTIES OF LATTICES
OVER THE INTEGERS
- CS0677
S. Ur and A. Paz:
SOME ASPECTS OF THE MEMBERSHIP PROBLEM
FOR GRAPHOIDS
- CS0678
S. Ur and A. Paz:
THE REPRESENTATION POWER OF
PROBABILISTIC KNOWLEDGE BY UNDIRECTED GRAPHS AND DIRECTED ACYCLIC GRAPHS
. A COMPARISON
- CS0679
E. Aharonson and H. Attiya:
COUNTING NETWORKS WITH
ARBITRARY FAN-OUT
- CS0680
R. Cohen and A. Segall:
MULTIPLE LOGICAL TOKEN-RINGS
IN A SINGLE HIGH-SPEED RING
- CS0681
O Goldreich:
THREE XOR-LEMMI - AN EXPOSITION
- CS0682
O. Goldreich, S. Goldwasser, N. Linial:
FAULT-TOLERANT
COMPUTATION IN THE FULL INFORMATION MODEL (Preliminary Version)
- CS0683
O. Goldreich, E. Petrank:
QUANTIFYING KNOWLEDGE
COMPLEXITY
- CS0684
N. Francez, O. Grumberg:
A DIRECT SOUNDNESS PROOF OF THE
RECURSION RULE
- CS0685
O. Goldreich:
A UNIFORM-COMPLEXITY TREATMENT OF
ENCRYPTION AND ZERO-KNOWLEDGE (Revised Version of TR 568 \& 627)
- CS0686(*)
The data on this technical report is missing:
The data on this technical report is missing
- CS0687
R.A. Hasson and J.A. Makowsky:
UPDATE LANGUAGES vs.
QUERY LANGUAGES
- CS0688
E. Korach:
2-TREES OPTIMAL T-JOIN AND INTEGRAL PACKING
OF T-CUTS
- CS0689
U. Abraham, S. Ben-David, S. Moran:
ON THE LIMITATION
OF THE GLOBAL TIME ASSUMPTION IN DISTRIBUTED SYSTEMS
- CS0690
A. Itai and H. Shachnai:
OPTIMAL STRATEGIES FOR SOURCE
ROUTING IN A NETWORK WITH DEPENDENT PATHS
- CS0691
S. Ben-David, E. Dichterman:
DERANDOMIZING ONLINE ALGORITHMS (Extended Abstract)
- CS0692
E. Dichterman:
RANDOMIZED PAGING ALGORITHMS AND
MEASURES FOR THEIR PERFORMANCE
- CS0693
O. Gerstel and S. Zaks:
A NEW CHARACTERIZATION OF TREE
MEDIANS WITH APPLICATIONS TO DISTRIBUTED ALGORITHMS
- CS0694
H. Attiya and J.L. Welch:
SEQUENTIAL CONSISTENCY VERSUS
LINEARIZABILITY
- CS0695(*)
O. Sharon and A. Segall :
A SIMPLE SCHEME FOR SLOT REUSE
WITHOUT LATENCY IN DUAL BUS
- CS0696
Y. Ben-Asher and A. Schuster:
DATA GATHERING ON RECONFIGURABLE NETWORKS
- CS0697
R. Marelly and O. Grumberg:
GORMEL - Grammar ORiented
ModEL Checker
- CS0698
S. Even and Y. Mansour:
A CONSTRUCTION OF A CIPHER FROM A
SINGLE PSEUDORANDOM PERMUTATION
- CS0699
S. Ben-David and S. Halevi:
ON THE INDEPENDENCE OF $P$
VERSUS $NP$
- CS0700
S. Ben-David:
CAN FINITE SAMPLES DETECT SINGULARITIES
OF REAL-VALUED FUNCTIONS
- CS0701
A. Sidi and Y. Shapira:
UPPER BOUNDS FOR CONVERGENCE RATES OF VECTOR EXTRAPOLATION METHODS ON LINEAR SYSTEMS WITH INITIAL ITERATIONS
- CS0702
O. Grumberg and D.E. Long:
MODEL CHECKING AND MODULAR VERIFICATION
- CS0703
E.M. Clarke, O. Grumberg and D.E. Long:
MODEL CHECKING AND ABSTRACTION
- CS0704
A. Ben-Dor:
ON SAMPLING WITH A SLIGHTLY RANDOM SOURCE
- CS0705
Y.Ben-Asher, D. Peleg and A. Schuster:
THE COMPLEXITY OF RECONFIGURING NETWORK MODELS
- CS0706
L. Shabtay and A. Segall:
ACTIVE AND PASSIVE SYNCHRONIZERS
- CS0707
M.J. Fischer, S. Moran, G. Taubenfeld:
SPACE-EFFICIENT
ASYNCHRONOUS CONSENSUS WITHOUT SHARED MEMORY INITIALIZATION
- CS0708
Eli Biham, Adi Shamir:
Differential Cryptanalysis of the Full 16-Round DES.
- CS0709
Z. Collin, R. Dechter, S. Katz:
SELF-STABILIZING DISTRIBUTED CONSTRAINT SATISFACTION
- CS0710
O. Goldreich:
ON DEFINING PROOFS OF KNOWLEDGE
(*) An electronic copy does not exist in this server
To the main CS technical reports page