Información del autor
Documentos disponibles escritos por este autor (2)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Albert Albiol, Elvira ; Arenas Sánchez, Puri ; Gómez Zamalloa, Miguel | 2014-05Testing concurrent systems requires exploring all possible non-deterministic interleavings that the concurrent execution may have. This is because any of the interleavings may reveal the erroneous behaviour. In testing of actor systems, we can d[...]texto impreso
Albert Albiol, Elvira ; Arenas Sánchez, Puri ; Correas Fernández, Jesús ; Genaim, Samir ; Gómez Zamalloa, Miguel ; Martín Martín, Enrique ; Puebla, Germán ; Román Díez, Guillermo | 2015-06Resource analysis aims at automatically inferring upper/lower bounds on the worst/best-case cost of executing programs. Ideally, a resource analyzer should be parametric on the cost model, i.e., the type of cost that the user wants infer (e.g., [...]
