Font Size:
a
A
A
Keyword [Solver]
Result: 121 - 140 | Page: 7 of 8
121.
Portable and scalable FPGA-based acceleration of a direct linear system solver
122.
Robust Hybrid Sparse Linear System Solver
123.
A field programmable gate array based finite-domain constraint solver
124.
The EZSMT Solver: Constraint Answer Set Solving meets SMT
125.
Toward a robust and efficient iterative eigensolver
126.
Circuit-based Boolean satisfiability solver and its applications
127.
GridSAT: A distributed large scale satisfiability solver for the computational grid
128.
Distributed sparse matrix solver and pivoting algorithms for large linear equations
129.
A solver for inconsistent continuous satisfaction problems: An application to automobile shock-quality testing
130.
Stream Heat Budget Modeling with the HFLUX Stream Temperature Solver: Model Development, Verification, and Applications
131.
Fast Algorithms and Solvers in Computational Electromagnetics and Micromagnetics on GPUs
132.
Hybrid explicit-implicit FDTD-FEM time-domain solver for electromagnetic problems
133.
Fast, hybrid, high-order integral solver for electromagnetic scattering
134.
Development of a chemically reacting flow solver on the graphic processing units
135.
An efficient routing strategy for WDM networks
136.
Integration of HP-adaptivity with a two grid solver: Applications to electromagnetics
137.
Massively parallel algorithms for CFD simulation and optimization on heterogeneous many-core architectures
138.
Electromagnetic scattering problems utilizing a direct, parallel solver
139.
Electrical impedance tomography and D-Bar Equation
140.
Efficient, Mechanically-Verified Validation of Satisfiability Solvers
<<First
<Prev
Next>
Last>>
Jump to
