Manuel Capel Tuñón

• Artículos de revistas (9)
• Colaboraciones en obras colectivas (11)
• Libros (3)
• Tesis dirigidas (4)

• Artículos de revistas

  • Seleccionado

    Implementación de la técnica del Pipeline como CPAN. Uso, utilidad y rendimiento

    Mario Rossainz López, Manuel Capel Tuñón, Odón Carrasco Limón, Fernando Hernández Polo, Bárbara Sánchez Rinza

    Annals of Multicore and GPU Programming: AMGP, ISSN 2341-3158, Vol. 4, Nº. 1, 2017, págs. 9-22

    • Resumen
    • Texto completo
    
  • Seleccionado

    Implementation of the Pipeline Parallel Programming Technique as an HLPC: Usage, Usefulness and Performance

    Mario Rossainz López, Manuel Capel Tuñón, Odón Carrasco Limón, Fernando Hernández Polo, Bárbara Sánchez Rinza

    Annals of Multicore and GPU Programming: AMGP, ISSN 2341-3158, Vol. 4, Nº. 1, 2017, págs. 9-22

    • Resumen
    • Texto completo
    
  • Seleccionado

    A Parallel Model for the Belousov- Zhabotinsky Oscillating Reaction with Python and Java

    Antonio Tomeu Hardasmal , Alberto Salguero Hidalgo , Manuel Capel Tuñón

    Annals of Multicore and GPU Programming: AMGP, ISSN 2341-3158, Vol. 4, Nº. 1, 2017, págs. 37-45

    • Resumen
    • Texto completo
    
  • Seleccionado

    A parallelisation tale of two languages

    Antonio Tomeu Hardasmal , Alberto Salguero Hidalgo , Manuel Capel Tuñón

    Annals of Multicore and GPU Programming: AMGP, ISSN 2341-3158, Vol. 2, Nº. 1, 2015, págs. 81-94

    • Resumen
    • Texto completo
    
  • Seleccionado

    Nivel de triglicéridos como factor de riesgo durante el embarazo: modelado biológico; revisión sistemática

    María José Aguilar Cordero , Laura Baena García, Antonio Manuel Sánchez López, Rafael Guisado Barrilao , Enrique Hermoso Rodríguez, Norma Mur Villar, Manuel Capel Tuñón

    Nutrición hospitalaria: Organo oficial de la Sociedad española de nutrición parenteral y enteral, ISSN-e 1699-5198, ISSN 0212-1611, Vol. 32, Nº. 2 (Agosto 2015), 2015, págs. 517-527

    • Resumen
    
  • Seleccionado

    Parallel Bit-Stream Cipher with Cellular Automata Number 30 in Java

    Antonio Tomeu Hardasmal , Alberto Salguero Hidalgo , Manuel Capel Tuñón

    Annals of Multicore and GPU Programming: AMGP, ISSN 2341-3158, Vol. 1, Nº. 1, 2014, págs. 18-26

    • Resumen
    • Texto completo
    
  • Seleccionado

    Sistema de diálogo hablado basado en VoiceXML para la enseñanza universitaria

    Ramón López-Cózar Delgado , Nieves Abalos Serrano, Antonio López, Manuel Capel Tuñón, José Francisco Quesada Moreno

    IE Comunicaciones: Revista Iberoamericana de Informática Educativa, ISSN-e 1699-4574, Nº. 18 (Julio-Diciembre), 2013, págs. 3-10

    • Resumen
    • Texto completo
    
  • Seleccionado

    Conceptual framework for business processes compositional verification

    Luis E. Mendoza, Manuel Capel Tuñón, María A. Pérez

    Information and software technology, ISSN 0950-5849, Vol. 54, Nº 2, 2012, págs. 149-161

    • Texto completo
    
  • Seleccionado

    Entrevista: "¿Qué opinan los expertos? Formatos y palabras: crear, leer, transmitir"

    Pedro Ruiz Pérez (entrevistado), Domingo Sánchez-Mesa Martínez (entrevistado), Ignacio García Aguilar (entrevistado), Vicente Luis Mora (entrevistado), Manuel Capel Tuñón (entrevistado), Juan González de la Cámara (entrevistado), Igor Pagani (entrevistado), Luis Escobar (entrevistado)

    Impossibilia, ISSN-e 2174-2464, Nº. 1 (Abril), 2011 (Ejemplar dedicado a: Formatos y palabras: crear, leer, transmitir), págs. 40-68

    • Texto completo
    

