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