"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis.

Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann

Browse the full FM paper archive.