Biblioteca de la Universidad Complutense de Madrid

Consultar por Materia

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Agrupar por: Tipo de documento | Autores
Número de eprints en este nivel: 132.

Artículo

Rodríguez, Rodríguez y Castro Rodríguez, Fernando y Chaver, D. y González Alberquilla, R. y Piñuel Moreno, Luis y Tirado Fernández, Francisco (2015) Write-aware replacement policies for PCM-based systems. Computer journal, 58 (9). pp. 2000-2025. ISSN 0010-4620

Cavalli, Ana R. y Higashino, Teruo y Nuñez García, Manuel (2015) A survey on formal active and passive testing with applications to the cloud. Annals of Telecommunications, 70 (3-4). pp. 85-93. ISSN 0003-4347

Mejía Roa, Edgardo y Tabas Madrid, Daniel y Setoain Rodrigo, Javier y García Sánchez, Carlos y Tirado Fernández, Francisco y Pascual Montano, Alberto (2015) NMF-mGPU: non-negative matrix factorization on multi-GPU systems. BMC Bioinformatics, 16 . ISSN 1471-2105

Llana Díaz, Luis Fernando y Marín Marín, Enrique y Pareja Flores, Cristóbal y 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

Ivorra, Benjamin y Mohammadi, Bijan y Ramos del Olmo, Ángel Manuel (2014) Design of code division multiple access filters based on sampled fiber Bragg grating by using global optimization algorithms. Optimization and Engineering, 15 (3). pp. 677-695. ISSN 1389-4420

López Fraguas, Francisco J. y Martín Martín, Enrique y Rodríguez Hortalá, Juan (2014) Safe typing of functional logic programs with opaque patterns and local bindings. Information and Computation, 235 . pp. 36-69. ISSN 0890-5401

Arroba, Patricia y Risco Martín, José Luis y Zapater Sancho, Marina y Moya, José Manuel y Ayala Rodrigo, José Luis y Olcoz Herrero, Katzalin (2014) Server Power Modeling for Run-time Energy Optimization of Cloud Computing Facilities. Energy Procedia, 62 . pp. 401-410. ISSN 1876-6102

Rubio Sánchez, Manuel y Kinnunen, Päivi y Pareja Flores, Cristóbal y Velázquez Iturbide, Ángel (2014) Student perception and usage of an automated programming assessment tool. Computers in Human Behavior (31). pp. 453-460. ISSN 07475632

Poljak, Jelena y Botella Juan, Guillermo y García Sánchez, Carlos y Poljacek, Sanja Mahovic y Prieto Matías, Manuel y Tirado Fernández, Francisco (2013) Offset printing plate quality sensor on a low-cost processor. Sensors, 13 (11). pp. 14277-14300. ISSN 1424-8220

García Sanchez, Carlos y Botella Juan, Guillermo y Ayuso Márquez, Fermín y González Rodríguez, Diego y Prieto Matías, Manuel y Tirado Fernández, Francisco (2013) Implementation of a low-cost mobile devices to support medical diagnosis. Computational and Mathematical Methods in Medicine . ISSN 1748-670X

Andrés Sánchez, César y García Merayo, Mercedes y 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

Hidalgo Herrero, Mercedes y Verdejo López, José Alberto y 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

Makarov, Valeri A. y Pavlov, Alexey N. y Mosekilde, Erik y 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. y Castellanos, Nazareth P. y 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

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

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

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

Piñuel Moreno, Luis y Moreno Vozmediano, Rafael Aurelio y Tirado Fernández, Francisco (2001) Analysing value substitution and confidence estimation for value prediction. Journal of systems architecture, 47 (5). pp. 459-475. ISSN 1383-7621

Documento de trabajo o Informe técnico

Basilio y Vildósola, Daniel Ignacio de y González Cuñado, Marta y Pareja Flores, Cristóbal (2008) Laboratorio de programación: Manual de Mooshak para el alumno. [ Cuadernos de Trabajo de la Escuela Universitaria de Estadística; nº 8, ]

