1993 CS Technical Reports
- CS0755
Unknown: see paper:
Unknown: see paper
- CS0757
Unknown: see paper:
Unknown: see paper
- CS0761
J. van Eijck and N. Francez:
PROCEDURAL DYNAMIC SEMANTICS, VERB-PHRASE
ELLIPSIS and PRESUPPOSITION.
- CS0762
G. Even:
A NEW PROOF OF THE RETIMING LEMMA AND APPLICATIONS (Preliminary
Version).
- CS0763
G. Even:
A REAL-TIME SYSTOLIC INTEGER MULTIPLIER (Extended Abstract).
- CS0764
A. Sidi:
A NEW VARIABLE TRANSFORMATION FOR NUMERICAL INTEGRATION.
- CS0765
N. Allenberg-Navony, A. Itai and S. Moran:
AVERAGE AND RANDOMIZED COMPLEXITY
OF DISTRIBUTED PROBLEMS.
- CS0766
S. Even and A. Litman:
ON THE CAPABILITIES OF SYSTOLIC SYSTEMS.
- CS0767
H. Attiya and R. Friedman:
A CORRECTNESS CONDITION FOR
HIGH-PERFORMANCE MULTIPROCESSORS.
- CS0768
J. A. Makowsky and Y.B. Pnueli:
COMPUTABLE QUANTIFIERS AND
LOGICS OVER FINITE STRUCTURES.
- CS0769
Y. Shapira, A. Sidi and M. Israeli:
OPTIMAL EXTENSIONS OF THE
THEOREM OF WORPITZKY FOR CONTINUED FRACTIONS.
- CS0770
J. Serouji and D. Berry:
ARABIC FORMATTING WITH DITROFF/FFORTID.
- CS0771
S. Zaks:
AN EASY PLANARITY TEST FOR UNFLIPPABLE MODULES.
- CS0772(*)
N. Francez and F. A. Stomp:
A PROOF SYSTEM FOR
ASYNCHRONOUSLY COMMUNICATING SEQUENTIAL PROCESSES.
- CS0773(*)
S. Ben-David and M. Lindenbaum:
LOCALIZATIO vs. IDENTIFICATION OF SEMI-ALGEBRAIC SETS.
- CS0774
E. Dinitz:
MAINTAINING THE 4-EDGE-CONNECTED COMPONENTS
OF A GRAPH ON-LINE.
- CS0775
O. Goldreich and A. Wigderson:
TINY FAMILIES OF MIXING FUNCTIONS.
- CS0776
J.J. Ashley, B.H. Marcus and R.M. Roth:
CONSTRUCTION OF
ENCODERS WITH SMALL DECODING LOOK-AHEAD FOR INPUT-CONSTRAINED
CHANNELS.
- CS0777
S. Moran and G. Taubenfeld:
A LOWER BOUND ON WAIT-FREE
COUNTING.
- CS0778(*)
A. Sidi:
ACCELERATION OF CONVERGENCE OF (GENERALIZED) FOURIER SERIES BY
THE \boldmath d\ -\ TRANSFORMATION
- CS0779
M. Naor and R.M. Roth:
OPTIMAL FILE SHARING IN
DISTRIBUTED NETWORKS.
- CS0780
R.M. Roth and P.H Siegel:
LEE-METRIC BCH CODES AND
THEIR APPLICATION TO CONSTRAINED AND PARTIAL-RESPONSE CHANNELS.
- CS0781(*)
A. Ben-Dor and S. Halevi:
ZERO-ONE PERMANENT IS # P-COMPLETE,
A SIMPLER PROOF.
- CS0782
I. Ben-Aroya and E. Biham:
DIFFERENTIAL CRYPTANALYSIS OF
LUCIFER.
- CS0783
R.M. Roth, P.H. Siegal and A. Vardy:
HIGH-ORDER SPECTRAL-NULL
CODES: CONSTRUCTIONS AND BOUNDS.
- CS0784
J. A. Makowsky and U. Rotics:
OPTIMAL SPANNERS IN PARTIAL k-TREES.
- CS0785
J.A. Makowsky and Y.B. Pnueli:
ORACLES AND QUANTIFIERS.
- CS0786
O. Goldreich:
A TAXONOMY OF PROOF SYSTEMS.
- CS0787
R.M. Roth:
SPECTRAL-NULL CODES AND NULL SPACES OF HADAMARD
SUBMATRICES.
- CS0788(*)
A. Sidi:
CONVERGENCE ANALYSIS FOR A GENERALIZED RICHARDSON EXTRAPOLATION PROCESS WITH
AN APPLICATION TO THE D^{(1)}-TRANSFORMATION ON CONVERGENT AND DIVERGENT LOGARITHMIC SEQUENCES.
- CS0789
R. Canetti, G. Even and O. Goldreich:
LOWER BOUNDS FOR SAMPLING ALGORITHMS FOR ESTIMATING
THE AVERAGE.
- CS0790(*)
J. Glasgow and H. Shachnai:
MINIMIZING THE FLOW TIME
FOR PARALLELIZABLE TASK SYSTEMS (PRELIMINARY VERSION).
- CS0791(*)
H. Attiya and O. Rachman:
ATOMIC SNAPSHOTS IN O(n \log n)
OPERATIONS.
- CS0792(*)
O. Goldreich:
FINDING THE SHORTEST MOVE-SEQUENCE IN THE GRAPH-GENERALIZED 15-PUZZLE IS NP-HARD.
- CS0793(*)
S. Ben-David and R. Ben-Eliyahu:
A MODAL LOGIC FOR SUBJECTIVE DEFAULT REASONING.
- CS0794
Y. Hollander and A. Itai:
ON THE COMPLEXITY OF DIRECT CACHING.
- CS0799
Unknown: see paper:
Unknown: see paper
(*) An electronic copy does not exist in this server
To the main CS technical reports page