Información del autor
Documentos disponibles escritos por este autor (12)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Núñez Covarrubias, Alberto ; Pickin, Simon James ; Lavín Puente, Víctor ; Llana Díaz, Luis Fernando ; Bartolomé Sandoval, Ana Isabel ; Cerro Cañizares, Pablo ; Cambronero Piqueras, María Emilia ; Núñez García, Manuel ; Vaca Vargas, Bryan Raúl ; Gómez-Zamalloa Gil, Miguel | 2019-06-19Una parte fundamental de la asignatura PSD es el desarrollo de aplicaciones distribuidas. En concreto, la programación de aplicaciones paralelas utilizando MPI tiene un peso considerable, tanto en la parte práctica, como en la parte teórica de l[...]texto impreso
We present a new testing semantics, called friendly testing, whose main property is that the induced preorder between processes ?fr is consistent with the conformance relation, and so we have, for instance,a ?b ?fr a ?fr a +b. The new theory is [...]texto impreso
Núñez Covarrubias, Alberto ; Pickin, Simon James ; Lavín Puente, Víctor ; Llana Díaz, Luis Fernando ; Bartolomé Sandoval, Ana Isabel ; Cerro Cañizares, Pablo ; Cambronero Piqueras, Emilia ; Ricaldi Esquivel, Javier Antonio ; Gómez-Zamalloa Gil, Miguel | 2020-06-25La asignatura Programación de Sistemas Distribuidos (PSD) dedica una parte del temario a las aplicaciones de alto rendimiento y, en particular, a las aplicaciones desarrolladas con MPI. En resumen, estas aplicaciones despliegan en las máquinas f[...]texto impreso
In this paper we present a denotational semantics for a timed process algebra, which is fully abstract with respect to the must testing semantics previously developed [Lla96,LdFN96]. The domain of semantic processes is made up of consistent sets[...]texto impreso
Núñez Covarrubias, Alberto ; Lavín Puente, Víctor ; Cambronero, Emilia ; Llana Díaz, Luis Fernando ; Valero Espada, Miguel ; Pickin, Simon ; Romero, Miguel ; Mañoso, Carolina ; Pérez, Ángel ; Bartolomé Sandoval, Ana ; Olivera, Pablo | 2017-04-28El objetivo de este proyecto consiste en mitigar los problemas existentes para ejecutar aplicaciones distribuidas en las prácticas de la asignatura Programación de Sistemas Distribuidos. Para ello proponemos el uso del simulador SIMCAN, el cual [...]texto impreso
Llana Díaz, Luis Fernando ; Marín Marín, Enrique ; Pareja Flores, Cristobal ; Velázquez Iturbide, J. Ángel | Graz University of Technology (IICM) | 2014-09-01Currently, automated systems for program submission and assessment play a centralrole in the teaching of programming. A number of such systems have been developed in the last two decades. However, their adoption in regular programming teaching p[...]texto impreso
We present a new testing semantics, called friendly testing, whose main property is that the induced preorder between processes v fr is consistent with the conformance relation, and so we have, for instance, a \Phi b v fr a v fr a + b. The new t[...]texto impreso
en el presente trabajo hemos estudiado la semántica de pruebas para alebras de procesos temporizadas. En primer lugar hemos estudiado un álgebra de procesos temporizada básica, se trata de un lenguaje recursivo, secuencial no determinista. Puest[...]texto impreso
Estévez Martín, Sonia ; Cambronero Piqueras, Emilia ; García Ruiz, Yolanda ; Llana Díaz, Luis Fernando | Know-Center | 2019-07-28Parkinson’s disease (PD) is the most common age-related neurodegenerative motor disease. People with Parkinson’s have different motor symptoms related to movement, the most common of which are tremor, muscle rigidity and slowness of movement. In[...]texto impreso
Cañizares, Pablo C. ; Núñez Covarrubias, Alberto ; Lara, Juan de ; Llana Díaz, Luis Fernando | Elsevier | 2020-05Currently, using conventional techniques for checking and optimising the energy consumption in cloud systems is unpractical, due to the massive computational resources required. An appropriate test suite focusing on the parts of the cloud to be [...]texto impreso
Encina Vara, Alberto de la ; Hidalgo Herrero, Mercedes ; Llana Díaz, Luis Fernando ; Rubio Díez, Fernando | MDPI | 2020-05-26It is not easy to debug lazy functional programs. The reason is that laziness and higherorder complicates basic debugging strategies. Although there exist several debuggers for sequential lazy languages, dealing with parallel languages is much h[...]
