Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Marques, Hendrio
2  Ergebnisse:
Personensuche X
?
1

Verifying CUDA programs using SMT-based context-bounded mod..:

, In: Proceedings of the 31st Annual ACM Symposium on Applied Computing,
Pereira, Phillipe ; Albuquerque, Higo ; Marques, Hendrio... - p. 1648-1653 , 2016
Link: https://dl.acm.org/doi/1..
 
?
2

SMT‐based context‐bounded model checking for CUDA programs:

Pereira, Phillipe ; Albuquerque, Higo ; da Silva, Isabela...
Concurrency and Computation: Practice and Experience.  29 (2016)  22 - p. , 2016
Link: https://doi.org/10.1002/..
 
1-2