SECTION 13122 - Government of New York

Interfaces with resource requirements can be modeled as games (see [20]). The states are labeled by a number (representing, e.g., memory usage) and a play/execution produces an infinite path of labels. The goal can be, for example, to minimize the amount of the used memory during a play. Formal definition ................
................