Solver

Results: 737



#Item
91David 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

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
92Exclusively ORs has hired you to implement their exclusive-OR-based problem solver. The solver is given a problem description in three parts: • • •

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
93RECENT ADVANCES ON THE DESIGN OF UPWIND FLUXES Eleuterio TORO Laboratory of Applied Mathematics University of Trento, Italy www.ing.unitn.it/toro

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
94SWE-X10: An Actor-Based and Locally Coordinated Solver for the Shallow Water Equations Alexander Pöppl Michael Bader

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
95All-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

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
96Parallel 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:

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
97Towards 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

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
98Continued 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

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
99A parallel Newton-Krylov flow solver for the Euler equations on multi-block grids Jason E. Hicken∗ and David W. Zingg †

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
100Final version of the optimizations algorithms and tools Deliverable 4.3 Nature : Deliverable Due date :

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