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