Volume 22, Number 1, 1985
- Michael Bechtold, Guy Pujolle, Otto Spaniol:
Throughput of a Satellite Channel Communication.
1-14
- Jeffrey H. Kingston:
Analysis of Tree Algorithms for the Simulation Event List.
15-33
- Fred B. Schneider, Richard Conway, Dale Skeen:
Thrifty Execution of Task Pipelines.
35-45
- Ali Mili, Jules Desharnais, Jean-Raymond Gagné:
Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements.
47-66
- Dean Jacobs, David Gries:
General Correctness: A Unification of Partial and Total Correctness.
67-83
- Thomas Ottmann, Michael Schrapp, Derick Wood:
Purely Top-Down Updating Algorithms for Stratified Search Trees.
85-100
- Donald W. Loveland:
Performance Bounds for Binary Testing with Arbitrary Weights.
101-114
- Burkhard Monien, Ewald Speckenmeyer:
Ramsey Numbers and an Approximation Algorithm for the Vertex Cover Problem.
115-123
Volume 22, Number 2, 1985
Volume 22, Number 3, 1985
Volume 22, Number 4, 1985
Volume 22, Number 5, 1985
- Masahiro Miyakawa:
Optimum Decision Trees - An Optimal Variable Theorem and its Related Applications.
475-498
- Stephan Heilbrunner:
Truly Prefix-Correct Chain-Free LR (1) Parsers.
499-536
- Bernhard Möller:
On the Algebraic Specification of Infinite Objects - Ordered and Continuous Models of Algebraic Types.
537-578
- Michel Latteux, B. Leguy, B. Ratoandromanana:
The Family of One-Counter Languages is Closed Under Quotient.
579-588
- Juraj Hromkovic:
Fooling a Two-Way Nondeterministic Multihead Automaton with Reversal Number Restriction.
589-594
Volume 22, Number 6, 1986
Copyright © Fri Dec 4 20:26:43 2009
by Michael Ley (ley@uni-trier.de)