Complutense University Library

Items where Subject is "Sciences > Computer science > Computer programming"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Creators
Jump to: A | B | C | D | E | F | G | H | L | M | N | P | R | S | T | V
Number of items at this level: 74.

A

Arratia Mamani, Juan and Pareja García, Arturo and Restrepo Klinge, Tomás (2014) CloudMiner. [Coursework] (Unpublished)

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

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

B

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)

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)

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

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)

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)

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]

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

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)

D

Delgado Muñoz, Agustín Daniel (2010) Avances recientes en análisis estáticos de terminación. [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]

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

E

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

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

F

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

G

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)

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. [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]

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. [Thesis]

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

Lahoz Beltra, Rafael (2014) Métodos en Biomatemática II: Ecuaciones Diferenciales con wxMaxima. [Teaching Resource] (Submitted)

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. [Thesis]

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

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

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

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

N

Nobel Antón , Javier (2013) Técnicas de extracción de modelos utilizando gramáticas evolutivas y optimización multiobjetivo. [Trabajo Fin de Máster]

P

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)

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

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

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

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)

R

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

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. [Thesis]

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)

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]

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

S

Santos Benavides, Germán Pablo (2011) Medida borrosa de la fiabilidad de un recurso para entornos Grid. [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]

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. [Thesis]

T

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

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

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)

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]

V

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

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

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]

This list was generated on Mon Nov 24 02:44:48 2014 CET.