1
Publicado 2006
Table of Contents: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Ligazón do recurso
Electrónico eBook
2
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
3
Publicado 2010
Table of Contents: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
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
Table of Contents: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
Ligazón do recurso
Electrónico eBook
9
Publicado 2007
Table of Contents: ... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...
Ligazón do recurso
Electrónico eBook
10
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
11
Table of Contents: ...Part I Prerequisites -- 1 Generalities on parallel robots -- 1.1 Introduction -- 1.2 General...
Ligazón do recurso
Electrónico eBook
12
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
13
Publicado 2010
Table of Contents: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Ligazón do recurso
Electrónico eBook
14
Publicado 2010
Table of Contents: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Ligazón do recurso
Electrónico eBook
15
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
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
Publicado 2005
Table of Contents: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Ligazón do recurso
Electrónico eBook
18
Subjects: ...Ethics. https://scigraph.springernature.com/ontologies/product-market-codes/E14000...
Ligazón do recurso
Electrónico eBook
19
Publicado 2015
Table of Contents: ... Parallel : Design Modelling Thermoactive Architecture -- The Architecture of the Ill-tempered Environment...
Ligazón do recurso
Electrónico eBook
20