Analisi automatica della complessità di algoritmi

  1. Home

Proposta di tesi

Analisi automatica della complessità di algoritmi

Garante
Roberto Giacobazzi
Corso di studi
Laurea in Informatica (vecchio ordinamento)

Descrizione

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

Offerta formativa

Condividi