1
Publicado 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Ligazón do recurso
Electrónico eBook
2
Publicado 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Ligazón do recurso
Electrónico eBook
3
Publicado 2010
Table of Contents: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Ligazón do recurso
Electrónico eBook
4
Publicado 2010
Table of Contents: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Ligazón do recurso
Electrónico eBook
5
Publicado 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Ligazón do recurso
Electrónico eBook
6
Publicado 2010
Table of Contents: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Ligazón do recurso
Electrónico eBook
7
por Karrenberg, Ralf., Karrenberg, Ralf.
Publicado 2015
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Ligazón do recurso
Electrónico eBook
8
Publicado 2010
Table of Contents: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Ligazón do recurso
Electrónico eBook
9
Publicado 2008
Table of Contents: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Ligazón do recurso
Electrónico eBook
10
Publicado 2010
Table of Contents: ... -- Approximate Lasserre Integrality Gap for Unique Games -- Exploiting Concavity in Bimatrix Games: New...
Ligazón do recurso
Electrónico eBook
11
Publicado 2005
Table of Contents: ... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...
Ligazón do recurso
Electrónico eBook
12
Publicado 2005
Table of Contents: ... Equilibrium Prices: Does Theory Meet Practice? -- Efficient Exact Algorithms on Planar Graphs: Exploiting...
Ligazón do recurso
Electrónico eBook
13
Publicado 2008
Table of Contents: ...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...
Ligazón do recurso
Electrónico eBook
14
Publicado 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Ligazón do recurso
Electrónico eBook
15
Publicado 2010
Table of Contents: ...Plenary -- Computational Discrete Geometry -- Exploiting Structured Sparsity in Large Scale...
Ligazón do recurso
Electrónico eBook
16
Publicado 2007
Table of Contents: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
Ligazón do recurso
Electrónico eBook
17
Publicado 2005
Table of Contents: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
Ligazón do recurso
Electrónico eBook
18
Publicado 2013
Table of Contents: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
Ligazón do recurso
Electrónico eBook
19
Publicado 2008
Table of Contents: ... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...
Ligazón do recurso
Electrónico eBook
20
Publicado 2008
Table of Contents: ... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...
Ligazón do recurso
Electrónico eBook