Diego Cazorla

Publication Activity (10 Years)

Years Active: 2000-2020
Publications (10 Years): 6

Top Topics

Similarity Search

Cloud Computing

Top Venues

J. Supercomput.

Publications

Raúl Moreno, Enrique Arias, Diego Cazorla, Juan José Pardo, Francisco J. Tapiador
Seeking the best Weather Research and Forecasting model performance: an empirical score approach. J. Supercomput. 76 (12) (2020)
Raúl Moreno, Enrique Arias, Diego Cazorla, Juan José Pardo, Andrés Navarro, Tomás Rojo, Francisco J. Tapiador
Analysis of a New MPI Process Distribution for the Weather Research and Forecasting (WRF) Model. Sci. Program. 2020 (2020)
Francisco J. Tapiador, Raúl Moreno, Andrés Navarro, Alfonso Jiménez-Alcázar, Enrique Arias, Diego Cazorla
Variability of Microwave Scattering in a Stochastic Ensemble of Measured Rain Drops. Remote. Sens. 10 (6) (2018)
Roberto Uribe Paredes, Enrique Arias, Diego Cazorla, José L. Sánchez
An efficiency study of a pivot-based algorithm for similarity search on a heterogeneous platform. J. Supercomput. 73 (1) (2017)
Fernando López Pelayo, Fernando Cuartero Gómez, Diego Cazorla, Pedro Valero-Lara, Mercedes G. Merayo
Heuristics for ROSA's LTS Searching. IWANN (2) (2017)
M. Carmen Ruiz, Diego Cazorla, Diego Pérez Leándrez, Javier Conejero
Formal performance evaluation of the Map/Reduce framework within cloud computing. J. Supercomput. 72 (8) (2016)
M. Carmen Ruiz, Javier L. Calleja, Diego Cazorla
Petri Nets Formalization of Map/Reduce Paradigm to Optimise the Performance-Cost Tradeoff. TrustCom/BigDataSE/ISPA (3) (2015)
Roberto Uribe Paredes, Diego Cazorla, Enrique Arias, José L. Sánchez
Towards an efficient static scheduling scheme for delivering queries to heterogeneous clusters in the similarity search problem. J. Supercomput. 70 (2) (2014)
Joaquín Tárraga, Vicente Arnau, Héctor Martínez, Raul Moreno, Diego Cazorla, José Salavert Torres, Ignacio Blanquer Espert, Joaquín Dopazo, Ignacio Medina
Acceleration of short and long DNA read mapping without loss of accuracy using suffix array. Bioinform. 30 (23) (2014)
M. Carmen Ruiz, Diego Pérez Leándrez, Juan José Pardo, Diego Cazorla
Finding the Suitable Number of Resources to Maximize System Throughput. WorldCIST (2013)
Roberto Uribe Paredes, Enrique Arias, José L. Sánchez, Diego Cazorla, Pedro Valero-Lara
Improving the Performance for the Range Search on Metric Spaces Using a Multi-GPU Platform. DEXA (2) (2012)
Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla
Looking for a Cheaper ROSA. IWANN (2) (2011)
Roberto Uribe Paredes, Pedro Valero-Lara, Enrique Arias, José L. Sánchez, Diego Cazorla
Similarity search implementations for multi-core and many-core processors. HPCS (2011)
Pedro Valero-Lara, José L. Sánchez, Diego Cazorla, Enrique Arias
A GPU-based implementation of the MRF algorithm in ITK package. J. Supercomput. 58 (3) (2011)
Roberto Uribe Paredes, Pedro Valero-Lara, Enrique Arias, José L. Sánchez, Diego Cazorla
A GPU-Based Implementation for Range Queries on Spaghettis Data Structure. ICCSA (1) (2011)
Diego Pérez Leándrez, M. Carmen Ruiz, Juan José Pardo, Diego Cazorla
BAL Tool in Flexible Manufacturing Systems. AMAST (2010)
Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero
Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK. Telecommun. Syst. 40 (3-4) (2009)
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda Macià
Improving performance in flexible manufacturing systems. J. Log. Algebraic Methods Program. 78 (4) (2009)
Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan José Pardo
Modelling secure wireless sensor networks routing protocols with timed automata. PM2HW2N (2008)
Llanos Tobarra, Diego Cazorla, Juan José Pardo, Fernando Cuartero
Formal Verification of the Secure Sockets Layer Protocol. ICEIS (3-2) (2008)
Llanos Tobarra, Diego Cazorla, Fernando Cuartero
Formal Analysis of Sensor Network Encryption Protocol (SNEP). MASS (2007)
Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero
Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP. WSAN (2007)
Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz
Analysis of Web Services Secure Conversation with Formal Methods. ICIW (2007)
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
Analysis of the SET e-commerce protocol using a true concurrency process algebra. SAC (2006)
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra. CIMCA/IAWTIC (2006)
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
Process Algebra Specification of Flexible Manufacturing Systems. SYNASC (2006)
Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz
Application of Formal Methods to the Analysis of Web Services Security. EPEW/WS-FM (2005)
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol. SYNASC (2005)
Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero
Introducing the Iteration in sPBC. FORTE (2004)
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià
A Bounded True Concurrency Process Algebra for Performance Evaluation. FORTE Workshops (2004)
Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla
Analysis of the MPEG-2 Encoding Algorithm with ROSA1. Electron. Notes Theor. Comput. Sci. 80 (2003)
Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo, Juan José Pardo
Algebraic theory of probabilistic and nondeterministic processes. J. Log. Algebraic Methods Program. 55 (1-2) (2003)
Valentín Valero Ruiz, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla
Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets. Electron. Notes Theor. Comput. Sci. 66 (2) (2002)
Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
A process algebra for probabilistic and nondeterministic processes. Inf. Process. Lett. 80 (1) (2001)
Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla
Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. APSEC (2001)
Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla
An example of performance evaluation by using the stochastic process algebra: ROSA. RTCSA (2000)
Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
A Denotational Model for Probabilistic and Nondeterministic Processes. ICDCS Workshop on Distributed System Validation and Verification (2000)