State-splitting for stochastic machines. Webb Miller . Computational complexity and numerical stability. Derivation of confidence intervals for work rate estimators in a closed queuing network. Translating program schemas to while-schemas.
Time bounds on the parallel evaluation of arithmetic expressions.
Solving a problem in eigenvalue approximation with a symbolic algebra system. Bounds for multiprocessor scheduling with resource constraints. The computation of powers of symbolic polynomials. Computational algorithms for the enumeration of group invariant partitions. Every prime has a succinct certificate.