1994 CS Technical Reports
- CS0781
Unknown: see paper:
Unknown: see paper
- CS0795(*)
R. Ben-Eliyahu and M. Magidor:
A TEMPORAL LOGIC FOR PROVING PROPERTIES OF TOPOLOGICALLY GENERAL EXECUTIONS.
- CS0796
R. Lubitch and S. Moran:
CLOSED SCHEDULERS: CONSTRUCTIONS AND APPLICATIONS TO CONSENSUS PROTOCOLS.
- CS0797
S. Even and G. Granot:
RECTILINEAR PLANAR DRAWINGS WITH FEW BENDS IN EACH EDGE.
- CS0798
I. Cidon, O. Gerstel and S. Zaks:
DESIGNING THE VIRTUAL PATH LAYOUT IN ATM NETWORKS.
- CS0799(*)
Y. Shapira, A. Sidi and M. Israeli:
A PARALLELIZABLE
INCOMPLETE LU-TYPE
PRECONDITIONER FOR THE SOLUTION OF SPARSE LINEAR SYSTEMS.
- CS0800(*)
A. Sidi:
FURTHER RESULTS ON CONVERGENCE AND
STABILITY OF A GENERALIZATION OF THE RICHARDSON
EXTRAPOLATION PROCESS.
- CS0801(*)
(781) Roy Friedman:
IMPLEMENTING HYBRID CONSISTENCY WITH
HIGH-LEVEL SYNCHRONIZATION OPERATIONS.
- CS0802(*)
(782) A. Becker and D. Geiger:
A CONSTANT-FACTOR POLYNOMIAL APPROXIMATION
ALGORITHM FOR THE WEIGHTED VERTEX FEEDBACK SET PROBLEM.
- CS0803(*)
O. Biran, S. Moran and S. Zaks:
TIGHT BOUNDS ON THE
ROUND COMPLEXITY OF DISTRIBUTED 1-SOLVABLE TASKS.
- CS0804(*)
Ye. Dinitz and A. Vainshtein:
THE GENERAL STRUCTURE
OF EDGE-CONNECTIVITY OF A VERTEX SUBSET IN A GRAPH AND ITS
INCREMENTAL MAINTENANCE.
- CS0805
O. Sharon:
A PROOF FOR LACK OF STARVATION IN DQDB.
- CS0806(*)
R. Alur, H. Attiya, G. Taubenfeld:
TIME-ADAPTIVE
ALGORITHMS FOR SYNCHRONIZATION.
- CS0807
S. Dolev, A. Israeli and S. Moran:
UNIFORM SELF-STABILIZING
LEADER ELECTION. PART 1: COMPLETE GRAPH PROTOCOLS.
- CS0808
O. Sharon:
A CORRECT AND EFFICIENT SCHEME FOR SLOT REUSE IN DQDB.
- CS0809
Y. Shapira:
A MODIFIED ALGEBRAIC MULTIGRID METHOD WITH
APPLICATION TO NONSYMMETRIC AND INDEFINITE PARTIAL DIFFERENTIAL
EQUATIONS.
- CS0810
Y. Shapira:
CONVERGENCE RATES OF A PARALLELIZABLE MULTIGRID METHOD
AND AN APPLICATION TO THE SOLUTION OF HIGHLY INDEFINITE HELMHOLZ EQUATIONS.
- CS0811
S. Ben-David, E. Kushilevitz and Y. Mansour:
ONLINE LEARNING VERSUS
OFFLINE LEARNING.
- CS0812(*)
O. Lempel and A. Litman:
DUAL BOUND RETIMING.
- CS0813
E. Biham:
ON MATSUI's LINEAR CRYPTANALYSIS.
- CS0816
E. Biham and A. Biryukov:
HOW TO STRENGTHEN DES USING
EXISTING HARDWARE.
- CS0817
E. Biham and A. Biryukov:
AN IMPROVEMENT OF DAVIES' ATTACK ON DES.
- CS0818
J.A. Makowsky and Y.B. Pnueli:
ARITY VS. ALTERNATION IN SECOND ORDER LOGIC.
- CS0819
J.A. Makowsky and A. Sharell:
ON AVERAGE CASE COMPLEXITY OF SAT FOR
SYMMETRIC DISTRIBUTIONS.
- CS0820
J.A. Makowsky and Y.B. Pnueli:
ORACLES AND QUANTIFIERS.
- CS0821
I. Bar-On and V. Ryaboy:
FAST DIAGONALIZATION OF LARGE AND DENSE COMPLEX
SYMMETRIC MATRICES, WITH APPLICATIONS TO QUANTUM REACTION DYNAMICS.
- CS0822(*)
Ye. Dinitz:
SUBSET CONNECTIVITY AND EDGE-DISJOINT TREES, WITH AN
APPLICATION TO TARGET BROADCASTING.
- CS0823(*)
A. Sidi:
EXTENSION AND COMPLETION OF WYNN'S THEORY ON
CONVERGENCE OF COLUMNS OF THE EPSILON TABLE.
- CS0824
Y. Shapira:
ANALYSIS OF RED-BLACK RELAXATION IN
AUTOMATIC MULTIGRID SOLUTION OF NONSYMMETRIC AND INDEFINITE PROBLEMS.
- CS0825
Y. Shapira, M. Israeli and A. Sidi:
TOWARDS AUTOMATIC MULTIGRID ALGORITHMS FOR SPD,
NONSYMMETRIC AND INDEFINITE PROBLEMS.
- CS0826
A. Litman and A.L. Rosenberg:
BALANCING
COMMUNICATION IN RING-STRUCTURED NETWORKS.
- CS0827
M. Frances and A. Litman:
ON COVERING PROBLEMS OF CODES.
- CS0829(*)
G. Itkis and L. Levin:
FAST AND LEAN SELF-STABILIZING
ASYNCHRONOUS PROTOCOLS.
- CS0830(*)
R. Bar-Yehuda, J.A. Feldman and R. Kay:
EFFICIENT
2-SAT RELATED ROUTING TECHNIQUE.
- CS0831
I. Cidon, O. Gerstel and S. Zaks:
THE LAYOUT OF VIRTUAL PATHS IN
ATM NETWORKS.
- CS0832(*)
I. Bar-On:
A NEW DIVIDE AND CONQUER PARALLEL ALGORITHM
FOR COMPUTING THE EIGENVALUES OF A SYMMETRIC TRIDIAGONAL MATRIX.
- CS0833
Eli Biham:
Cryptanalysis of Multiple Modes of Operation
- CS0834(*)
Y. Shapira:
AUTOMATIC AND PARALLELIZABLE MULTIGRID
TECHNIQUES FOR 3-D DEFINITE AND INDEFINITE PROBLEMS.
- CS0835
G. Even and A. Litman:
OVERCOMING CHIP-TO-CHIP DELAYS
AND CLOCK SKEWS.
- CS0837
L. Vozovoi, M. Israeli and A. Averbuch:
REMARKS ON THE FOURIER-
GEGENBAUER METHOD.
- CS0838(*)
S. Ben-David and L. Gurvits:
A NOTE ON VC-DIMENSION AND MEASURE
OF SETS OF REALS.
- CS0839(*)
BH Marcus, RM Roth, and PH Siegel:
CONSTRAINED SYSTEMS AND
CODING FOR RECORDING CHANNELS.
- CS0840(*)
R. Bar-Yehuda and S. Fogel:
PARTITIONING A SEQUENCE INTO FEW
MONOTONE SUBSEQUENCES.
- CS0841(*)
S. Even and R. Kupershtok:
THE DOUBLE BASELINE IS
REARRANGEABLE.
- CS0842
Unknown: see paper:
Unknown: see paper
(*) An electronic copy does not exist in this server
To the main CS technical reports page