Castaño Roldán, Germán and Faqir-Rhazoui, Youssef and García Sánchez, Carlos and Prieto Matías, Manuel (2022) Evaluation of Intel's DPC++ Compatibility Tool in heterogeneous computing. Journal of Parallel and Distributed Computing, 165 . pp. 120-129. ISSN 0743-7315
Hernández Suárez, Aldo and Sánchez Pérez, Gabriel and Toscano Medina, Linda K. and Olivares Mercado, Jesus and Portillo Portilo, Jose and Avalos, Juan Gerardo and García Villalba, Luis Javier (2022) Detecting Cryptojacking Web Threats: An Approach with Autoencoders and Deep Dense Neural Networks. Applied Sciences, 12 (7). p. 3234. ISSN 2076-3417
Contador, Sergio and Colmenar, J. Manuel and Garnica Alcázar, Oscar and Velasco Cabo, José Manuel and Hidalgo Pérez, José Ignacio (2021) Blood glucose prediction using multi-objective grammatical evolution: analysis of the “agnostic” and “what-if” scenarios. Genetic Programming and Evolvable Machines . ISSN 1389-2576
Loscos Barroso, Daniel and Martí Oliet, Narciso and Rodríguez Laguna, Ismael (2021) Generalization and completeness of stochastic local search algorithms. Swarm and Evolutionary Computation, 68 . p. 100982. ISSN 2210-6502
Muñoz, Alba and Rubio Diez, Fernando (2021) Evaluating genetic algorithms through the approximability hierarchy. Journal of Computational Science, 53 . p. 101388. ISSN 1877-7503
Portela Camino, Juan A and Martín González, Santiago and Ruiz Alcocer, Javier and Illarramendi Mendicute, Igor and Piñero Llorens, David Pablo and Garrido Mercado, Rafaela (2020) Predictive factors for the perceptual learning in stereodeficient subjects. Journal of Optometry . 10 p.. ISSN 1888-4296 (In Press)
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
López Fraguas, Francisco Javier and Montenegro Montes, Manuel and Suárez García, Gorka (2020) Deriving overloaded success type schemes in Erlang. Journal of Computer Languages, 58 . ISSN 2590-1184
Montenegro Montes, Manuel and Nieva Soto, Susana and Peña Marí, Ricardo and Segura Díaz, Clara María (2020) Extending Liquid Types to Arrays. ACM Transactions on Computational Logic, 21 (2). pp. 1-41. ISSN 1529-3785
Encina Vara, Alberto de la and López Barquilla, Natalia and Rodríguez Laguna, Ismael and Rubio Díez, Fernando (2019) The problems of selecting problems. Lecture Notes in Computer Science, 11507 . pp. 760-772. ISSN 0302-9743
Rabanal Basalo, Pablo Manuel and Rodríguez Laguna, Ismael and Rubio Díez, Fernando (2019) Towards Applying River Formation Dynamics in Continuous Optimization Problems. Lecture Notes in Computer Science, 11507 . pp. 823-832. ISSN 0302-9743
Sagredo Olivenza, Ismael and Cárdenas Bonett, Marlon and Gómez Sanz, Jorge J. and Pavón Mestras, Juan (2018) Using Graphs of Queues and Genetic Algorithms to Fast Approximate Crowd Simulations. Proceedings, 2 (19). p. 1216. ISSN 2504-3900
Díaz, Primitivo and Pérez-Cisneros, Marco and Cuevas, Erik and Avalos, Omar and Gálvez, Jorge and Hinojosa Cervantes, Salvador Miguel and Zaldivar, Daniel (2018) An Improved Crow Search Algorithm Applied to Energy Problems. Energies, 11 (3). p. 571. ISSN 1996-1073
Sotelo Monge, Marco Antonio and Maestre Vidal, Jorge and García Villalba, Luis Javier (2017) Entropy-Based Economic Denial of Sustainability Detection. Entropy, 19 (12). p. 649. ISSN 1099-4300
Báscones García, Daniel and González Calvo, Carlos and Mozos Muñoz, Daniel (2017) Parallel Implementation of the CCSDS 1.2.3 Standard for Hyperspectral Lossless Compression. Remote Sensing, 9 (10). p. 973. ISSN 2072-4292
Rabanal Basalo, Pablo Manuel and Rodríguez Laguna, Ismael and Rubio Díez, Fernando (2017) Applications of river formation dynamics. Journal of Computational Science, 22 . pp. 26-35. ISSN 1877-7503
Rodríguez Laguna, Ismael and Rabanal Basalo, Pablo Manuel and Rubio Díez, Fernando (2017) How to make a best-seller: optimal product design problems. Applied soft computing, 55 . pp. 178-196. ISSN 1568-4946
González Alberquilla, Rodrigo and Castro Rodríguez, Fernando and Piñuel Moreno, Luis and Tirado Fernández, Francisco (2017) CEPRAM: Compression for Endurance in PCM RAM. Journal of circuits systems and computers, 26 (11). ISSN 0218-1266
Correal Tezanos, Raúl and Pajares Martinsanz, Gonzalo and Ruz Ortíz, José Jaime (2016) A Matlab-Based Testbed for Integration, Evaluation and Comparison of Heterogeneous Stereo Vision Matching Algorithms. Robotics, 5 (4). p. 24. ISSN 2218-6581
Esteban San Román, Segundo and Girón Sierra, José María and Angulo, Manuel (2016) Signal conditioning for the Kalman filter: application to satellite attitude estimation with magnetometer and sun sensors. Sensors, 16 (11). ISSN 1424-8220
Rodríguez, Rodríguez and Castro Rodríguez, Fernando and Chaver, D. and González Alberquilla, R. and Piñuel Moreno, Luis and Tirado Fernández, Francisco (2015) Write-aware replacement policies for PCM-based systems. Computer journal, 58 (9). pp. 2000-2025. ISSN 0010-4620
Huedo Cuesta, Eduardo and Marín Carrión, Ismael and Llorente, Ignacio M. (2015) Interoperating Grid Infrastructures with the GridWay Metascheduler. Concurrency Computation, 27 (9). pp. 2278-2290. ISSN 1532-0626
Cavalli, Ana R. and Higashino, Teruo and 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
Huedo Cuesta, Eduardo and Rubio-Montero, A. J. and Castejón, F. and Mayo-García, R. (2015) GWpilot: Enabling multi-level scheduling in distributed infrastructures with GridWay and pilot jobs. Future Generation Computer Systems, 45 . pp. 25-52. ISSN 0167-739X
Mejía Roa, Edgardo and Tabas Madrid, Daniel and Setoain Rodrigo, Javier and García Sánchez, Carlos and Tirado Fernández, Francisco and Pascual Montano, Alberto (2015) NMF-mGPU: non-negative matrix factorization on multi-GPU systems. BMC Bioinformatics, 16 . ISSN 1471-2105
Rabanal Basalo, Pablo Manuel and Rodríguez Laguna, Ismael and Rubio Díez, Fernando (2014) Parallelizing Particle Swarm Optimization in a Functional Programming Environment. Algorithms, 7 (4). pp. 554-581. ISSN 1999-4893
Huedo Cuesta, Eduardo and Delgado Peris, Antonio and Hernández, José M. (2014) Distributed scheduling and data sharing in late-binding overlays. Proceedings of the 2014 International Conference on High Performance Computing and Simulation (690367). pp. 129-136.
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
Ivorra, Benjamin and Mohammadi, Bijan and 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. and Martín Martín, Enrique and 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 and Risco Martín, José Luis and Zapater Sancho, Marina and Moya, José Manuel and Ayala Rodrigo, José Luis and 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 and Kinnunen, Päivi and Pareja Flores, Cristóbal and 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 and Botella Juan, Guillermo and García Sánchez, Carlos and Poljacek, Sanja Mahovic and Prieto Matías, Manuel and 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 and Botella Juan, Guillermo and Ayuso Márquez, Fermín and González Rodríguez, Diego and Prieto Matías, Manuel and 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 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
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
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). pp. 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 . pp. 25-30. ISSN 1307-6884
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
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
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
Piñuel Moreno, Luis and Moreno-Vozmediano, Rafael and 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
Martín, Óscar and Verdejo López, Alberto and Martí Oliet, Narciso (2018) Alternating bit protocol as an example of compositional system specification. [ ] (Unpublished)
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. [ Cuadernos de Trabajo de la Escuela Universitaria de Estadística; nº 8, ]
Bello Rivas, Juan Manuel and Harmand, Jerome and Ivorra, Benjamin and 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. 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
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
Castro, F. and Chaver Martínez, Daniel Ángel and Piñuel Moreno, Luis and Prieto Matías, Manuel and Huang, M. C. and 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 and Tenllado van der Reijden, Christian and Piñuel Moreno, Luis and 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 and Tenllado van der Reijden, Christian and Piñuel Moreno, Luis and Prieto Matías, Manuel and 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 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
Tenllado van der Reijden, Christian and Piñuel Moreno, Luis (2020) Estructura de Computadores. Manual de Laboratorio. Manual. Autoeditado. (Unpublished)
Tenllado van der Reijden, Christian and Piñuel Moreno, Luis (2014) Fundamentos de Computadores. Manual de Laboratorio. Manual. Autoeditado. (Unpublished)
Guichaoua, Corentin and Besada Portas, José Luis and Bisesi, Erica and Andreatta, Moreno (2021) The Tonnetz Environment: A Web Platform for Computer-aided “Mathemusical” Learning and Research (versión preprint). In 13th International Conference on Computer Supported Education, 23-25 Abril, Online. (In Press)
Albert Albiol, Elvira and Genaim, Samir and 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 and Arenas Sánchez, Puri and Correas Fernández, Jesús and Genaim, Samir and Gómez Zamalloa, Miguel and Martín Martín, Enrique and Puebla, Germán and 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. (Submitted)
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. (Submitted)
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. (Submitted)
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. (Submitted)
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. (Submitted)
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. (Submitted)
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. (Submitted)
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. (Submitted)
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. (Submitted)
Rodrı́guez Galiano, David (2021) Esteganografía sobre el estándar H.265/HEVC en el ámbito ferroviario. [Thesis]
Salinas Hilburg, Juan Carlos (2021) Rapid runtime power and performance profiling of large scale applications. [Thesis]
Doménech Arellano, Jesús Javier (2021) Análisis de terminación de programas con controles de flujo complejos. [Thesis]
Isabel Márquez, Miguel (2021) Verificacion de Sistemas Concurrentes: optimalidad, Escalabilidad y Aplicabilidad. [Thesis]
Rey Villaverde, Andrés Antón (2020) User-defined execution relaxations for enhanced programmability in high-performance parallel computing. [Thesis]
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. [Thesis]
Martos Salgado, María Rosa (2016) Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias. [Thesis]
Martínez Torres, Rafael (2016) Semántica de simulación para relaciones de conformidad. [Thesis]
Estévez Martín, Sonia (2015) Cooperación entre dominios de restricciones y estrategias de cooperación en el contexto CFLP. [Thesis]
Delgado Peris, Antonio (2015) Microplanificación de asignación tardía y almacenamiento temporal distribuidos para flujos de trabajo intensivos en datos. [Thesis]
Castiñeiras Pérez, Ignacio (2015) Improving the solving efficiency of TOY (FD) and its application to real-life problems. [Thesis]
Vázquez Blanco, Constantino (2013) Arquitectura para el aprovisionamiento dinámico de recursos computacionales. [Thesis]
Martín Martín, Enrique (2013) Sistemas de tipos en lenguajes lógico-funcionales. [Thesis]
Romero Díaz, Carlos Alberto (2011) Programación declarativa cualificada con restricciones. [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. [Thesis]
Vázquez Poletti, José Luis (2009) Ejecución eficiente de flujos de trabajos computacionales en entornos de Grid. [Thesis]
Hidalgo Herrero, Mercedes (2005) Semánticas formales para un lenguaje funcional paralelo. [Thesis]
Segura Díaz, Clara María (2004) Análisis de programas en lenguajes funcionales paralelos. [Thesis]
Rubio Díez, Fernando (2004) Programación funcional paralela eficiente en Eden. [Thesis]
Díaz Agudo, María Belén (2004) Una aproximación ontológica al desarrollo de sistemas de razonamiento basado en casos. [Thesis]
Araujo Serna, Lourdes (2002) Procesador paralelo de Prolog sobre una arquitectura de memoria distribuida. [Thesis]
Crespo Cepeda, Rodrigo (2018) Cloud PIE: Proactive and Intelligent Ecosystem. [Trabajo Fin de Máster]
Zamorano Ruiz, Juan (2018) Comparativa y análisis de algoritmos de aprendizaje automático para la predicción del tipo predominante de cubierta arbórea. [Trabajo Fin de Máster]
Suárez Jiménez, Fernando (2018) Generación automática de puertos en Erlang. [Trabajo Fin de Máster]
Suárez García, Gorka (2017) Comprobación de modelos en sistemas concurrentes a partir de su semántica en Maude. [Trabajo Fin de Máster]
Hernández García, Mariano (2017) Creación de un clúster de computación científica basado en FPGAs de bajo coste y consumo. [Trabajo Fin de Máster]
Isabel Márquez, Miguel (2017) Deadlock-Guided Testing in CLP. [Trabajo Fin de Máster]
Muñoz Gómez, Rubén (2017) Depurador declarativo sobre Eclipse para programadores Erlang 2.0. [Trabajo Fin de Máster]
Hernández Bécares, Jennifer (2017) Feedback en Jueces Online. [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]
Recio García, Juan Antonio and Caro Martínez, Marta and Díaz Agudo, Maria Belén and Jiménez Díaz, Guillermo (2021) Entorno virtual para el uso de videojuegos como estrategia de enseñanza activa y método de evaluación. [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]
Gómez Martín, Marco Antonio and Segura Díaz, Clara María and Ortega Mallén, Yolanda and Verdejo López, José Alberto and Martí Oliet, Narciso and Gómez Martín, Pedro Pablo and Carballa Corredoira, Boris and García Baameiro, Daniel and Martín Sánchez, Oscar and Domenech Arellano, Jesús Javier and Costero Valero, Luis María and Jacynycz García, Viktor Shamel (2019) La gamificación en la educación universitaria: aplicación a asignaturas de programación. [Proyecto de Innovación Docente]
Gómez Martín, Marco Antonio and Gómez Martín, Pedro Pablo and Verdejo López, José Alberto and Pita Andreu, María Isabel and Segura Díaz, Clara María and Gómez Albarrán, Mª De Las Mercedes and Hernández Bécares, Jénnifer and Domenech Arellano, Jesús Javier and Costero Valero, Luís María and Doménech Arellano, Pedro Pablo (2019) Añadiendo mecanismos de ayuda en un juez on-line automático para soporte a mentorías académicas. [Proyecto de Innovación Docente]
Martín Martín, Enrique and Montenegro Montes, Manuel and Riesco Rodríguez, Adrián and Sánchez, Jaime and Carmona Ruber, Jorge and Tamarit, Salvador and López Fraguas, Francisco Javier and Torre Romero, Raúl and Alcobendas Pastor, José Antonio (2018) Tutoriales interactivos para el estudio de la programación: impacto en el aprendizaje. [Proyecto de Innovación Docente]
Correas Fernández, Jesús and Román Díez, Guillermo and Albert Albiol, Elvira María and Arenas Sánchez, Purificación and Genaim, Samir and Gómez-Zamalloa Gil, Miguel (2017) Diseño de una metodología para la implantación de herramientas automáticas de corrección de estilo y buenas prácticas en asignaturas de programación. [Proyecto de Innovación Docente]
Martín Martín, Enrique and Riesco Rodríguez, Adrián and Sánchez Hernández, Jaime and Gregorio Rodríguez, Carlos and López Fraguas, Francisco Javier and Tamarit, Salvador and Congosto Sandoval, Carlos and Cartula Torrecilla, Rafael (2017) Implementación de un sistema para el aprendizaje de lenguajes de programación mediante tutoriales interactivos. [Proyecto de Innovación Docente]
Moreno Ger, Pablo and Hervás Ballesteros, Raquel and Francisco Gilmartín, Virginia and Bautista Blasco, Susana and Martínez Ortiz, Iván and Sánchez Ruiz-Granados, Antonio (2017) Caramelos con sabor a nota: apoyo digital para nuevos modelos de seguimiento de la participación en clase. [Proyecto de Innovación Docente]
Montenegro Montes, Manuel and Segura Díaz, Clara María and Rosa Velardo, Fernando and Saavedra López, Santiago and Hernando Serrano, Laura and Rossetto Bermejo, Daniel (2017) Validación en línea de aspectos formales y corrección asistida de ejercicios en asignaturas con evaluación continua. [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 and Montenegro Montes, Manuel and Riesco Rodríguez, Adrián and Rosa Velardo, Fernando and Tamarit Muñoz, Salvador (2015) Estudio de viabilidad de un entorno de aprendizaje colaborativo de lenguajes de programación. [Proyecto de Innovación Docente]
López Barquilla, Natalia and Carrero Aranda, Jonathan and Hidalgo Herrero, Mercedes and Rabanal Basalo, Pablo Manuel and Rodríguez Laguna, Ismael and Rubio Diez, Fernando Inteligencia colectiva aplicada al aula: Realimentación docente a través de preguntas con dificultades específicas diseñadas por alumnos. [Proyecto de Innovación Docente]
Moreno Ger, Pablo and Hervás Ballesteros, Raquel and Francisco Gilmartín, Virginia and Bautista Blasco, Susana and 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]
Gómez-Zamalloa Gil, Miguel and Albert Albiol, Elvira and Arenas Sánchez, Purificación and Correas Fernández, Jesús and Genaim, Samir and Puebla Sánchez, Germán and Román Díez, Guillermo and Peces, Raquel and Giraldo, Carlos Gabriel and 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]
Díaz Agudo, Mª Belen and 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]
Hernández Yáñez, Luis (2021) Fundamentos de la programación I: Docencia del curso 2020-2021 (Grupos G e I). [Teaching Resource] (Unpublished)
Hernández Yáñez, Luis (2020) Fundamentos de la programación I: Docencia del curso 2019-2020 (Grupo I). [Teaching Resource] (Unpublished)
Lahoz Beltrá, Rafael (2014) Métodos en Biomatemática II: Ecuaciones Diferenciales con wxMaxima. [Teaching Resource] (Submitted)
Moreno Morera, Carlos (2020) Momentos geométricos y machine learning aplicados al estudio de datos oftalmológicos. [Trabajo Fin de Grado]
Díaz Topete, Blanca (2020) 21st Century Skills: Integrating Digital Competence in the Spanish EFL primary education curriculum. [Trabajo Fin de Grado]
Dabbagh Escalante, Kurosh and Gómez-Arevalillo González, Álvaro (2018) Cypher as a Service. [Trabajo Fin de Grado]
Terceño Ortega, Alberto (2017) Análisis de un modelo predictivo basado en Google Cloud y TensorFlow. [Trabajo Fin de Grado]
García Castillo, Pedro (2017) Case Generator : implementación de una herramienta de pruebas basadas en asertos para una plataforma de verificación. [Trabajo Fin de Grado]
Caballero Rodríguez-Maribona, Óscar and Pastor Suárez, Irene and Rojo del Prado, Fátima (2017) Control de acceso inteligente a recursos compartidos de grandes instituciones. [Trabajo Fin de Grado]
Ignaczewski, Bartosz (2017) Deployment and migration of business services in the cloud. [Trabajo Fin de Grado]
Merayo Corcoba, Alicia (2017) Detección estática de propiedades de ejecución de programas concurrentes con locks utilizando SACO. [Trabajo Fin de Grado]
Drăghici, Sorin (2017) Diseño de filtros y su aceleración para el estándar H.265/HEVC. [Trabajo Fin de Grado]
Martín Ventura, Gwydion José (2017) Herramienta de creación de problemas para jueces en línea. [Trabajo Fin de Grado]
García de Ceca Elejoste, Eric (2017) Implementación de medallas sociales en jueces en línea. [Trabajo Fin de Grado]
Delgado Fernández, Víctor and Fernández Bravo, Carlos and Isabel Torija, Álvaro (2017) Implementación de un gestor de bases de datos orientado a objetos. [Trabajo Fin de Grado]
Cardoso Sánchez, Asier (2017) Integración de ERPs para finanzas y RRHH en entornos cloud. [Trabajo Fin de Grado]
Lorente Escobar, Borja (2017) Intérprete y depurador Grace. [Trabajo Fin de Grado]
Montiel Cano, Juan José and Semedi Barranco, Sergio Alfonso and Montero Monte, Alba María and Martínez Jimenez, Adrian (2017) Mutokamwoyo Cloud. [Trabajo Fin de Grado]
Malagón Roldán, Héctor and Martín Rueda, Alejandro (2017) OWL: offensive wireless listener. [Trabajo Fin de Grado]
Bermejo García, Álvaro (2017) PERSIMMON: a visual dataflow language for machine learning. [Trabajo Fin de Grado]
Díaz Morgado, David and 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 and Orueta Moreno, Carlos (2016) Aceleración de algoritmos para imágenes hiperespectrales con OpenCL. [Trabajo Fin de Grado]
Holubanský, Jakub and 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 and Galisteo Fernández, Virginia and Martín Seijas, Alejandro and 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 and Sánchez Platero, Francisco Javier and 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 and 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 and 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 and El Yamri El Khatibi, Meriem and Carrera García, Juan Manuel (2015) CtOS Enabler. [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]
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]
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 and Lorente Sánchez, Alberto and 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 and Madrona Martini, José Ángel and 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]
Ladrón de Guevara Cano, Alejandro and Sotelo Souto, Yamandú Leandro and Maldonado Lenis, Miguel Alexander (2015) Aceleración de aplicaciones web con WebCL. [Coursework] (Unpublished)
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. [Coursework] (Unpublished)
Baños Rodríguez, Sergio and González Vicente, Alberto and Moragrega Sánchez, Alba (2015) Personal Anonycloud. [Coursework] (Unpublished)
Arratia Mamani, Juan and Pareja García, Arturo and Restrepo Klinge, Tomás (2014) CloudMiner. [Coursework] (Unpublished)
Bouza Cubo, Eduardo and González Marcos, Daniel and Pérez Barrio, Jorge (2014) Estrategias de paralelización de heurísticas para el juego de ajedrez. [Coursework] (Unpublished)
Bueno Cavero, Nícolas Paolo and Gómez Edo, Javier (2014) ProsymbABS: perfilador simbólico para objetos concurrentes. [Coursework] (Unpublished)
Barrios Hernández, Luis and Fernández Hernández, Adrián and Guayerbas Martín, Samuel (2013) CygnusCloud : provisión de puestos de laboratorio virtuales bajo demanda. [Coursework] (Unpublished)
Gordo Torres, Roberto and Gutiérrez Montes, Santiago and Rodríguez Díaz, Pedro Antonio (2013) Sistema concurrente de detección de intrusiones con correlación de alertas en entornos distribuidos. [Coursework] (Unpublished)
Baltá Camejo, Ailyn and Cayo Ventura, César and Bachrachas Peterburg, Javier (2013) SmartCloud:gestión eficiente de recursos computacionales de la Administración Pública. [Coursework] (Unpublished)
Tarascón Quintas, Eduardo and 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. [Coursework] (Unpublished)
Escoms Alonso, Adrián and Espinar Pina, Isabel and Rodrigo Ortiz, Esther (2012) Constructor: plataforma como servicio en la nube para startups. [Coursework] (Unpublished)
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)
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)
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)
Almazán Navajo, Francisco Javier and Castilla Rufo, Sergio and Espino Sanz, Mario (2012) Formularia. [Coursework] (Unpublished)
Pozuelo Fernández, Gloria Esther and Álvarez Obeso, Francisco Javier (2012) Juegos accesibles para ciegos en plataformas móviles. [Coursework] (Unpublished)
Miguel Novaldos, Sergio, de and Expósito Romero, Daniel and Francisco Rus, Älvaro, de (2012) Routers Virtuales para Aplicaciones Cloud. [Coursework] (Unpublished)
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)
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)
![[up]](/style/images/multi_up.png)
Up a level
