Assertion: algorithm's output | /r/CapableOf | list the r-bits
Facets:
value: for each clock tick t
type: TEMPORAL
value: for each page
type: OTHER
value: in binary representation
type: OTHER
Source sentences:
text: In the given example of R-bits for 6 pages over 5 clock ticks, the function prints the following output, which lists the R-bits for each clock tick t {\displaystyle t} and the individual counter values V i {\displaystyle V_{i}} for each page in binary representation.