Solver - PDFSEARCH.IO - Document Search Engine

Solver
Results: 737

#	Item
91	David Ljung Madison Stellar Programming, Algorithm Design, VLSI / CPU Verification Accomplishing the impossible, on a deadline Career Summary Accomplished problem solver who can create new solutions Add to Reading List Source URL: davesource.com Language: English - Date: 2016-08-17 01:14:20 Electronic design automation Software engineering Computing Hardware verification languages Hardware description languages Verilog Perl Formal verification Programming tool Post-silicon validation Computer E
92	Exclusively ORs has hired you to implement their exclusive-OR-based problem solver. The solver is given a problem description in three parts: • • • Add to Reading List Source URL: cs.northwestern.edu Language: English - Date: 2008-07-08 18:15:38 Musical tuning Stringed instrument tunings Alpha-numeric grid
93	RECENT ADVANCES ON THE DESIGN OF UPWIND FLUXES Eleuterio TORO Laboratory of Applied Mathematics University of Trento, Italy www.ing.unitn.it/toro Add to Reading List Source URL: www.prague-sum.com Language: English - Date: 2014-02-21 08:56:37 Computational fluid dynamics Bernhard Riemann Computational science Fluid dynamics Numerical analysis Logical truth Riemann solver Riemann problem Euler equations Roe solver Shock capturing method
94	SWE-X10: An Actor-Based and Locally Coordinated Solver for the Shallow Water Equations Alexander Pöppl Michael Bader Add to Reading List Source URL: www5.in.tum.de Language: English - Date: 2016-05-30 05:18:45 Computing Parallel computing Multi-core processor K computer Lis OpenMP Partitioned global address space
95	All-Termination(T )? Panagiotis Manolios and Aaron Turon Northeastern University {pete,turon}@ccs.neu.edu Abstract. We introduce the All-Termination(T ) problem: given a termination solver T and a collection of functions Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:25 Mathematical analysis Mathematics Analysis Functions and mappings Static program analysis Termination analysis Limit of a function IP Well-founded relation Measure theory Computability theory Inequalities
96	Parallel Computing: On the Road to Exascale G.R. Joubert et al. (Eds.) IOS Press, 2016 © 2016 The authors and IOS Press. All rights reserved. doi: Add to Reading List Source URL: www.cse-lab.ethz.ch Language: English - Date: 2016-07-02 10:56:26 Computing Parallel computing Computer architecture Computational fluid dynamics Computer programming Numerical analysis Bernhard Riemann Riemann solver Cavitation Propeller Supercomputer Blue Gene
97	Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies Sebastian J. I. Herzig, Benjamin Kruse, Federico Ciccozzi, Joachim Denil, Rick Salay, and D´aniel Varr´o seb Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-09-10 09:14:57 Operations research Numerical software Artificial intelligence Mathematical optimization Solver Business process management Frame language Software Information technology Theoretical computer science
98	Continued Relevance of Bit-Level Verification Research R. Brayton, N. Een, A. Mishchenko Berkeley Verification and Synthesis Research Center EECS Dept., University of California, Berkeley Introduction Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 02:14:08 Theoretical computer science Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean algebra Boolean satisfiability problem Solver Formal equivalence checking Formal verification Model checking Uclid
99	A parallel Newton-Krylov flow solver for the Euler equations on multi-block grids Jason E. Hicken∗ and David W. Zingg † Add to Reading List Source URL: homepages.rpi.edu Language: English - Date: 2012-07-05 17:15:15 Algebra Numerical linear algebra Mathematics Preconditioner Euler equations Equation solving Domain decomposition methods Krylov subspace Equations of motion Schur complement Incomplete LU factorization System of linear equations
100	Final version of the optimizations algorithms and tools Deliverable 4.3 Nature : Deliverable Due date : Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:41 Software Numerical analysis Mathematical software Numerical software Mathematical optimization Solver Constraint programming Lis

UPDATE