N-User Trellis Coding for a Class of Multiple-Access Channels
- Pierre R. Chevillat
- 1981
- IEEE Trans. Inf. Theory
Publications
9082 results for Computer Science
Computing eigenvalues of very large symmetric matrices-An implementation of a Lanczos algorithm with no reorthogonalization
- Jane Cullum
- Ralph A Willoughby
- 1981
- Journal of Computational Physics
Conservative differencing procedures for rotationally symmetric flow with swirl
- W.E. Langlois
- 1981
- Comput. Methods Appl. Mech. Eng.
An Upper Bound on the Ratio of the Probabilities of Subgroups and Cosets
- Teofilo C. Ancheta
- 1981
- IEEE Trans. Inf. Theory
Airy stress function for atomic models
- Paul J. Steinhardt
- P. Chaudhari
- 1981
- Journal of Computational Physics
Josephson LSI circuits
- S.M. Faris
- 1981
- IEEE Circuits and Systems Magazine
More on advice on structuring compilers and proving them correct
- James W. Thatcher
- Eric G. Wagner
- et al.
- 1981
- Theoretical Computer Science
Modulus division on a two's complement machine
- Henry S. Warren Jr.
- A. Shawhan Fox
- et al.
- 1981
- Information Processing Letters
An elementary proof of the completeness of PDL
- Dexter Kozen
- Rohit Parikh
- 1981
- Theoretical Computer Science
On the total correctness of nondeterministic programs
- David Harel
- 1981
- Theoretical Computer Science