Követés
Diego Cazorla
Diego Cazorla
Associate professor of Computer Science. University of 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
Formal analysis of sensor network encryption protocol (snep)
L Tobarra, D Cazorla, F Cuartero
2007 IEEE International Conference on Mobile Adhoc and Sensor Systems, 1-6, 2007
442007
Model checking wireless sensor network security protocols: Tinysec+ leap
L Tobarra, D Cazorla, F Cuartero, G Diaz, E Cambronero
IFIP Conference on Wireless Sensor and Actor Networks, 95-106, 2007
362007
Introducing the iteration in sPBC
H Maciá, V Valero, D Cazorla, F Cuartero
International Conference on Formal Techniques for Networked and Distributed …, 2004
322004
Improving performance in flexible manufacturing systems
MC Ruiz, D Cazorla, F Cuartero, H Macia
The Journal of Logic and Algebraic Programming 78 (4), 260-273, 2009
312009
Acceleration of short and long DNA read mapping without loss of accuracy using suffix array
J Tárraga, V Arnau, H Martínez, R Moreno, D Cazorla, J Salavert-Torres, ...
Bioinformatics 30 (23), 3396-3398, 2014
272014
Model checking wireless sensor network security protocols: TinySec+ LEAP+ TinyPK
L Tobarra, D Cazorla, F Cuartero, G Díaz, E Cambronero
Telecommunication Systems 40 (3), 91-99, 2009
272009
Similarity search implementations for multi-core and many-core processors
R Uribe-Paredes, P Valero-Lara, E Arias, JL Sánchez, D Cazorla
2011 International Conference on High Performance Computing & Simulation …, 2011
202011
Application of formal methods to the analysis of web services security
L Tobarra, D Cazorla, F Cuartero, G Diaz
Formal Techniques for Computer Systems and Business Processes, 215-229, 2005
192005
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
A bounded true concurrency process algebra for performance evaluation
MC Ruiz, D Cazorla, F Cuartero, JJ Pardo, H Macia
International Conference on Formal Techniques for Networked and Distributed …, 2004
182004
A gpu-based implementation for range queries on spaghettis data structure
R Uribe-Paredes, P Valero-Lara, E Arias, JL Sánchez, D Cazorla
International Conference on Computational Science and Its Applications, 615-629, 2011
172011
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
Formal performance evaluation of the Map/Reduce framework within cloud computing
MC Ruiz, D Cazorla, D Pérez, J Conejero
The Journal of Supercomputing 72 (8), 3136-3155, 2016
152016
Improving the performance for the range search on metric spaces using a multi-GPU platform
R Uribe-Paredes, E Arias, JL Sánchez, D Cazorla, P Valero-Lara
International Conference on Database and Expert Systems Applications, 442-449, 2012
152012
Analysis of the SET e-commerce protocol using a true concurrency process algebra
MC Ruiz, D Cazorla, F Cuartero, JJ Pardo
Proceedings of the 2006 ACM symposium on Applied computing, 879-886, 2006
142006
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
Petri nets formalization of map/reduce paradigm to optimise the performance-cost tradeoff
MC Ruiz, J Calleja, D Cazorla
2015 IEEE Trustcom/BigDataSE/ISPA 3, 92-99, 2015
132015
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
A comparative study of different metric structures: Thinking on GPU implementations
R Uribe-Paredes, D Cazorla, JL Sánchez, E Arias
The Lecture Notes in Engineering and Computers Sciences: Proccedings of The …, 2012
122012
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20