Información del autor
Documentos disponibles escritos por este autor (13)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
texto impreso
La rápida evolución de la tecnología móvil y su democratización, debido al decremento de su coste y a su alta variedad de gamas en el mercado; junto a la inexistencia de una educación de manejo responsable y a su uso inadecuado, han conllevado a[...]texto impreso
Gómez-Zamalloa Gil, Miguel ; Albert Albiol, Elvira ; Arenas Sánchez, Purificación ; Correas Fernández, Jesús ; Genaim, Samir ; Puebla Sánchez, Germán ; Román Díez, Guillermo ; Peces, Raquel ; Giraldo, Carlos Gabriel ; Antolín, Clara | 2015-02-20El proyecto plantea el desarrollo de una herramienta de depuración simbólica que ayude a los estudiantes de las asignaturas de iniciación a la programación en las facultades de Informática y Estudios Estadísticostexto impreso
texto impreso
Sáenz Pérez, Fernando ; Correas Fernández, Jesús ; García Merayo, Mercedes ; Gómez Gauchía, Héctor | 2019-06-24El objetivo de este proyecto ha sido evaluar en clase la herramienta de realimentación semántica de consultas SQL, desarrollada sobre el sistema DES, ampliarla y mejorarla. Esta solicitud es continuación de un proyecto de la convocatoria anterio[...]texto impreso
Albert Albiol, Elvira ; Correas Fernández, Jesús ; Puebla, Germán ; Román Díez, Guillermo | Elsevier | 2015-06The aim of incremental analysis is, given a program, its analysis results, and a series of changes to the program, to obtain the new analysis results as eficiently as possible and, ideally, without having to (re-)analyze fragments of code which [...]texto impreso
Existing cost analysis frameworks have been defined for cumulative resources which keep on increasing along the computation. Traditional cumulative resources are execution time, number of executed steps, amount of memory allocated, and energy co[...]texto impreso
Albert Albiol, Elvira ; Correas Fernández, Jesús ; Johnsen, Einar Broch ; Román Díez, Guillermo | 2015-09We present a novel static analysis to infer the parallel cost of distributed systems. Parallel cost differs from the standard notion of serial cost by exploiting the truly concurrent execution model of distributed processing to capture the cost [...]texto impreso
We present a novel static analysis to infer the peak cost of distributed systems. The different locations of a distributed system communicate and coordinate their actions by posting tasks among them. Thus, the amount of work that each location h[...]texto impreso
Albert Albiol, Elvira ; Correas Fernández, Jesús ; Puebla, Germán ; Román Díez, Guillermo | Springer | 2014-11When reasoning about distributed systems, it is essential to have information about the different kinds of nodes that compose the system, how many instances of each kind exist, and how nodes communicate with other nodes. In this paper we present[...]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., [...]texto impreso
García Merayo, María de las Mercedes ; Núñez García, Manuel ; Estévez Martín, Sonia ; Martínez Torres, Rafael ; Ibias Martínez, Alfredo ; Pareja Flores, Cristobal ; Rincón Martínez, Santiago ; Correas Fernández, Jesús | 2019-03-14Extensión de la plataforma SQLab con nuevas funcionalidades que permitan a estudiantes de Bases de Datos evaluar sus conocimientos de diseño de instrucciones DML del lenguaje SQL y a los docentes hacer un seguimiento de la evolucion de sus alumnos.texto impreso
Albert Albiol, Elvira ; Correas Fernández, Jesús ; Martín Martín, Enrique ; Román Díez, Guillermo | 2014-10We present a static analysis to infer the amount of data that a distributed system may ransmit. The different locations of a distributed system communicate and coordinate their actions by posting tasks among them. A task is posted by building a [...]
