Analisi automatica della complessità di algoritmi

  1. Home

theses proposal

Analisi automatica della complessità di algoritmi

Guarantor
Roberto Giacobazzi
Study courses
Bachelor in Computer Science (old system)

Description

Tesi di ricerca di base sull'analisi automatica di complessita' degli algoritmi.
L'idea e' di utilizzare particolari domini simbolici per risolvere in modo approssimato
equazioni di ricorrenza

Studying

Share