1
Опубликовано 2015
Оглавление: ... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2015
Оглавление: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2012
Оглавление: ... for Multivariate Time Series Prediction -- A Framework of a Route Optimization Scheme for Nested Mobile Network...
Полный текст
Электронный ресурс eКнига