Navegar

Colección

Datos Estadísticas

Lista de

Resource consumption
5
"Pilas bloques: A scenario-based children learning platform" (2017) Sanzo, A.;Factorovich, P.;Schapachnik, F. (...)Sprock A.S. 12th Latin American Conference on Learning Objects and Technologies, LACLO 2017. 2017-January:1-6
"Summary-based inference of quantitative bounds of live heap objects" (2014) Braberman, V.; Garbervetsky, D.; Hym, S.; Yovine, S. Science of Computer Programming. 92(PART A):56-84
"Summary-based inference of quantitative bounds of live heap objects" (2014) Braberman, V.; Garbervetsky, D.; Hym, S.; Yovine, S. Science of Computer Programming. 92(PART A):56-84
"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
"Summary-based inference of quantitative bounds of live heap objects" (2013) Braberman, V.; Garbervetsky, D.; Hym, S.; Yovine, S. Science of Computer Programming