Titel

Merkliste
1 Ergebnisse

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/10.1145/2851613.2851830

RT 
T1 <cTitle>Proceedings of the 31st Annual ACM Symposium on Applied Computing</cTitle>: T1 <Title>Verifying CUDA programs using SMT-based context-bounded model checking</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-2851830&Exemplar=1&LAN=DE
				
A1 Pereira, Phillipe
A1 Albuquerque, Higo
A1 Marques, Hendrio
A1 Silva, Isabela
A1 Carvalho, Celso
A1 Cordeiro, Lucas
A1 Santos, Vanessa
A1 Ferreira, Ricardo
PB ACM
YR 2016
K1 CUDA programs
K1 GPU kernels
K1 MPOR
K1 symbolic and explicit model checking
K1 Software and its engineering
K1 Software organization and properties
K1 Software functional properties
K1 Formal methods
K1 Model checking
K1 Computing methodologies
K1 Parallel computing methodologies
K1 Parallel programming languages
K1 Software creation and management
K1 Software verification and validation
K1 Formal software verification
K1 Software verification
SP 1648
OP 1653
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/2851613.2851830
DO https://dl.acm.org/doi/10.1145/2851613.2851830
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)