Throughput of a satellite channel communication Michael BechtoldGuy PujolleOtto Spaniol OriginalPaper Pages: 1 - 14
Analysis of tree algorithms for the simulation event list Jeffrey H. Kingston OriginalPaper Pages: 15 - 33
Thrifty execution of task pipelines Fred B. SchneiderRichard ConwayDale Skeen OriginalPaper Pages: 35 - 45
Strongest invariant functions: Their use in the systematic analysis of while statements Ali MiliJules DesharnaisJean -Raymond Gagné OriginalPaper Pages: 47 - 66
General correctness: A unification of partial and total correctness Dean JacobsDavid Gries OriginalPaper Pages: 67 - 83
Purely top-down updating algorithms for stratified search trees Thomas OttmannMichael SchrappDerick Wood OriginalPaper Pages: 85 - 100
Performance bounds for binary testing with arbitrary weights Donald W. Loveland OriginalPaper Pages: 101 - 114
Ramsey numbers and an approximation algorithm for the vertex cover problem Burkhard MonienEwald Speckenmeyer OriginalPaper Pages: 115 - 123