1
منشور في 2015
جدول المحتويات: ... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2015
جدول المحتويات: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2012
جدول المحتويات: ... for Multivariate Time Series Prediction -- A Framework of a Route Optimization Scheme for Nested Mobile Network...
احصل على النص الكامل
الكتروني كتاب الكتروني