Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionals function » function function, functions functional, function dysfunction
solver functionals » convex functionals, over functional, order functionals
parallel problem » parallel program, parallel programs, parallel robots
problem solver » problem solving
function https » functions https, fiction https
functionals function » function function, functions functional, function dysfunction
solver functionals » convex functionals, over functional, order functionals
parallel problem » parallel program, parallel programs, parallel robots
problem solver » problem solving
function https » functions https, fiction https
1
Published 2010
Table of Contents:
“...) -- Accelerating Euler Equations Numerical Solver on Graphics Processing Units -- An Improved Parallel MEMS...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... parallel algorithms for unsteady incompressible flows, Jean-Luc Guermond, Peter Minev -- Efficient solvers...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... Problems -- Portfolio with Block Branching for Parallel SAT Solvers -- Parameter Setting with Dynamic...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Performance -- Towards Generic Solver of Combinatorial Optimization Problems with Autonomous Agents in P2P...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... Macro Package Suitable for Drawing Fine -Pictures -- Matlab-Based Problem-Solving Environment...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... -- There Are No CNF Problems -- Best Paper -- Soundness of Inprocessing in Clause Sharing SAT Solvers -- Technical...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... and Stochastic Methods for Modeling Highly Heterogeneous Media Robust Solvers for Symmetric Positive Definite...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... -- vZ - An Optimizing SMT Solver -- dReach: δ-Reachability Analysis for Hybrid Systems -- Uppaal...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“...: Neumann BCs -- Hybrid Laplace and Poisson Solvers. Part IV: Extensions -- A Contact Problem for a...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Flow Solvers -- Parallel Scientific Computing on Loosely Coupled Networks of Computers -- Data...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”View full text
Electronic
eBook