1
Table of Contents: ... -- EDA Tools -- Adders -- Multipliers -- Dividers -- Other Operations -- Floating Point Arithmetic...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Memetic Cooperative Optimization Schema and Its Application to the Tool Switching Problem -- Ownership...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... for the Parallel Solution of Symmetric Tridiagonal Eigenvalue Problems -- A Parallel Solution of Large-Scale Heat...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ...-Parallel Algorithms for 1-Dimensional Fast Fourier Transform -- Towards Solving NP-Complete Problems...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
View full text
Electronic eBook
12
Table of Contents: ...The ZEN Experiment Specification Language -- ZENTURIO Experiment Management Tool -- Tool...
View full text
Electronic eBook
13
Subjects: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ..., B.J. Choi and S.V. Sreenivasan -- 11. Decomposition of Planar Burmester Problems Using Kinematic...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... Buscema -- Chapter 8. Pre-Processing Tools for Non-Linear Data Sets; Massimo Buscema, Alessandra Mancini...
View full text
Electronic eBook
17
by Kozen, Dexter C., Kozen, Dexter C.
Published 2006
Table of Contents: ... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... Decompositions -- Turning Prediction Tools Into Decision Tools -- Overcoming obstacles to the adoption of machine...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... Problems -- Portfolio with Block Branching for Parallel SAT Solvers -- Parameter Setting with Dynamic...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... Macro Package Suitable for Drawing Fine -Pictures -- Matlab-Based Problem-Solving Environment...
View full text
Electronic eBook