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: 48.

Artículo

Cavalli, Ana R. y Higashino, Teruo y Núñez García, Manuel (2015) Special issue on formal active and passive testing of distributed and networked systems. annals of telecommunications - annales des télécommunications, 70 (3). pp. 83-84. ISSN 0003-4347

Albert Albiol, Elvira y Correas Fernández, Jesús y Puebla, Germán y Román Díez, Guillermo (2014) Quantified Abstract Configurations of Distributed Systems. Formal Aspects of Computing, 27 (4). pp. 665-699. ISSN 0934-5043

Albert Albiol, Elvira y Arenas Sánchez, Purificación y Genaim, Samir y Puebla, Germán y Román Díez, Guillermo (2014) Conditional Termination of Loops over Heap-Allocated Data. Science of computer programming, 92 (Part A). pp. 2-24. ISSN 0167-6423

Makarov, Valeri A. y Nekorkin, Vladimir I. y Velarde, Manuel G. (2001) Phase resetting, clusters, and waves in a lattice of coupled oscillatory units. International Journal of Bifurcation and Chaos, 11 (1). pp. 109-122. ISSN 0218-1274

Makarov, Valeri A. y Nekorkin, Vladimir I. y Kazantsev, V.B. y Velarde, Manuel G. (1997) Spatial disorder and pattern formation in lattices of coupled bistable elements. Physica D-Nonlinear Phenomena, 100 (3-4 ). p. 330. ISSN 0167-2789

Makarov, Valeri A. y Nekorkin, Vladimir I. y Velarde, Manuel G. (1996) Spatial disorder and waves in a ring chain of bistable oscillators. International Journal of Bifurcation and Chaos, 6 (10). 1845-1858 . ISSN 0218-1274

Sección de libro

Frutos Escrig, David de y Keiren, J.J.A. y Willemse, T.A.C. (2016) Branching bisimulation games. In Formal Techniques for Distributed Objects, Components, and Systems. Lecture Notes in Computer Science (9688). Springer Verlag, pp. 142-157. ISBN 978-331939569-2

Ponencia o Póster de Seminario, Congreso,etc

Albert Albiol, Elvira y Correas Fernández, Jesús y Johnsen, Einar Broch y Román Díez, Guillermo (2015) Parallel Cost Analysis of Distributed Systems. In 22nd International Symposium, SAS 2015, September 9–11, 2015, Saint-Malo, France.

Albert Albiol, Elvira y Correas Fernández, Jesús y Martín Martín, Enrique y Román Díez, Guillermo (2014) Static Inference of Transmission Data Sizes in Distributed Systems. In 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, 8 - 11 October 2014, Imperial, Corfu (Greece).

