1
Publicado 2015
Table of Contents: ... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...
Ligazón do recurso
Electrónico eBook
2
Publicado 2015
Table of Contents: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
Ligazón do recurso
Electrónico eBook
3
Publicado 2012
Table of Contents: ... for Multivariate Time Series Prediction -- A Framework of a Route Optimization Scheme for Nested Mobile Network...
Ligazón do recurso
Electrónico eBook