1. Throughput of a satellite channel communication

   • Michael Bechtold
   • Guy Pujolle
   • Otto Spaniol

   OriginalPaper Pages: 1 - 14

2. Analysis of tree algorithms for the simulation event list

   • Jeffrey H. Kingston

   OriginalPaper Pages: 15 - 33

3. Thrifty execution of task pipelines

   • Fred B. Schneider
   • Richard Conway
   • Dale Skeen

   OriginalPaper Pages: 35 - 45

4. Strongest invariant functions: Their use in the systematic analysis of while statements

   • Ali Mili
   • Jules Desharnais
   • Jean -Raymond Gagné

   OriginalPaper Pages: 47 - 66

5. General correctness: A unification of partial and total correctness

   • Dean Jacobs
   • David Gries

   OriginalPaper Pages: 67 - 83

6. Purely top-down updating algorithms for stratified search trees

   • Thomas Ottmann
   • Michael Schrapp
   • Derick Wood

   OriginalPaper Pages: 85 - 100

7. Performance bounds for binary testing with arbitrary weights

   • Donald W. Loveland

   OriginalPaper Pages: 101 - 114

8. Ramsey numbers and an approximation algorithm for the vertex cover problem

   • Burkhard Monien
   • Ewald Speckenmeyer

   OriginalPaper Pages: 115 - 123