IndexAuthor

Number of items: 13.

Encina Vara, Alberto de la and Hidalgo Herrero, Mercedes and Llana Díaz, Luis Fernando and Rubio Díez, Fernando (2020) A Semantic Framework to Debug Parallel Lazy Functional Languages. Mathematics, 8 (6). ISSN 2227-7390

Núñez Covarrubias, Alberto and Pickin, Simon James and Lavín Puente, Víctor and Llana Díaz, Luis Fernando and Bartolomé Sandoval, Ana Isabel and Cerro Cañizares, Pablo and Cambronero Piqueras, María Emilia and Núñez García, Manuel and Vaca Vargas, Bryan Rául and Gómez-Zamalloa Gil, Miguel (2019) Adaptación y ejecución de aplicaciones MPI en entornos de simulación para analizar el rendimiento de arquitecturas distribuidas. [Proyecto de Innovación Docente]

Frutos Escrig, David de and Llana Díaz, Luis Fernando and Núñez García, Manuel (1998) An invitation to friendly testing. Journal of computer science and technology, 13 (6). pp. 531-545. ISSN 1000-9000

Núñez Covarrubias, Alberto and Pickin, Simon James and Lavín Puente, Víctor and Llana Díaz, Luis Fernando and Bartolomé Sandoval, Ana Isabel and Cerro Cañizares, Pablo and Cambronero Piqueras, Emilia and Ricaldi Esquivel, Javier Antonio and Gómez-Zamalloa Gil, Miguel (2020) Análisis de rendimiento de aplicaciones MPI en clusters de Raspberries Pi3. [Proyecto de Innovación Docente]

Llana Díaz, Luis Fernando and Gregorio Rodríguez, Carlos and Núñez Covarrubias, Alberto and Benito Parejo, Miguel and Carmona Ruber, Jorge and Estévez Martín, Sonia and García Merayo, Mercedes and Ibias Martínez, Alfredo and Pareja Flores, Cristobal (2021) Cluster de Raspberry Pi para prácticas de Programación Paralela y Big Data. [Proyecto de Innovación Docente]

Llana Díaz, Luis Fernando and Frutos Escrig, David de (1997) Denotational semantics for timed testing. In Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings. Lecture notes in computer science (1231). Springer, pp. 368-382. ISBN 978-3-540-63010-4

Núñez Covarrubias, Alberto and Lavín Puente, Víctor and Cambronero, Emilia and Llana Díaz, Luis Fernando and Valero Espada, Miguel and Pickin, Simon and Romero, Miguel and Mañoso, Carolina and Pérez, Ángel and Bartolomé Sandoval, Ana and Olivera, Pablo (2017) Empleo de herramientas de simulación con fines docentes para desarrollar prácticas de sistemas altamente distribuidos. [Proyecto de Innovación Docente]

Llana Díaz, Luis Fernando and Marín Marín, Enrique and Pareja Flores, Cristóbal and Velázquez Iturbide, J. Ángel (2014) FLOP: a user-friendly system for automated program assessment. Journal of Universal Computer Science, 20 (9). pp. 1304-1326. ISSN 0948695x

Llana Díaz, Luis Fernando and Frutos Escrig, David de and Núñez García, Manuel (1997) Introducing friendly testing. In V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia, Vigo, junio de 1997. Univ. Vigo, pp. 281-292. ISBN 84-8158-065-1

Llana Díaz, Luis Fernando (2002) Jugando con el tiempo : semántica de pruebas para algebras de procesos temporizadas. [Thesis]

Cañizares, Pablo C. and Núñez Covarrubias, Alberto and Lara, Juan de and Llana Díaz, Luis Fernando (2020) MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems. Journal of Systems and Software, 163 . p. 110522. ISSN 01641212

Estévez Martín, Sonia and Cambronero Piqueras, Emilia and García Ruiz, Yolanda and Llana Díaz, Luis Fernando (2019) Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review. Journal of Universal Computer Science, 25 (7). pp. 740-763. ISSN 0948-695X

Llana Díaz, Luis Fernando and Frutos Escrig, David de and Núñez García, Manuel (2007) Testing Semantics for Urgent Timed Process Algebras. In Real-time systems. AMAST series in computing (8). World Scientific, pp. 221-235. ISBN 981-02-4424-x

This list was generated on Tue Aug 3 02:53:56 2021 CEST.