Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallel function » parallel functional, parallel auction, parallel union
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
function case » function based, function phase, function core
case function » case functional, base functions, lapse function
parallel function » parallel functional, parallel auction, parallel union
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
function case » function based, function phase, function core
case function » case functional, base functions, lapse function
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
Table of Contents:
“...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...”
View full text
View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”View full text
Electronic
eBook
11
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
12
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
13
Published 2010
Table of Contents:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”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
Published 2005
Table of Contents:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”View full text
Electronic
eBook
18
Subjects:
“...Ethics. https://scigraph.springernature.com/ontologies/product-market-codes/E14000...”
View full text
View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“... Parallel : Design Modelling Thermoactive Architecture -- The Architecture of the Ill-tempered Environment...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... -- Continuous Engineering of Embedded systems -- Prototyping an Ambient Light System - A Case Study...”View full text
Electronic
eBook