Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
function function » function functional, functions functional, function dysfunction
functional case » functional based, functional class, functional code
function https » functions https, fiction https
case function » case functional, base functions, lapse function
function function » function functional, functions functional, function dysfunction
functional case » functional based, functional class, functional code
function https » functions https, fiction https
case function » case functional, base functions, lapse function
1
Udgivet 2010
Indholdsfortegnelse:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2006
Indholdsfortegnelse:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2013
Indholdsfortegnelse:
“... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2007
Indholdsfortegnelse:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Få fuldtekst
Electronisk
eBog
5
Indholdsfortegnelse:
“...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
6
af Deschamps, Jean-Pierre., Deschamps, Jean-Pierre., Sutter, Gustavo D., Cantó, Enrique.
Udgivet 2012
Indholdsfortegnelse:
“... -- Finite-field Arithmetic -- Systems on Chip -- Embedded Systems Development: Case Studies -- Partial...”Udgivet 2012
Få fuldtekst
Electronisk
eBog
7
Udgivet 2012
Fag:
“...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”Få fuldtekst
Electronisk
eBog
8
Indholdsfortegnelse:
“...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
9
Udgivet 2010
Indholdsfortegnelse:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2007
Indholdsfortegnelse:
“... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”Få fuldtekst
Electronisk
eBog
11
Indholdsfortegnelse:
“...Part I Prerequisites -- 1 Generalities on parallel robots -- 1.1 Introduction -- 1.2 General...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
12
Udgivet 2010
Indholdsfortegnelse:
“... on Heterogeneous Processors Based on Their Functional Performance Models -- Accelerating S3D: A GPGPU Case Study...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2010
Indholdsfortegnelse:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2010
Indholdsfortegnelse:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2010
Indholdsfortegnelse:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2008
Indholdsfortegnelse:
“... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2005
Indholdsfortegnelse:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”Få fuldtekst
Electronisk
eBog
18
Fag:
“...Ethics. https://scigraph.springernature.com/ontologies/product-market-codes/E14000...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
19
Udgivet 2015
Indholdsfortegnelse:
“... Parallel : Design Modelling Thermoactive Architecture -- The Architecture of the Ill-tempered Environment...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2006
Indholdsfortegnelse:
“... -- Continuous Engineering of Embedded systems -- Prototyping an Ambient Light System - A Case Study...”Få fuldtekst
Electronisk
eBog