Követés
Fernando Lopez Pelayo
Fernando Lopez Pelayo
Profesor de Algoritmia y Teoría de Autómatas. Universidad de Castilla - La Mancha
E-mail megerősítve itt: uclm.es
Cím
Hivatkozott rá
Hivatkozott rá
Év
Algebraic theory of probabilistic and nondeterministic processes
D Cazorla, F Cuartero, V Valero, FL Pelayo, JJ Pardo
The Journal of Logic and Algebraic Programming 55 (1-2), 57-103, 2003
662003
Automatic verification of the TLS handshake protocol
G Díaz, F Cuartero, V Valero, F Pelayo
Proceedings of the 2004 ACM symposium on Applied computing, 789-794, 2004
452004
Parallel discrete dynamical systems on maxterm and minterm Boolean functions
JA Aledo, S Martínez, FL Pelayo, JC Valverde
Mathematical and Computer Modelling 55 (3), 666-671, 2012
432012
Specification and analysis of the MPEG-2 video encoder with timed-arc Petri nets
V Valero, FL Pelayo, F Cuartero, D Cazorla
Electronic Notes in Theoretical Computer Science 66 (2), 120-131, 2002
192002
RT-UML for modeling real-time web services
M emilia Cambronero, G Diaz, J jose Pardo, V Valero, FL Pelayo
2006 IEEE Services Computing Workshops, 131-139, 2006
182006
A process algebra for probabilistic and nondeterministic processes
D Cazorla, F Cuartero, V Valero, FL Pelayo
Information Processing Letters 80 (1), 15-23, 2001
172001
Many-task computing on many-core architectures
P Valero-Lara, P Nookala, FL Pelayo, J Jansson, S Dimitropoulos, I Raicu
Scalable Computing: Practice and Experience 17 (1), 32-46, 2016
162016
Perspectives on Cognitive Computers and Knowledge Processors
Y Wang, G Fariello, ML Gavrilova, W Kinsner, F Mizoguchi, S Patel, ...
International Journal of Cognitive Informatics and Natural Intelligence …, 2013
162013
Modeling the dynamics of concurrent computing systems
JLG Guirao, FL Pelayo, JC Valverde
Computers & Mathematics with Applications 61 (5), 1402-1406, 2011
162011
Towards a more efficient use of gpus
P Valero, FL Pelayo
2011 International Conference on Computational Science and Its Applications, 3-9, 2011
142011
Analysis of the MPEG-2 encoding algorithm with ROSA
FL Pelayo, F Cuartero, V Valero, D Cazorla
Electronic Notes in Theoretical Computer Science 80, 185-202, 2003
142003
An example of performance evaluation by using the stochastic process algebra: ROSA
FL Pelayo, F Cuartero, V Valero, D Cazorla
Proceedings Seventh International Conference on Real-Time Computing Systems …, 2000
132000
Stopa: A stochastic process algebra for the formal representation of cognitive systems
N Lopez, M Nunez, FL Pelayo
Proceedings of the Third IEEE International Conference on Cognitive …, 2004
112004
Applying timed-arc Petri nets to improve the performance of the MPEG-2 encoding algorithm
FL Pelayo, F Cuartero, V Valero, H Macia, ML Pelayo
10th International Multimedia Modelling Conference, 2004. Proceedings., 49-56, 2004
112004
Analysis in performance and new model for multiple kernels executions on many-core architectures
P Valero-Lara, FL Pelayo
2013 IEEE 12th International Conference on Cognitive Informatics and …, 2013
102013
On skew-product maps with the base having a closed set of periodic points
JLG Guirao, FL Pelayo
International Journal of Computer Mathematics 85 (3-4), 441-445, 2008
102008
Modeling and simulation of the IEEE 802.11 e wireless protocol with hidden nodes using Colored Petri Nets
E Coronado, V Valero, L Orozco-Barbosa, ME Cambronero, FL Pelayo
Software and Systems Modeling, 1-34, 2020
92020
Notes on “Modeling the dynamics of concurrent computing systems”
FL Pelayo, JC Valverde
Computers & Mathematics with Applications 64 (4), 661-663, 2012
92012
A new proposal for the synchronization in sPBC
H Macia, VV Ruiz, F Cuartero, FL Pelayo, O Cuartero, OL Pelayo
In Proc. Third IEEE Int. Conference on Application of Concurrent to System …, 2002
92002
PPNAL: Performance evaluation in an algebraic model for probabilistic an non-deterministic processes
FL Pelayo, F Cuartero, V Valero, D Cazorla
Proceedings of 15th Annual UK Performance Engineering Workshop (UKPEW’99), 1-12, 1999
91999
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20