Search alternatives:
function function » function functional, functions functional, function dysfunction
parallel solvers » parallel universe, parallel systems
solvers function » solving function, sole function
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 2013
Table of Contents: ... parallel algorithms for unsteady incompressible flows, Jean-Luc Guermond, Peter Minev -- Efficient solvers...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....
View full text
Electronic eBook
6
Published 2014
Table of Contents: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ...Characteristic Basis Function Method -- Parallelization strategies for the Characteristic Basis...
View full text
Electronic eBook
8
Published 2011
Table of Contents: ... parallel simulation with look up tables applied to the brushless DC motor optimization -- Fast algorithms...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... of Oriented Matroids Using Satisfiability Solvers -- Flexible Object Hierarchies in Polymake -- A Presentation...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...
View full text
Electronic eBook
11
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
12
Published 2010
Table of Contents: ... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... Problems -- Portfolio with Block Branching for Parallel SAT Solvers -- Parameter Setting with Dynamic...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Flow Solvers -- Parallel Scientific Computing on Loosely Coupled Networks of Computers -- Data...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... and Stochastic Methods for Modeling Highly Heterogeneous Media Robust Solvers for Symmetric Positive Definite...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...
View full text
Electronic eBook