Register allocation via coloring
- Gregory J. Chaitin
- Marc A. Auslander
- et al.
- 1981
- Computer Languages
Paper
Publications
9296 results for Computer Science
Conservative differencing procedures for rotationally symmetric flow with swirl
- W.E. Langlois
- 1981
- Comput. Methods Appl. Mech. Eng.
PaperComputing 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
PaperA Probability Model for Simple Closed Random Curves
- Dimitris Anastassiou
- David J. Sakrison
- 1981
- IEEE Trans. Inf. Theory
PaperAn elementary proof of the completeness of PDL
- Dexter Kozen
- Rohit Parikh
- 1981
- Theoretical Computer Science
PaperN-User Trellis Coding for a Class of Multiple-Access Channels
- Pierre R. Chevillat
- 1981
- IEEE Trans. Inf. Theory
PaperA note on the existence of continuous functionals
- J.Lawrence Carter
- Ronald Fagin
- 1981
- Theoretical Computer Science
PaperAiry stress function for atomic models
- Paul J. Steinhardt
- P. Chaudhari
- 1981
- Journal of Computational Physics
PaperAn Upper Bound on the Ratio of the Probabilities of Subgroups and Cosets
- Teofilo C. Ancheta
- 1981
- IEEE Trans. Inf. Theory
PaperParsing for structural editors
- 1980
- FOCS 1980
Conference paper