Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
exploiting functionals » exploring functional, explaining functional, exploring functions
functionals function » function function, functions functional, function dysfunction
programs exploiting » programs evaluating, programs supporting, programs emphasizing
parallel programs » parallel programming
function https » functions https, fiction https
exploiting functionals » exploring functional, explaining functional, exploring functions
functionals function » function function, functions functional, function dysfunction
programs exploiting » programs evaluating, programs supporting, programs emphasizing
parallel programs » parallel programming
function https » functions https, fiction https
1
Published 2010
Table of Contents:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”View full text
Electronic
eBook
7
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... -- Approximate Lasserre Integrality Gap for Unique Games -- Exploiting Concavity in Bimatrix Games: New...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Equilibrium Prices: Does Theory Meet Practice? -- Efficient Exact Algorithms on Planar Graphs: Exploiting...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...Plenary -- Computational Discrete Geometry -- Exploiting Structured Sparsity in Large Scale...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...”View full text
Electronic
eBook