Pereira, Phillipe
352  results:
Search for persons X
?
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
 
?
3

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

, In: Proceedings of the 31st Annual ACM Symposium on Applied Computing,
 
?
4

Comparison of a Single Perfusion Device and an Internally C..:

Schmidt, Diethard ; Clasen, Stephan ; Boss, Andreas...
Journal of Vascular and Interventional Radiology.  20 (2009)  4 - p. 524-531 , 2009
 
1-15