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
Electrónico eBook
6
Table of Contents: ... -- Finite-field Arithmetic -- Systems on Chip -- Embedded Systems Development: Case Studies -- Partial...
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
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
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
20
Publicado 2005
Table of Contents: ...Specification of Concurrent Embedded Control Systems -- Using Sequents for Description...
Ligazón do recurso
Electrónico eBook