• Colaboraciones en obras colectivas

  • Seleccionado

    ML models for real-time hybrid systems

    Manuel Capel Tuñón

    XLII Jornadas de Automática: libro de actas, Castellón, 1 a 3 de septiembre de 2021, 2021, ISBN 978-84-9749-804-3, págs. 752-759

    • Resumen
    • Texto completo
    
  • Seleccionado

    Sistema de interacción oral a través de internet para apoyo a la docencia universitaria (PID 13-31)

    Ramón López-Cózar Delgado , Antonio López, Manuel Capel Tuñón, José Francisco Quesada Moreno

    Innovación docente y buenas prácticas en la Universidad de Granada / Luis Jiménez del Barco (dir.) , María del Carmen García Garnica (dir.), 2014, ISBN 978-84-338-5685-2, págs. 125-134

    
  • Seleccionado

    Biblioteca de clases de objetos paralelos para implementar patrones de comunicación usando CPANs

    Mario Rossainz López, Manuel Capel Tuñón

    Actas de las XXIV Jornadas de Paralelismo / coord. por Guillermo Botella, Alberto A. del Barrio García , 2013, ISBN 978-84-695-8330-2, págs. 246-251

    • Resumen
    
  • Seleccionado

    An approach to structured parallel programming based on a composition of parallel objects

    Mario Rossainz López, Manuel Capel Tuñón

    Actas de las XVI Jornadas de Paralelismo. [JP'2005] / coord. por Jornadas de Paralelismo, 2005, ISBN 8497324307, págs. 495-502

    
  • Seleccionado

    FBT (FIL to Büchi automaton translator): herramienta para especificar y verificar sistemas concurrentes mediante fórmulas de intervalos

    Manuel Capel Tuñón, Miguel J. Hornos Barranco

    Concurrencia y sistemas distribuidos: actas de las XI Jornadas de Concurrencia / coord. por Miguel Pérez Francisco, Pablo Boronat Pérez, 2003, ISBN 84-8021-434-1, págs. 221-236

    
  • Seleccionado

    Verificación automatizada eficiente de sistemas concurrentes especificando sus propiedades con fórmulas de una lógica de intervalos

    Manuel Capel Tuñón, Miguel J. Hornos Barranco

    JISBD 2001. Jornadas de ingeniería del software y bases de datos: 21 y 23 de noviembre de 2001. Almagro (Ciudad Real) / Arantza Illarramendi Echave (ed. lit.) , Óscar Díaz García (ed. lit.) , Mario G. Piattini Velthuis (ed. lit.) , 2001, ISBN 84-699-6275-2, págs. 375-389

    
  • Seleccionado

    Objetos distribuidos "versus" paso de mensajes como soporte para la representación de abstracciones distribuidas

    F. Martinez, Manuel Capel Tuñón, Víctor Manuel Rivas Santos , José Ramón Balsas Almagro

    Simposio Español de Informática Distribuida: libro de actas. Ourense 25-27 de septiembre de 2000 / Senén Barro (ed. lit.) , José María Busta Rodríguez (ed. lit.), Juan Manuel Corchado Rodríguez (ed. lit.) , Pedro Cuesta Morales (ed. lit.), 2000, ISBN 84-8158-163-1, págs. 513-518

    
  • Seleccionado

    Programación de multicomputadoras basada en objetos distribuidos

    F. Martínez, Manuel Capel Tuñón, P. J. Sánchez, José Ramón Balsas Almagro

    SEID'99: Simposio Español de Informática Distribuida : Santiago de Compostela, 24-26 de febrero de 1999 : actas / coord. por Senén Barro , Universidade de Santiago de Compostela, 1999, ISBN 84-8408-060-9, págs. 87-94

    
  • Seleccionado

    Implementación de una herramienta de especificación y validación para sistemas reactivos

    Miguel J. Hornos Barranco , Manuel Capel Tuñón

    III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic] / Juan Carlos Torres Cantero (dir. congr.) , 1997, ISBN 84-8498-463-X, págs. 21-30

    • Resumen
    
  • Seleccionado

    Propuestas para incorporar reusabilidad en un lenguaje basado en el modelo Occam-CSP

    Francisco Araque Cuenca , Manuel Capel Tuñón, José Miguel Mantas Ruiz , Alberto J. Palma López

    II Jornadas de informática. Actas: Almuñécar (Granada), 15 al 19 de julio 1996 / Buenaventura Clares Rodríguez (dir. congr.) , 1996, ISBN 84-8254-080-7, págs. 565-574

    • Resumen
    
  • Seleccionado

    Construcción de un computador analógico para la enseñanza de la física

    Manuel Capel Tuñón

    Libro-homenaje al profesor Dr. Manuel Vallecillo Avila / coord. por Manuel Capel Margarito, 1985, págs. 33-40

    

• Libros

  • Seleccionado

    Programación concurrente y en tiempo real: Fundamentos y aplicaciones

    Manuel Capel Tuñón

    Ibergarceta, 2022. ISBN 9788417289362

    • Resumen
    
  • Seleccionado

    Actas de las I Jornadas de Programación Paralela Multicore y GPU (PPMG2014): Granada, 6 y 7 de febrero de 2014

    Manuel Capel Tuñón (comp.), Antonio Tomeu Hardasmal (comp.) , Alberto Salguero Hidalgo (comp.)

    Copicentro, 2014. ISBN 978-84-15814-78-8

    
  • Seleccionado

    Actas de las XIII Jornadas de Tiempo Real (JTR 2010): Granada, 4 y 5 de febrero de 2010

    Manuel Capel Tuñón, Juan Antonio Holgado Terriza , Universidad de Granada

    Godel Editorial, 2010. ISBN 978-84-92757-51-0

    

• Tesis dirigidas

  • Seleccionado

    Una contribución a las técnicas avanzadas de verificación de procesos de negocio y sistemas software abiertos

    Luis Eduardo Mendoza Morales

    Tesis doctoral dirigida por Manuel Capel Tuñón (dir. tes.). Universidad de Granada (2011).

    • Resumen
    • Tesis en acceso abierto en: DIGIBUG
    
  • Seleccionado

    Medistam-rt: metodología de diseño y análisis de sistemas de tiempo real

    Kawtar Benghazi Akhlaki

    Tesis doctoral dirigida por Juan Antonio Holgado Terriza (dir. tes.) , Manuel Capel Tuñón (dir. tes.). Universidad de Granada (2009).

    • Resumen
    
  • Seleccionado

    Una metodología de programación basada en composiciones paralelas de alto nivel cpans.

    Mario Rossainz López

    Tesis doctoral dirigida por Manuel Capel Tuñón (dir. tes.). Universidad de Granada (2005).

    • Resumen
    
  • Seleccionado

    Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción tableau para su aplicación en comprobación de modelos on-the-fly

    Miguel J. Hornos Barranco

    Tesis doctoral dirigida por Manuel Capel Tuñón (dir. tes.). Universidad de Granada (2002).

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.