Albert Albiol, Elvira y Correas Fernández, Jesús y Román Díez, Guillermo (2014) Peak Cost Analysis of Distributed Systems (Author's version). In 21st International Symposium, SAS 2014, September 11-13, 2014, Munich (Germany).

Tesis Doctoral

Bodas Sagi, Diego José (2013) Una técnica para la optimización de los parámetros de indicadores técnicos bursátiles mediante algoritmos evolutivos multi-objetivo. [Tesis Doctoral]

Sáez Alcaide, Juan Carlos (2011) Planificación de procesos en sistemas multicore asimétricos = Thread Scheduling on Asymmetric Multicore Systems. [Tesis Doctoral]

Fernández Conde, Jesús (2011) Un servidor híbrido adaptativo para difusión de informacíon en entornos de comunicación asimétricos con restricciones temporales. [Tesis Doctoral]

García Merayo, Mercedes (2009) Marcos temporales y probabilística para testing formal. [Tesis Doctoral]

Trabajo Fin de Máster

Parrales Bravo, Franklin Ricardo (2015) Support system to help Parkinson's patients read books. [Trabajo Fin de Máster]

Sáez Alcaide, Juan Carlos (2007) Planificación simbiótica en arquitecturas CMP. [Trabajo Fin de Máster]

Trabajo Fin de Grado

Miguez Rein, Rodrigo Claudio y Muñoz Lorenzo, David y Vizcaya Hervella, Alexis (2016) ACCELBIKE. [Trabajo Fin de Grado]

Plaza Estévez, Sheila y Ramírez Lamela, Nerea y Acosta Morales, Carmen (2016) API de servicios web orientados a accesibilidad. [Trabajo Fin de Grado]

Cabrera Sagbay, Luis Javier y El Guennouni, Youness (2016) Herramienta de gestión de contadores hardware para Android. [Trabajo Fin de Grado]

García García, Adrián y Sanz del Río, Álvaro (2016) Soporte de sistema operativo para ahorro de energía en plataformas móviles con procesadores multicore asimétricos. [Trabajo Fin de Grado]

Martínez Gómez, Ana María (2016) System to predict bipolar disorder crises analysing massive data. [Trabajo Fin de Grado]

Ramos Romero, Jaime y Bastarrica Lacalle, Javier (2015) DemoCritics: aplicación Android de participación política con edición colaborativa en tiempo real. [Trabajo Fin de Grado]

Casas Hernán, Jorge y Serrano Juste, Abel (2015) Interfaz de uso de contadores hardware multiarquitectura. [Trabajo Fin de Grado]

Heras Cáceres, Inés y Sierra Liras, Diego (2015) Sistema de detección de malware en Android. [Trabajo Fin de Grado]

Doménech Arellano, Jesús Javier (2015) Técnicas de extracción en tiempo real del tempo de pistas de audio sobre dispositivos móviles. [Trabajo Fin de Grado]

García-Bravo Fernández, Jesús Mariano (2014) Algoritmos de adaptación dinámica del ejercicio para la mejora del rendimiento deportivo. [Trabajo Fin de Grado]

Armero Guerra, María y Sánchez Sánchez, Adrián y Suárez Vaquero, Lorena (2014) Campus UNIZAR. [Trabajo Fin de Grado]

Ruiz Martín, Carlos y Galván Calleja, Paloma (2014) Editor predictivo de mensajes en pictogramas. [Trabajo Fin de Grado]

Feliu Ladaria, Juan Carlos y Gutiérrez Hernández-Gil, Carlos y Olmedo Martín, Jacobo y Pavón Núñez, Javier (2014) HAAP: servicios de hotel en el móvil. [Trabajo Fin de Grado]

Crespo Salazar, Óscar y Jimeno Garrachón, Gorka y Valero Martín, Luis (2014) VNC++, control remoto desde Android. [Trabajo Fin de Grado]

Linde Blázquez, Francisco Javier (2014) glUCModel para iOS. [Trabajo Fin de Grado]

Martín-Calderín de la Villa, Mariana (2013) Sistema de guía por voz en interiores. [Trabajo Fin de Grado]

Crespo Salazar, Óscar y Jimeno Garrachón, Gorka y Valero Martín, Luis (2013) VNC++, control remoto desde Android. [Trabajo Fin de Grado]

Trabajo de curso

Flores Roch, José Alejandro y Todisco López, Lorenzo Alejandro (2015) AceptaElRetoApp App Android aceptaelreto.com. [Trabajo de curso] (No publicado)

Jumbo Macías, Mayra Xiomara y Reyes Porras, Lorena y Villarroel Cuadrado, Eduardo (2015) ForMMulary: Sistema Informático para ayudar a la terapia de mamíferos marinos. [Trabajo de curso] (No publicado)

Escoz Solana, Daniel y Méndez Galán, Samuel y Morgado Alarcón, Pedro (2014) MyConference: sistema informático para la configuración de congresos y eventos profesionales. [Trabajo de curso] (No publicado)

Gutiérrez García-Cuevas, Miguel y Ortiz García, Víctor (2013) ANVM-Mobile App. [Trabajo de curso] (No publicado)

Peñalver Santorio, Alejandro y Pragnell Valentín, Ricardo (2013) ANVM-Virtual Mapping. [Trabajo de curso] (No publicado)

Fernández Vázquez, Carlos y Octavio de Toledo Rodríguez, María del Mar y Sanmartín Sánchez, Antonio (2013) Aplicación móvil para escuelas de educación ambiental del Ayuntamiento de Madrid. [Trabajo de curso] (No publicado)

Bustillo Rebanal, Álvaro y Callejo Luis, Arturo y Martos Gómez, Héctor A. (2013) Camino seguro al cole: aplicación móvil en colaboración con el Ayuntamiento de Madrid. [Trabajo de curso] (No publicado)

Alfaro Orgaz, Ana y Ballesteros Navajas, Sergio y Sesma Salgado, Lidia (2013) Mapa de recursos en la ciudad de Madrid: accesibilidad integral para el ciudadano. [Trabajo de curso] (No publicado)

Aramayo Salgueiro, Joyce Daniela y Piedad Gascueña, Alberto de la y Sánchez Muñoz, Eduardo (2013) Procesado de imágenes para plataformas móviles. [Trabajo de curso] (No publicado)

Abellanas Aguilera, Belén y Ramos Montero, Jaime y Pérez de Ziriza Sánchez,, Luis Ignacio (2013) Recycla.te:una aplicación para reciclar, reutilizar y reducir materiales en Madrid. [Trabajo de curso] (No publicado)

Fernández Vicente, Pablo y De la Hoz Sevilla, Rafael Basilio y Márquez Altuna, Miguel (2012) Low-power wireless ECG monitoring system for Android devices. [Trabajo de curso] (No publicado)

Sanz Candilejo, Daniel Jesús y Saucedo Alonso, Mariam y Torralbo Fernández, María Pilar (2012) Recycla.me : aplicación móvil Android para enseñar a reciclar a niños de 7 a 11 años. [Trabajo de curso] (No publicado)

Bellón Alcarazo , Sergio y Creixel Rojo, Jorge y Serrano Laguna, Ángel (2011) Look!: framework para aplicaciones de realidad aumentada en Android. [Trabajo de curso] (No publicado)

Rioja Berejano, Miriam y Calzada Martínez, Jesús y Rodríguez Martín, Alejandro (2011) Shop & Go: aplicación móvil Android para optimización de rutas en supermercados. [Trabajo de curso] (No publicado)

Fernández Sánchez, Alberto y Arnáiz García, Diego y Martín Esquifino, Javier (2004) Cluster de PlayStation 2. [Trabajo de curso] (No publicado)

Esta lista fue generada el Thu Dec 8 02:15:55 2016 CET.