Información del autor
Documentos disponibles escritos por este autor (8)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Núñez Covarrubias, Alberto ; Pickin, Simon James ; Lavín Puente, Víctor ; Llana Díaz, Luis Fernando ; Bartolomé Sandoval, Ana Isabel ; Cerro Cañizares, Pablo ; Cambronero Piqueras, María Emilia ; Núñez García, Manuel ; Vaca Vargas, Bryan Raúl ; Gómez-Zamalloa Gil, Miguel | 2019-06-19Una parte fundamental de la asignatura PSD es el desarrollo de aplicaciones distribuidas. En concreto, la programación de aplicaciones paralelas utilizando MPI tiene un peso considerable, tanto en la parte práctica, como en la parte teórica de l[...]texto impreso
Núñez Covarrubias, Alberto ; Pickin, Simon James ; Lavín Puente, Víctor ; Llana Díaz, Luis Fernando ; Bartolomé Sandoval, Ana Isabel ; Cerro Cañizares, Pablo ; Cambronero Piqueras, Emilia ; Ricaldi Esquivel, Javier Antonio ; Gómez-Zamalloa Gil, Miguel | 2020-06-25La asignatura Programación de Sistemas Distribuidos (PSD) dedica una parte del temario a las aplicaciones de alto rendimiento y, en particular, a las aplicaciones desarrolladas con MPI. En resumen, estas aplicaciones despliegan en las máquinas f[...]texto impreso
texto impreso
Gómez-Zamalloa Gil, Miguel ; Albert Albiol, Elvira ; Arenas Sánchez, Purificación ; Correas Fernández, Jesús ; Genaim, Samir ; Puebla Sánchez, Germán ; Román Díez, Guillermo ; Peces, Raquel ; Giraldo, Carlos Gabriel ; Antolín, Clara | 2015-02-20El proyecto plantea el desarrollo de una herramienta de depuración simbólica que ayude a los estudiantes de las asignaturas de iniciación a la programación en las facultades de Informática y Estudios Estadísticostexto impreso
texto impreso
El objetivo del proyecto ha sido poder manipular audio digital sin compresión en formato WAV en un entorno gráfico amigable y que permitiera la edición de múltiples pistas al mismo tiempo. Además, el entorno permite la reproducción total o parci[...]texto impreso
Albert Albiol, Elvira ; Arenas Sánchez, Purificación ; Flores Montoya, A. ; Genaim, Samir ; Gómez-Zamalloa Gil, Miguel ; Martín Martín, Enrique ; Puebla, G. ; Román Díez, Guillermo | Springer | 2014We present the main concepts, usage and implementation of SACO, a static analyzer for concurrent objects. Interestingly, SACO is able to infer both liveness(namely termination and resource boundedness) and safety properties (namely deadlock free[...]texto impreso
Gómez-Zamalloa Gil, Miguel | Universidad Complutense de Madrid, Servicio de Publicaciones | 2010-10-26Predecir el comportamiento de los programas antes de su ejecuci´on es cada vez mÁs importante, especialmente teniendo en cuenta que ´estos son cada vez más complejos y son utilizados frecuentemente en situaciones críticas, como operaciones médi[...]
