E-Prints Complutense

A

Andrés Sánchez, César and García Merayo, Mercedes and Núñez , M. (2012) Formal passive testing of timed systems: theory and tools. Software testing verification & reliability, 22 (6). pp. 365-405. ISSN 0960-0833

Almazán Navajo, Francisco Javier and Castilla Rufo, Sergio and Espino Sanz, Mario (2012) Formularia. [Coursework] (Unpublished)

Alonso Blas, Diego Esteban (2009) Cotas asintóticas de coste. Tesis Master's thesis.

Araujo Serna, Lourdes (2002) Procesador paralelo de Prolog sobre una arquitectura de memoria distribuida. Tesis PhD.

B

Basilio y Vildósola, Daniel Ignacio de and González Cuñado, Marta and Pareja Flores, Cristóbal (2008) Laboratorio de programación: Manual de Mooshak para el alumno. [Working Paper or Technical Report]

C

Carrasco Villaverde, Ángel and Esteban Gómez, José Carlos and Sánchez Malagón, Rubén (2012) Controlador caché para la gestión de imágenes en OpenNebula [Mejoras para la gestión interna de clouds privados]. [Coursework] (Unpublished)

Contreras Fernández-Dávila, Iván (2011) Parallel architectures to improve a GA based real-time system for trading the stock market. Tesis Master's thesis.

Castiñeiras Pérez, Ignacio (2009) Integración de ILOG CP en TOY. Tesis Master's thesis.

D

Delgado Muñoz, Agustín Daniel (2010) Avances recientes en análisis estáticos de terminación. Tesis Master's thesis.

Delgado Peris , Antonio (2008) Data location-aware job scheduling in the grid: application to the Gridway Metascheduler. Tesis Master's thesis.

Díaz Agudo, María Belén (2004) Una aproximación ontológica al desarrollo de sistemas de razonamiento basado en casos. Tesis PhD.

E

Escoms Alonso, Adrián and Espinar Pina, Isabel and Rodrigo Ortiz, Esther (2012) Constructor: plataforma como servicio en la nube para startups. [Coursework] (Unpublished)

G

García Nuño, Sara (2012) Diseño y desarrollo de una herramienta de ayuda al profesional médico para la evaluación objetiva de la fonación. [Coursework] (Unpublished)

García González, Fernando (2011) Introspección en sistemas de planificación basada en casos aplicados a juegos de estrategia. Tesis Master's thesis.

García Toledo, Marcos Miguel (2011) Un esquema de programación lógico funcional concurrente con restricciones. Tesis Master's thesis.

González-Madroño Abad, Mª Pilar and López Collado, Diana and Viudez Corroto, Raúl (2010) An Open Cloud Computing Interface (OCCI) management console for the OpenNebula Toolkit. [Coursework] (Unpublished)

H

Hidalgo Herrero, Mercedes and Verdejo López, José Alberto and Ortega Mallén, Yolanda (2007) Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. Electronic Notes in Theoretical Computer Science, 174 . pp. 119-137. ISSN 15710661

Hidalgo Herrero, Mercedes and Ortega Mallén, Yolanda and Rubio, Fernando (2006) Towards Improving Skeletons in Eden. In Parallel Computing: Current & Future Issues of High-End Computing. NIC Series (33). John von Neumann Institute for Computing, Jülich, pp. 843-850. ISBN 3-00-017352-8

Hidalgo Herrero, Mercedes and Ortega Mallén, Yolanda (2005) Dealing Denotationally With Stream-based Communication. Electronic Notes in Theoretical Computer Science, 137 . pp. 47-68. ISSN 15710661

Hidalgo Herrero, Mercedes (2005) Semánticas formales para un lenguaje funcional paralelo. Tesis PhD.

Hidalgo Herrero, Mercedes and Ortega Mallén, Yolanda (2002) An Operational Semantics for the Parallel Language Eden. Parallel Processing Letters, 12 (2). pp. 211-228. ISSN 0129-6264

Hidalgo Herrero, Mercedes and Ortega Mallén, Yolanda (2000) A Distributed Operational Semantics for a Parallel Functional Language. In Trends in Functional Programming. Intellect Books, Bristol , pp. 89-102. ISBN 1-84150-058-5

Herrero , Henar and Díaz-Cano Ocaña, Antonio (2000) Informática aplicada a las ciencias y a la ingeniería con Matlab. Manual. Escuela Técnica Superior de Ingenieros Industriales, Ciudad Real.

L

