Publicaciones en las que colabora con MANUEL ISIDORO CAPEL TUÑÓN (15)

2024

  1. A Distributed Particle Swarm Optimization Algorithm Based on Apache Spark for Asynchronous Parallel Training of Deep Neural Networks

    ACM International Conference Proceeding Series

  2. Parallel PSO for Efficient Neural Network Training Using GPGPU and Apache Spark in Edge Computing Sets

    Algorithms, Vol. 17, Núm. 9

2010

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

    Godel Editorial

2007

  1. A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models

    Science of Computer Programming, Vol. 65, Núm. 1, pp. 41-56

  2. An interpretation of behavioral consistency of UML-RT diagrams in terms of CSP+T

    Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007

  3. Java-based adaptable middleware platform for virtual instrumentation

    Proceedings of the 2007 IEEE International Conference on Virtual Environments, Human-Computer Interfaces, and Measurement Systems, VECIMS 2007

  4. Towards UML-RT behavioural consistency

    ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS

  5. Towards uml-rt behavioural consistency

    ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings

2006

  1. CSPJade: Architectural driven development of complex embedded system software using a CSP paradigm based generation tool code

    Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006

  2. Design of real-time systems by systematic transformation of UML/RT models into simple timed process algebra system specifications

    ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings

  3. Design of real-time systems by systematic transformation of UML/RT models into simple timed process algebra system specifications

    ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS

  4. Formal specification of real-time systems by transformation of UML-RT design models

    Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006

  5. Java-based adaptable middleware platform for virtual instrumentation

    2007 IEEE SYMPOSIUM ON VIRTUAL ENVIRONMENTS, HUMAN-COMPUTER INTERFACES AND MEASUREMENT SYSTEMS

2005

  1. An integration scheme for CPN and process algebra applied to a manufacturing industry case

    Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005

  2. Transforming SA/RT graphical specifications into CSP+T Formalism: Obtaining a formal specification from semi-formal SA/RT essential models

    ICEIS 2005 - Proceedings of the 7th International Conference on Enterprise Information Systems