Obserwuj
manuel i. capel
manuel i. capel
Zweryfikowany adres z ugr.es
Tytuł
Cytowane przez
Cytowane przez
Rok
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
KB Akhlaki, MIC Tuñón, JAH Terriza, LEM Morales
Science of Computer Programming 65 (1), 41-56, 2007
422007
Conceptual framework for business processes compositional verification
LE Mendoza, MI Capel, MA Pérez
Information and Software Technology 54 (2), 149-161, 2012
382012
Parallel memetic algorithm for training recurrent neural networks for the energy efficiency problem
LGB Ruíz, MI Capel, MC Pegalajar
Applied Soft Computing 76, 356-368, 2019
262019
Teaching concurrent and parallel programming by patterns: An interactive ICT approach
MI Capel, AJ Tomeu, AG Salguero
Journal of Parallel and Distributed Computing 105, 42-52, 2017
202017
Nivel de triglicéridos como factor de riesgo durante el embarazo: modelado biológico; revisión sistemática
MJ Aguilar Cordero, L Baena García, AM Sánchez López, ...
Nutrición hospitalaria 32 (2), 517-527, 2015
182015
Parallel cellular automaton tumor growth model
AG Salguero, MI Capel, AJ Tomeu
International Conference on Practical Applications of Computational Biology …, 2018
142018
Speeding up tumor growth simulations using parallel programming and cellular automata
AJ Tomeu, AG Salguero, MI Capel
IEEE Latin America Transactions 14 (11), 4611-4619, 2016
142016
An object-based tool and methodological approach for distributed programming
M Capel, JM Troya
Software Concepts and Tools 15 (4), 177-177, 1994
141994
A parallel solution with GPU technology to predict energy consumption in spatially distributed buildings using evolutionary optimization and artificial neural networks
JRS Iruela, LGB Ruiz, MC Pegalajar, MI Capel
Energy Conversion and Management 207, 112535, 2020
132020
A programming tool for distributed implementation of branch-and-bound algorithms
MI Capel, A Palma
Parallel Computing and Transputer Applications. IOS Press/CIMNE. Barcelona, 1992
121992
Automating the transformation from BPMN models to CSP+ T specifications
MI Capel, LE Mendoza
2012 35th annual IEEE software engineering workshop, 100-109, 2012
112012
Choreography modeling compliance for timed business models
MI Capel, LE Mendoza
Workshop on Enterprise and Organizational Modeling and Simulation, 202-218, 2014
102014
A parallel programming methodology using communication patterns named CPANS or composition of parallel object
M Rossainz, M Capel
Proceedings of 20TH European Modeling & Simulation Symposium, Campora S …, 2008
102008
Compositional model-checking verification of critical systems
LE Mendoza, MI Capel, M Pérez, K Benghazi
International Conference on Enterprise Information Systems, 213-225, 2008
92008
Automatic verification of business process integrity
MI Capel-Tunon, LE Mendoza-Morales, K Benghazi-Akhlaki
International Journal of Simulation and Process Modelling 4 (3-4), 167-182, 2008
92008
A Wireless Networked Embedded System with a New Real-Time Kernel-PaRTiKle
W Mata, A González, R Aquino, A Crespo, I Ripoll, M Capel
Electronics, Robotics and Automotive Mechanics Conference (CERMA 2007), 21-26, 2007
92007
Triglyceride levels as a risk factor during pregnancy; biological modeling; systematic review
AC MJ, SL AM
Nutricion Hospitalaria 32 (2), 517-527, 2015
82015
On-the-fly model checking from interval logic specifications
MJ Hornos, MI Capel
ACM SIGPLAN Notices 37 (12), 108-119, 2002
72002
A tensorflow approach to data analysis for time series forecasting in the energy-efficiency realm
JRS Iruela, LGB Ruiz, MI Capel, MC Pegalajar
Energies 14 (13), 4038, 2021
62021
Dynamic load balancing strategy for parallel tumor growth simulations
AG Salguero, AJ Tomeu-Hardasmal, MI Capel
Journal of Integrative Bioinformatics 16 (1), 2019
62019
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20