Sección de libro

Bello Rivas, Juan Manuel y Harmand, Jerome y Ivorra, Benjamin y Ramos del Olmo, Ángel Manuel (2011) Bioreactor shape optimisation. Modeling, simulation, and shape optimization of a simple bioreactor for water treatment. In Colloques Sciences et Techniques de l'Information et de la Communication pour l'Environnement: Saint Etienne, 11, 12 et 13 mai 2011. Sciences de la terre et de l'environnement . Transvalor; Presses des Mines, Paris, pp. 125-141. ISBN 978-2-911256-46-2

Makarov, Valeri A. y Castellanos, Nazareth P. y Patane, Luca y 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

Hidalgo Herrero, Mercedes y Ortega Mallén, Yolanda y 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

Castro, F. y Chaver Martínez, Daniel Ángel y Piñuel Moreno, Luis y Prieto Matías, Manuel y Huang, M. C. y Tirado Fernández, Francisco (2005) A power-efficient and scalable load-store queue design. In Integrated circuit and system design: power and timing modeling, optimization and simulation. Springer-Verlag Berlin, pp. 1-9. ISBN 3-540-29013-3

Chaver Martínez, Daniel Ángel y Tenllado van der Reijden, Christian y Piñuel Moreno, Luis y Tirado Fernández, Francisco (2003) Wavelet transform for large scale image processing on modern microprocessors. In High performance computing for computational science - VECPAR 2002. Springer-Verlag Berlin, pp. 549-562. ISBN 3-540-00852-7

Chaver Martínez, Daniel Ángel y Tenllado van der Reijden, Christian y Piñuel Moreno, Luis y Prieto Matías, Manuel y Tirado Fernández, Francisco (2002) 2-D wavelet transform enhancement on general-purpose microprocessors: memory hierarchy and SIMD parallelism exploitation. In High performance computing - HIPC 2002, proceedings. Springer-Verlag Berlin, pp. 9-21. ISBN 3-540-00303-7

Hidalgo Herrero, Mercedes y 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

Libro o Monografía

Tenllado van der Reijden, Christian y Piñuel Moreno, Luis (2014) Fundamentos de Computadores. Manual de Laboratorio. Manual. Autoeditado. (No publicado)

Herrero , Henar y 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.

Ponencia o Póster de Seminario, Congreso,etc

Albert Albiol, Elvira y Genaim, Samir y Gordillo, Pablo (2015) May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. In 22nd International Symposium, SAS 2015, September 9-11, 2015, Saint-Malo, France.

Albert Albiol, Elvira y Arenas Sánchez, Puri y Correas Fernández, Jesús y Genaim, Samir y Gómez Zamalloa, Miguel y Martín Martín, Enrique y Puebla, Germán y Román Díez, Guillermo (2015) Resource Analysis: From Sequential to Concurrent and Distributed Programs. In FM 2015: Formal Methods, June 24–26, 2015, Oslo, Norway.

Peña Marí, Ricardo (2013) La obra científica de Tony Hoare. In Ciclo de conferencias de la Facultad de Informática 2012/2013, 23 de abril de 2013, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

Caballero Roldán, Rafael (2011) Declarative debugging. In Ciclo de conferencias de la Facultad de Informática 2010/2011, 21 de septiembre de 2011, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

Castiñeiras Pérez, Ignacio (2008) OPL : a constraint programming language. 5ª conferencia, ILOG SOLVER SCHEDULER. In Ciclo de conferencias de la Facultad de Informática 2007/2008, 23 de junio de 2008, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

Castiñeiras Pérez, Ignacio (2008) OPL: a constraint programming language. 4ª conferencia, ILOG SOLVER (2). In Ciclo de conferencias de la Facultad de Informática 2007/2008, 20 de junio de 2008, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

