Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programing https » programming http, programs https, programming hands
gpu programing » gpu programming, epl programming, graph programming
program gpu » program guru, program ge, program goal
programing https » programming http, programs https, programming hands
gpu programing » gpu programming, epl programming, graph programming
program gpu » program guru, program ge, program goal
1
Published 2008
Table of Contents:
“... SIMD Interpreter for Genetic Programming on GPU Graphics Cards -- Partitioned Incremental Evolution...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“..., Modular, Synthetic Chromosomes -- GPU Parallelization of Algebraic Dynamic Programming -- Parallel Extreme...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...Invited Program -- Embedded Systems as Datacenters -- Larrabee: A Many-Core Intel Architecture...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Reconstruction Using the CUDA-Enabled GPU -- Improving the Performance of Tensor Matrix Vector Multiplication...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“...Keynote Speech -- Programming Challenges for Petascale and Multicore Parallel Systems -- Towards...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“.... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...”View full text
Electronic
eBook
15
Published 2012
Table of Contents:
“... Processing -- Learn to Swing Up and Balance a Real Pole Based on Raw Visual Input Data -- GPU-Based...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Identification in Deep Web Data Integration -- Learning to Detect Web Spam by Genetic Programming -- Semantic...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... -- ELM based ensemble classifier for Gas Sensor Array Drift Dataset -- Hippocampus Atrophy Detection...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Services on Elgg -- On Migration and Consolidation of VMs in Hybrid CPU-GPU Environments -- A Case...”View full text
Electronic
eBook