Complutense University Library

Items where Subject is "Sciences > Computer science > Operating systems"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Creators
Number of items at this level: 44.

Article

Cavalli, Ana R. and Higashino, Teruo and 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 and Correas Fernández, Jesús and Puebla, Germán and 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 and Arenas Sánchez, Purificación and Genaim, Samir and Puebla, Germán and 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. and Nekorkin, Vladimir I. and 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. and Nekorkin, Vladimir I. and Kazantsev, V.B. and 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. and Nekorkin, Vladimir I. and 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

Conference or Workshop Item

Albert Albiol, Elvira and Correas Fernández, Jesús and Johnsen, Einar Broch and 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 and Correas Fernández, Jesús and Martín Martín, Enrique and 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 and Correas Fernández, Jesús and 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).

Thesis

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

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

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

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

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 and Muñoz Lorenzo, David and Vizcaya Hervella, Alexis (2016) ACCELBIKE. [Trabajo Fin de Grado]

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

Ramos Romero, Jaime and 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 and Serrano Juste, Abel (2015) Interfaz de uso de contadores hardware multiarquitectura. [Trabajo Fin de Grado]

Heras Cáceres, Inés and 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 and Sánchez Sánchez, Adrián and Suárez Vaquero, Lorena (2014) Campus UNIZAR. [Trabajo Fin de Grado]

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

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

Crespo Salazar, Óscar and Jimeno Garrachón, Gorka and 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 and Jimeno Garrachón, Gorka and Valero Martín, Luis (2013) VNC++, control remoto desde Android. [Trabajo Fin de Grado]

Coursework

Flores Roch, José Alejandro and Todisco López, Lorenzo Alejandro (2015) AceptaElRetoApp App Android aceptaelreto.com. [Coursework] (Unpublished)

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

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

Gutiérrez García-Cuevas, Miguel and Ortiz García, Víctor (2013) ANVM-Mobile App. [Coursework] (Unpublished)

Peñalver Santorio, Alejandro and Pragnell Valentín, Ricardo (2013) ANVM-Virtual Mapping. [Coursework] (Unpublished)

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

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

Alfaro Orgaz, Ana and Ballesteros Navajas, Sergio and Sesma Salgado, Lidia (2013) Mapa de recursos en la ciudad de Madrid: accesibilidad integral para el ciudadano. [Coursework] (Unpublished)

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

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

Fernández Vicente, Pablo and De la Hoz Sevilla, Rafael Basilio and Márquez Altuna, Miguel (2012) Low-power wireless ECG monitoring system for Android devices. [Coursework] (Unpublished)

Sanz Candilejo, Daniel Jesús and Saucedo Alonso, Mariam and 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. [Coursework] (Unpublished)

Bellón Alcarazo , Sergio and Creixel Rojo, Jorge and Serrano Laguna, Ángel (2011) Look!: framework para aplicaciones de realidad aumentada en Android. [Coursework] (Unpublished)

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

Fernández Sánchez, Alberto and Arnáiz García, Diego and Martín Esquifino, Javier (2004) Cluster de PlayStation 2. [Coursework] (Unpublished)

This list was generated on Mon Jul 25 03:03:04 2016 CEST.