Castiñeiras Pérez, Ignacio (2008) OPL: a constraint programming language.3ª conferencia,ILOG SOLVER (1). In Ciclo de conferencias de la Facultad de Informática 2007/2008, 19 de junio de 2008, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

Castiñeíras Pérez, Ignacio (2008) OPL:a constraint programming language.2ª conferencia,ILOG CPLEX. In Ciclo de conferencias de la Facultad de Informática 2007/2008, 17 de junio de 2008, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

Castiñeíras Pérez, Ignacio (2008) OPL: a constraint programming language. 1ª conferencia, Primeros pasos. In Ciclo de Conferencias de la Facultad de Informática 2007/2008, 18 de junio de 2013, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

Rodríguez Hortalá, Juan (2008) Rewriting and call-time choice. In Ciclo de conferencias de la Facultad de Informática 2007/2008, 12 de mayo de 2008, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

Peña Marí, Ricardo (2008) Generación de código con certificado asociado. In Ciclo de conferencias de la Facultad de Informática 2007/2008, 31/01/2008, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

Tesis Doctoral

Romero Laorden, David (2016) Paralelización y mejora del proceso de conformación de haz en sistemas de apertura sintética para la generación de imagen ultrasónica en tiempo real. [Tesis Doctoral]

Martos Salgado, María Rosa (2016) Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias. [Tesis Doctoral]

Martínez Torres, Rafael (2016) Semántica de simulación para relaciones de conformidad. [Tesis Doctoral]

Estévez Martín, Sonia (2015) Cooperación entre dominios de restricciones y estrategias de cooperación en el contexto CFLP. [Tesis Doctoral]

Delgado Peris, Antonio (2015) Microplanificación de asignación tardía y almacenamiento temporal distribuidos para flujos de trabajo intensivos en datos. [Tesis Doctoral]

Castiñeiras Pérez, Ignacio (2015) Improving the solving efficiency of TOY (FD) and its application to real-life problems. [Tesis Doctoral]

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

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

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

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 Doctoral]

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

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

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

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

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

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

Trabajo Fin de Máster

Cabana Ramírez, Richard Jordan (2016) Anonimización de citas médicas mediante programación con restricciones. [Trabajo Fin de Máster]

Mansilla Montero, Javier (2016) Detección de fraude bancario en tiempo real utilizando tecnologías de procesamiento distribuido. [Trabajo Fin de Máster]

Doménech Arellano, Jesús Javier (2016) EasyInterface: a toolkit for the rapid development of GUIs for research prototype tools. [Trabajo Fin de Máster]

Martín Jabón, Jéssica (2016) Ejercicios interactivos en juez evaluador de problemas. [Trabajo Fin de Máster]

LLamocca Portela, Pavel (2016) Integración y visualización de datos abiertos medioambientales. [Trabajo Fin de Máster]

Martín Moreno-Manzanaro, Javier (2016) Pistas pedagógicas en juez online de programación. [Trabajo Fin de Máster]

Sánchez Pedroza, Joel (2015) E-EDD: integración en Eclipse del depurador declarativo para Erlang EDD. [Trabajo Fin de Máster]

Kedmenec, Luka (2015) Hardware implementation of a DCT based watermarking method. [Trabajo Fin de Máster]

Filo, Nikola (2014) Accelerating of visual information for visually impared people. [Trabajo Fin de Máster]

Poljak, Jelena (2013) Defining of printing plate quality level through introduction of different image analysis applications. [Trabajo Fin de Máster]

Rabanillo García, Juan (2013) Detección de Soft Errors en Bloques Multiplicadores de Filtros FIR. [Trabajo Fin de Máster]

Tenorio Fornés, Antonio (2013) MiniZinc+:finite type extensions for constraint programming language MiniZinc. [Trabajo Fin de Máster]

Pericacho Sánchez, Bernardo (2013) On-demand secure teleconferencing on public cloud infrastructures. [Trabajo Fin de Máster]

