| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 9657884 | Theoretical Computer Science | 2005 | 27 Pages |
Abstract
Just as the testing preorder in classical testing, the original faster-than relation is qualitative. We give it a quantitative reformulation for the general approach; based on this, we demonstrate in our case study how to determine an asymptotic performance measure for finite-state processes. With this result, we can show that pipelining indeed improves efficiency in our setting, and we discuss additional examples.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
F. Corradini, W. Vogler,