Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function function » function functional, functions functional, function dysfunction
coding function » scoring function, counting function, choosing function
function https » functions https, fiction https
parallel case » parallel cable, parallel phase, parallel crane
case coding » care coding, coarse coding, based coding
function function » function functional, functions functional, function dysfunction
coding function » scoring function, counting function, choosing function
function https » functions https, fiction https
parallel case » parallel cable, parallel phase, parallel crane
case coding » care coding, coarse coding, based coding
1
Published 2013
Table of Contents:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”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:
“...Condensed Matter Physics. https://scigraph.springernature.com/ontologies/product-market-codes/P...”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:
“... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”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
Table of Contents:
“...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...”
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:
“... of Industrial Simulation Codes from HPC Environments to New Hardware Technologies -- Application of Parallel...”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 2006
Table of Contents:
“... -- Continuous Engineering of Embedded systems -- Prototyping an Ambient Light System - A Case Study...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... Parallel : Design Modelling Thermoactive Architecture -- The Architecture of the Ill-tempered Environment...”View full text
Electronic
eBook