Browsing Tesis de Doctorados by Author "Barsotti, Damián"
Now showing items 1-1 of 1
-
Implementación eficiente de construcciones de alto nivel para la programación concurrente
Barsotti, Damián (2011)El trabajo de tesis doctoral presenta métodos automáticos para mejorar implementaciones de regiones críticas condicionales y monitores con señalamiento automático, mediante el uso de probadores de teoremos del tipo SMT ...