Sample records for REKURRENZBEZIEHUNGEN (recurrence relations)

Sample records 1 - 20 shown. Select sample records:


Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis

Albert, Elvira; Arenas Sánchez, Purificación; Genaim, Samir; Puebla Sánchez, Alvaro German

The classical approach to automatic cost analysis consists of two phases. Given a program and some measure of cost, we first produce recurrence relations (RRs) which capture the cost of our program in terms of the size of its input data. Second, we convert such RRs into closed form (i.e., without re...

DRIVER (German)