Final release

This is coherent to what is in the following links:

• PESC/COPPE/UFRJ website: https://www.cos.ufrj.br/index.php/pt-BR/publicacoes-pesquisa/details/15/2940
• Inria HAL website: https://hal.inria.fr/tel-02418022

and with the source code in e212c64

thesis.pdf

First release

This is coherent to what has been published in https://hal.inria.fr/tel-02418022v2

I still need to work on a few final adjustments to address the committee comments, which should be uploaded to HAL and COPPE website.

thesis.pdf