Espino García, Daniel (2013) REMIRTA: ejecución remota de aplicaciones multimedia interactivas de tiempo real. [Trabajo Fin de Máster]

Pérez Morente, Fernando (2011) A semantic framework for higher-order functional logic programming with Lambda-Abstractions. [Trabajo Fin de Máster]

Tabas Madrid, Daniel (2011) Análisis del uso del Polyhedral Model en herramientas de generación automática de código CUDA. [Trabajo Fin de Máster]

Molina Aranda, Daniel (2011) Arquitecturas para la Federación de Proveedores Cloud. [Trabajo Fin de Máster]

García González, Fernando (2011) Introspección en sistemas de planificación basada en casos aplicados a juegos de estrategia. [Trabajo Fin de Máster]

Santos Benavides, Germán Pablo (2011) Medida borrosa de la fiabilidad de un recurso para entornos Grid. [Trabajo Fin de Máster]

Contreras Fernández-Dávila, Iván (2011) Parallel architectures to improve a GA based real-time system for trading the stock market. [Trabajo Fin de Máster]

Samborski-Forlese, Julian (2011) Two Algorithms for Model Checking of Regular Linear Temporal Logic. [Trabajo Fin de Máster]

San Aniceto Orbegozo, Iñigo (2011) Técnicas de auto escalado de cloud computing aplicadas al esteganoanálisis. [Trabajo Fin de Máster]

García Toledo, Marcos Miguel (2011) Un esquema de programación lógico funcional concurrente con restricciones. [Trabajo Fin de Máster]

Martín Sánchez, Carlos (2010) Análisis de aplicaciones interactivas en infraestructuras cloud. [Trabajo Fin de Máster]

Delgado Muñoz, Agustín Daniel (2010) Avances recientes en análisis estáticos de terminación. [Trabajo Fin de Máster]

Vegas Carrasco, Hugo María (2010) List ranking on multicore systems. [Trabajo Fin de Máster]

Martín Martín, Enrique (2009) Advances in type systems for functional logic programming. [Trabajo Fin de Máster]

Alonso Blas, Diego Esteban (2009) Cotas asintóticas de coste. [Trabajo Fin de Máster]

Castiñeiras Pérez, Ignacio (2009) Integración de ILOG CP en TOY. [Trabajo Fin de Máster]

Delgado Peris , Antonio (2008) Data location-aware job scheduling in the grid: application to the Gridway Metascheduler. [Trabajo Fin de Máster]

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. [Trabajo Fin de Máster]

Romero Díaz, Carlos Alberto (2007) Programación lógica cuantitativa y su implementación en TOY. [Trabajo Fin de Máster]

Proyecto de Innovación Docente

Gómez Martín, Marco Antonio (2016) Desarrollo de material educativo reutilizable para el portal educativo de la UCM "Acepta el reto". [Proyecto de Innovación Docente]

Martín Martín, Enrique y Montenegro Montes, Manuel y Riesco Rodríguez, Adrián y Rosa Velardo, Fernando y Tamarit Muñoz, Salvador (2015) Estudio de viabilidad de un entorno de aprendizaje colaborativo de lenguajes de programación. [Proyecto de Innovación Docente]

Gómez-Zamalloa Gil, Miguel y Albert Albiol, Elvira y Arenas Sánchez, Purificación y Correas Fernández, Jesús y Genaim, Samir y Puebla Sánchez, Germán y Román Díez, Guillermo y Peces, Raquel y Giraldo, Carlos Gabriel y Antolín, Clara (2015) Desarrollo de una herramienta de depuración simbólica para las asignaturas de iniciación a la programación en las facultades de Informática y Estudios Estadísticos. [Proyecto de Innovación Docente]

