1
Published 2008
Table of Contents: ... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... and Bloat Free GP -- Practical Model of Genetic Programming’s Performance on Rational Symbolic Regression...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
View full text
Electronic eBook
4
by Jordan, Gregory., Jordan, Gregory.
Published 2014
Subjects: ...Computer Appl. in Administrative Data Processing. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...
View full text
Electronic eBook
6
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Graph Isomorphism using Parameterized Matching -- Suffix Array of Alignment: A Practical Index...
View full text
Electronic eBook
8
Table of Contents: ...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...: Open Problems in Theory and Practice -- Regret Minimization and Job Scheduling -- Lessons in Software...
View full text
Electronic eBook
10
by Havard, Tim M., Havard, Tim M.
Published 2014
Subjects: ...Computer Applications. https://scigraph.springernature.com/ontologies/product-market-codes/I23001...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Therapy for preschool children with conduct problems -- Parent Management Programs for Children...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
View full text
Electronic eBook
15
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
16
Published 2007
Table of Contents: ... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ...BORM-II and UML as accessibility process in knowledge and business modelling -- Planning-Context...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... for Tera-Scale Multi-core Microprocessors -- Process Variability and Degradation: New Frontier...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...
View full text
Electronic eBook