1
Published 2010
Table of Contents: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
View full text
Electronic eBook
3
Table of Contents: ...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ...,  Andrea Bonito, Joe Pasciak -- Parallel Unsmoothed Aggregation Algebraic Multigrid Algorithms on GPUs...
View full text
Electronic eBook
7
Subjects: ...Control and Systems Theory. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook
8
Table of Contents: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... on Grassmann–Cayley Algebra -- Singularity Analysis of Limited-DOF Parallel Manipulators Using Grassmann–Cayley...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... and Tengely -- Sieving for Pseudosquares and Pseudocubes in Parallel Using Doubly-Focused Enumeration...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ...A Reconfigurable Processor for Forward Error Correction -- FPGA-Accelerated Deletion-Tolerant...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... Rice and Weed Discrimination -- Relation of average error in Prolate Spheroidal Wave Functions...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... -- On the Complexity of Parallel Hardness Amplification for One-Way Functions -- Secret Sharing and Multi-party...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... Dynamics Simulations on Multi-core Systems -- Parsing XML Using Parallel Traversal of Streaming Trees...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Control Software System for Scalable Automation -- Agile Multi-parallel Micro Manufacturing Using a Grid...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... Climbing Memetic Algorithm -- Using base position errors in an entropy-based evaluation function...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... Linkages with Circular Translation -- Function Synthesis of the Planar 5R Mechanism Using Least Squares...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ...: A Mathematical Functions Code Generator -- From Calculus to Algorithms without Errors -- Dense...
View full text
Electronic eBook
19
Table of Contents: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...
View full text
Electronic eBook