Lista de

Memory consumption
3
"On verifying resource contracts using code contracts" (2014) Castaño, R.;Garbervetsky, D.;Tapicer, J. (...)Aguirre N. 1st Latin American Workshop on Formal Methods, LAFM 2013. 139:1-15
"Boruvka meets nearest neighbors" (2013) Tepper, M.; Musé, P.; Almansa, A.; Mejail, M. 18th Iberoamerican Congress on Pattern Recognition, CIARP 2013. 8259 LNCS(PART 2):560-567
"Resource usage contracts for .NET" (2011) Tapicer, J.; Garbervetsky, D.; Rouaux, M. 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Co-located with ICSE 2011:56