Loogen, Rita and Ortega Mallén, Yolanda and Peña Marí, Ricardo (2005) Parallel functional programming in Eden. Journal of Functional Programming, 15 (3). pp. 431-475. ISSN 0956-7968

M

Martín Martín, Enrique (2013) Sistemas de tipos en lenguajes lógico-funcionales. Tesis PhD.

Miguel Novaldos, Sergio, de and Expósito Romero, Daniel and Francisco Rus, Älvaro, de (2012) Routers Virtuales para Aplicaciones Cloud. [Coursework] (Unpublished)

Molina Aranda, Daniel (2011) Arquitecturas para la Federación de Proveedores Cloud. Tesis Master's thesis.

Martín Sánchez, Carlos (2010) Análisis de aplicaciones interactivas en infraestructuras cloud. Tesis Master's thesis.

Martín Martín, Enrique (2009) Advances in type systems for functional logic programming. Tesis Master's thesis.

Makarov , Valeri A. and Castellanos, Nazareth P. and Patane, Luca and Velarde, Manuel G. (2007) Sensory-motor neural loop discovering statistical dependences among imperfect sensory perception and motor response. In Bioengineered and Bioinspired Systems III. Proceedings of SPIE (6592 ). SPIE-INT SOC OPTICAL ENGINEERING, BELLINGHAM. ISBN 978-0-8194-6720-1

Makarov , Valeri A. and Pavlov, Alexey N. and Mosekilde, Erik and Sosnovtseva, Olga V. (2006) Application of wavelet-based tools to study the dynamics of biological processes. Briefings in Bioinformatics, 7 (4 ). 375-389 . ISSN 1467-5463

Makarov , Valeri A. and Castellanos, Nazareth P. and Velarde, Manuel G. (2006) Simple Agents Benefit Only From Simple Brains. Proceedings of World Academy of Science Engineering and Technology, 15 . 25-30 . ISSN 1307-6884

P

Pozuelo Fernández, Gloria Esther and Álvarez Obeso, Francisco Javier (2012) Juegos accesibles para ciegos en plataformas móviles. [Coursework] (Unpublished)

Pérez Morente, Fernando (2011) A semantic framework for higher-order functional logic programming with Lambda-Abstractions. Tesis Master's thesis.

R

Rodríguez García, Marta and Salas Garrido, Teresa, de and Vargas Celino, Ana Belén (2012) Desarrollo de una aplicación de ayuda para la redacción de textos simplificados. [Coursework] (Unpublished)

Romero Díaz, Carlos Alberto (2011) Programación declarativa cualificada con restricciones. Tesis PhD.

Rodríguez Pascual, Manuel (2008) FAFNER-2: adaptación al Grid de un código para estimar el calentamiento de los plasmas de fusión. Tesis Master's thesis.

Romero Díaz, Carlos Alberto (2007) Programación lógica cuantitativa y su implementación en TOY. Tesis Master's thesis.

Rubio Díez, Fernando (2004) Programación funcional paralela eficiente en Eden. Tesis PhD.

S

Santos Benavides, Germán Pablo (2011) Medida borrosa de la fiabilidad de un recurso para entornos Grid. Tesis Master's thesis.

San Aniceto Orbegozo, Iñigo (2011) Técnicas de auto escalado de cloud computing aplicadas al esteganoanálisis. Tesis Master's thesis.

Samborski-Forlese, Julian (2011) Two Algorithms for Model Checking of Regular Linear Temporal Logic. Tesis Master's thesis.

Sánchez-Velisco Sánchez, Carlos and García Martínez, Antonio José and Fernández Maiquez, David (2010) Diseño de un entorno para la inserción y detección de errores en sistemas basados en FPGAs. [Coursework] (Unpublished)

Segura Díaz, Clara María (2004) Análisis de programas en lenguajes funcionales paralelos. Tesis PhD.

T

Tabas Madrid, Daniel (2011) Análisis del uso del Polyhedral Model en herramientas de generación automática de código CUDA. Tesis Master's thesis.

V

Vázquez Blanco, Constantino (2013) Arquitectura para el aprovisionamiento dinámico de recursos computacionales. Tesis PhD.

Vegas Carrasco, Hugo María (2010) List ranking on multicore systems. Tesis Master's thesis.

Vado Vírseda, Rafael del (2009) Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa. Tesis PhD.

Vázquez Poletti, José Luis (2009) Ejecución eficiente de flujos de trabajos computacionales en entornos de Grid. Tesis PhD.