Assertion: algorithm's implementation | /r/HasProperty | called model of computation
Facets:
Source sentences:
text: Exact (not asymptotic) measures of efficiency can sometimes be computed but they usually require certain assumptions concerning the particular implementation of the algorithm, called model of computation.