Moreno Ger, Pablo y Hervás Ballesteros, Raquel y Francisco Gilmartín, Virginia y Bautista Blasco, Susana y Martínez Ortiz, Iván (2015) SIGUE: Uso de dispositivos móviles, códigos QR y técnicas de Learning Analytics para el seguimiento de la participación en clase durante la evaluación continua. [Proyecto de Innovación Docente]

Díaz Agudo, Mª Belen y Recio García, Juan A. (2015) MENTORIZATE-PILOTO: Herramientas de gestión del programa de mentorías en las Facultades de Informática y Psicología. [Proyecto de Innovación Docente]

Materiales de enseñanza

Lahoz Beltra, Rafael (2014) Métodos en Biomatemática II: Ecuaciones Diferenciales con wxMaxima. [Materiales de enseñanza] (Presentado)

Trabajo Fin de Grado

Díaz Morgado, David y Gómez Blanco, David (2016) Aceleración de algoritmos de estimación de movimiento mediante OpenCL. [Trabajo Fin de Grado]

Rodríguez Navarro, José Miguel y Orueta Moreno, Carlos (2016) Aceleración de algoritmos para imágenes hiperespectrales con OpenCL. [Trabajo Fin de Grado]

Holubanský, Jakub y Mínguez Horcajada, Álvaro (2016) Análisis de terminación para una plataforma de verificación de programas. [Trabajo Fin de Grado]

Ramos Díaz, Juan (2016) Diseño y desarrollo de un servicio big data en la nube para búsqueda, compartición de ficheros y data mining. [Trabajo Fin de Grado]

Bermúdez Blanco, Javier (2016) Evaluación del rendimiento de un planificador de tareas sobre una plataforma heterogénea ARM+DSP de Texas Instruments. [Trabajo Fin de Grado]

Cerro de Paz, Irene y Galisteo Fernández, Virginia y Martín Seijas, Alejandro y Membrilla Cobo, Carlos (2016) FREEZE SENSE : sensor IoT para monitorizar la cadena de frío en el transporte y almacenamiento de alimentos. [Trabajo Fin de Grado]

Fernández Grado, Pablo y Sánchez Platero, Francisco Javier y Slavi Marinov, Robert (2016) Fingerpay. [Trabajo Fin de Grado]

Tello Ortiz, Max Arnulfo (2016) Generadores ScalaCheck para property-based testing de programas Spark y Spark Streaming. [Trabajo Fin de Grado]

Samper González, Juan y Cruz Martínez, Roberto de la (2016) Interfaz software/hardware entre Raspberry Pi y FPGA Spartan-6 y su aplicación a simulación dirigida por eventos. [Trabajo Fin de Grado]

Aguirre Pemán, Jesús (2016) Personalización de rutas en sistemas de turismo y ocio. [Trabajo Fin de Grado]

Cárdenas Carrillo, Jefferson y Redruello Fernández, Luis (2016) Simulador de escáner de rayos X: creación y análisis de imágenes. [Trabajo Fin de Grado]

Crespo Cepeda, Rodrigo y El Yamri El Khatibi, Meriem y Carrera García, Juan Manuel (2015) CtOS Enabler. [Trabajo Fin de Grado]

Hernández Bécares, Jennifer (2015) Ejecución y adaptación de trazas de juegos para la automatización de pruebas. [Trabajo Fin de Grado]

Costero Valero, Luis María (2015) Ejecución y adaptación de trazas de juegos para la automatización de pruebas. [Trabajo Fin de Grado]

Fajardo Cabello, Francisco Javier (2015) Referente de auditoría para la reutilización de aplicaciones en modo servicio. [Trabajo Fin de Grado]

Deltell Mendicute, Juan y Lorente Sánchez, Alberto y Martínez Dotor, Jesús (2015) Resolución de laberintos en StarCraft empleando apredizaje por refuerzo. [Trabajo Fin de Grado]

López Giménez, Julio Javier y Madrona Martini, José Ángel y Susarte Trujillano, Lorenzo (2015) Sistema de Detección de ataques EDoS en entornos Cloud. [Trabajo Fin de Grado]

