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