| W98-0902 | off-line technique to eliminate | run-time optimization | . It produces a finitestate oracle |
| W98-0902 | optimal proofs ; the need for | run-time optimization | in DPM processing has been removed |
| H89-2030 | saved . This strategy is both a | run-time optimization | and an application of the " Least |
| W98-0902 | proposed to remove the need for | run-time optimization | and guarantee fully bidirectional |