Gordillo Alguacil, Pablo (2015) Static analysis of concurrent objects: May-Happen-in-Parallel fo asynchronous programs with Inter-procedural synchronization. [Trabajo Fin de Grado]

Isabel Márquez, Miguel (2015) Techniques to improve testing scalability on concurrent programs: combining static analysis and testing for Deadlock detection. [Trabajo Fin de Grado]

Martínez Bernardo, Pablo (2014) Framework de aplicaciones para red social colaborativa distribuida. [Trabajo Fin de Grado]

Trabajo de curso

Ladrón de Guevara Cano, Alejandro y Sotelo Souto, Yamandú Leandro y Maldonado Lenis, Miguel Alexander (2015) Aceleración de aplicaciones web con WebCL. [Trabajo de curso] (No publicado)

Rodríguez Rodrigo, Pedro Javier (2015) Interfaz web para la visualización 3D y segmentación interactiva de imágenes científicas utilizando un sistema distribuido. [Trabajo de curso] (No publicado)

Baños Rodríguez, Sergio y González Vicente, Alberto y Moragrega Sánchez, Alba (2015) Personal Anonycloud. [Trabajo de curso] (No publicado)

Arratia Mamani, Juan y Pareja García, Arturo y Restrepo Klinge, Tomás (2014) CloudMiner. [Trabajo de curso] (No publicado)

Bouza Cubo, Eduardo y González Marcos, Daniel y Pérez Barrio, Jorge (2014) Estrategias de paralelización de heurísticas para el juego de ajedrez. [Trabajo de curso] (No publicado)

Bueno Cavero, Nícolas Paolo y Gómez Edo, Javier (2014) ProsymbABS: perfilador simbólico para objetos concurrentes. [Trabajo de curso] (No publicado)

Barrios Hernández, Luis y Fernández Hernández, Adrián y Guayerbas Martín, Samuel (2013) CygnusCloud : provisión de puestos de laboratorio virtuales bajo demanda. [Trabajo de curso] (No publicado)

Gordo Torres, Roberto y Gutiérrez Montes, Santiago y Rodríguez Díaz, Pedro Antonio (2013) Sistema concurrente de detección de intrusiones con correlación de alertas en entornos distribuidos. [Trabajo de curso] (No publicado)

Baltá Camejo, Ailyn y Cayo Ventura, César y Bachrachas Peterburg, Javier (2013) SmartCloud:gestión eficiente de recursos computacionales de la Administración Pública. [Trabajo de curso] (No publicado)

Tarascón Quintas, Eduardo y García Fernández, José Ángel (2013) jSyX: una máquina de ejecución simbólica para JAVA BYTECODE y su aplicación a la generación de tests. [Trabajo de curso] (No publicado)

Escoms Alonso, Adrián y Espinar Pina, Isabel y Rodrigo Ortiz, Esther (2012) Constructor: plataforma como servicio en la nube para startups. [Trabajo de curso] (No publicado)

Carrasco Villaverde, Ángel y Esteban Gómez, José Carlos y 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]. [Trabajo de curso] (No publicado)

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

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. [Trabajo de curso] (No publicado)

Almazán Navajo, Francisco Javier y Castilla Rufo, Sergio y Espino Sanz, Mario (2012) Formularia. [Trabajo de curso] (No publicado)

Pozuelo Fernández, Gloria Esther y Álvarez Obeso, Francisco Javier (2012) Juegos accesibles para ciegos en plataformas móviles. [Trabajo de curso] (No publicado)

Miguel Novaldos, Sergio, de y Expósito Romero, Daniel y Francisco Rus, Älvaro, de (2012) Routers Virtuales para Aplicaciones Cloud. [Trabajo de curso] (No publicado)

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

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

Esta lista fue generada el Sat Dec 10 02:10:06 2016 CET.