Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality function » functionals function, functionaries function, functional functions
using functionality » missing functionality, adding functionality, using functionalized
function https » functions https, fiction https
parallel case » parallel cable, parallel phase, parallel crane
case using » cases using, lipase using, course using
functionality function » functionals function, functionaries function, functional functions
using functionality » missing functionality, adding functionality, using functionalized
function https » functions https, fiction https
parallel case » parallel cable, parallel phase, parallel crane
case using » cases using, lipase using, course using
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 2006
Table of Contents:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
5
Table of Contents:
“...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...”
View full text
View full text
Electronic
eBook
6
by Deschamps, Jean-Pierre., Deschamps, Jean-Pierre., Sutter, Gustavo D., Cantó, Enrique.
Published 2012
Table of Contents:
“... -- Finite-field Arithmetic -- Systems on Chip -- Embedded Systems Development: Case Studies -- Partial...”Published 2012
View full text
Electronic
eBook
7
Published 2012
Subjects:
“...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Environment Using the Great Deluge Algorithm -- Parallelism Granules Aggregation with the T-System -- Toward a...”View full text
Electronic
eBook
10
Table of Contents:
“...Part I Prerequisites -- 1 Generalities on parallel robots -- 1.1 Introduction -- 1.2 General...”
View full text
View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... on Heterogeneous Processors Based on Their Functional Performance Models -- Accelerating S3D: A GPGPU Case Study...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”View full text
Electronic
eBook
15
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
16
Published 2008
Table of Contents:
“... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”View full text
Electronic
eBook
17
Subjects:
“...Ethics. https://scigraph.springernature.com/ontologies/product-market-codes/E14000...”
View full text
View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... -- Form-Finding of Architectural Membranes in a CAD-Environment Using the AiCAD-Concept -- Balancing...”View full text
Electronic
eBook
19
“... ( AWPSOcf) and sigmoid function PSO (SFPSOcf) , are implemented using MATLAB software to the optimize...”
View full text
View full text
Article
20
Published 2008
Table of Contents:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”View full text
Electronic
eBook