A translation of an algorithm from one model of computation to another in which the work is the same in both models, to within a constant factor.