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 2013
Table of Contents: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
View full text
Electronic eBook
3
by Wegert, Elias., Wegert, Elias.
Published 2012
Table of Contents: ...Preface -- 1. Getting Acquainted -- 2. Complex Functions -- 3. Analytic Functions -- 4. Complex...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... -- Describing and Optimising Reversible Logic Using a Functional Language -- Hardware Design with Generalized...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
View full text
Electronic eBook
8
by Freeman, Adam., Freeman, Adam.
Published 2010
Table of Contents: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
View full text
Electronic eBook
9
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
10
Published 2008
Table of Contents: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
View full text
Electronic eBook
11
12
Published 2013
Table of Contents: ...,  Andrea Bonito, Joe Pasciak -- Parallel Unsmoothed Aggregation Algebraic Multigrid Algorithms on GPUs...
View full text
Electronic eBook
13
Subjects: ...Control and Systems Theory. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... in Membrane Systems -- A Parallel DNA Algorithm Using a Microfluidic Device to Build Scheduling Grids -- P...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... -- Using a Runtime Measurement Device with Measurement-Based WCET Analysis -- Implementing Real-Time...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... with Enhanced Functionality -- Automated Low-Fidelity Model Setup for Surrogate-Based Aerodynamic Optimization...
View full text
Electronic eBook
19
Table of Contents: ...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...
View full text
Electronic eBook