I agree that this site is using cookies. You can find further informations here.
X
Marques, Hendrio
2  results:
Search for persons X
?
1

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/..
 
?
2

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..
 
1-2