( en | de | ru )

 

Disambiguierung von "Cazorla, Diego"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A GPU-Based Implementation for Range Queries on Spaghettis Data Structure.

, , , , und . ICCSA (1), Volume 6782 von Lecture Notes in Computer Science, Seite 615-629. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Alexander Diego

Jesús Diego Linares

Diego Compagna

Diego Feijóo

Diego Heredia

 

Weitere Publikationen von Autoren mit dem selben Namen

BAL Tool in Flexible Manufacturing Systems., , , und . AMAST, Volume 6486 von Lecture Notes in Computer Science, Seite 209-215. Springer, (2010)Petri Nets Formalization of Map/Reduce Paradigm to Optimise the Performance-Cost Tradeoff., , und . TrustCom/BigDataSE/ISPA (3), Seite 92-99. IEEE, (2015)978-1-4673-7952-6.Seeking the best Weather Research and Forecasting model performance: an empirical score approach., , , , und . J. Supercomput., 76 (12): 9629-9653 (2020)Modelling secure wireless sensor networks routing protocols with timed automata., , , und . PM2HW2N, Seite 51-58. ACM, (2008)Automatic Translation of a Timed Process Algebra into Dynamic State Graphs., , , und . APSEC, Seite 63-70. IEEE Computer Society, (2001)Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP., , , , und . WSAN, Volume 248 von IFIP, Seite 95-106. Springer, (2007)An example of performance evaluation by using the stochastic process algebra: ROSA., , , und . RTCSA, Seite 271-278. IEEE Computer Society, (2000)A Denotational Model for Probabilistic and Nondeterministic Processes., , , und . ICDCS Workshop on Distributed System Validation and Verification, Seite E41-E48. (2000)Formal performance evaluation of the Map/Reduce framework within cloud computing., , , und . J. Supercomput., 72 (8): 3136-3155 (2016)Formal Verification of the Secure Sockets Layer Protocol., , , und . ICEIS (3-2), Seite 246-252. (2008)978-989-8111-38-8.