1
Udgivet 2010
Indholdsfortegnelse: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Få fuldtekst
Electronisk eBog
2
Udgivet 2006
Indholdsfortegnelse: ...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...
Få fuldtekst
Electronisk eBog
3
Udgivet 2011
Fag: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Få fuldtekst
Electronisk eBog
4
Udgivet 2008
Indholdsfortegnelse: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Få fuldtekst
Electronisk eBog
5
Udgivet 2013
Indholdsfortegnelse: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Få fuldtekst
Electronisk eBog
6
Indholdsfortegnelse: ... -- Finite-field Arithmetic -- Systems on Chip -- Embedded Systems Development: Case Studies -- Partial...
Få fuldtekst
Electronisk eBog
7
Indholdsfortegnelse: ...-Processing -- Parallelization of PUF Cells -- Pre-Selection -- PUF Biasing -- Two Stage PUF -- PUF...
Få fuldtekst
Electronisk eBog
8
Udgivet 2007
Indholdsfortegnelse: ... Models and Orthomax Rotations -- A Fully 3D System for Cardiac Wall Deformation Analysis in MRI Data...
Få fuldtekst
Electronisk eBog
9
Udgivet 2013
Indholdsfortegnelse: ... are Parallel Connections better than Series Connections -- Optimization of Carrier Harvest in Meg Based Hybrid...
Få fuldtekst
Electronisk eBog
10
Udgivet 2007
Indholdsfortegnelse: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Få fuldtekst
Electronisk eBog
11
Indholdsfortegnelse: ... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...
Få fuldtekst
Electronisk eBog
12
Udgivet 2012
Fag: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Få fuldtekst
Electronisk eBog
13
Indholdsfortegnelse: ...1. Introduction -- 2.Preliminaries -- 3. Spaces of time functions consisting of input-output...
Få fuldtekst
Electronisk eBog
14
Udgivet 2014
Indholdsfortegnelse: ... -- Distributed parallel processing in retinal amacrine cells -- Dendritic computation of direction in retinal...
Få fuldtekst
Electronisk eBog
15
Indholdsfortegnelse: ... Problems -- The Coupled Differential System -- Structure Theorems -- Parallel Integration....
Få fuldtekst
Electronisk eBog
16
Udgivet 2014
Indholdsfortegnelse: ... Transcriptome using Directional Deep sequencing and Parallel Analysis of RNA Ends -- Measurement...
Få fuldtekst
Electronisk eBog
17
Udgivet 2005
Indholdsfortegnelse: ... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...
Få fuldtekst
Electronisk eBog
18
Indholdsfortegnelse: ... -- 10.3 Dynamic model of virtual flexible systems -- 10.4 Dynamic model of a flexible parallel robot...
Få fuldtekst
Electronisk eBog
19
Udgivet 2007
Indholdsfortegnelse: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Få fuldtekst
Electronisk eBog
20
Udgivet 2005
Indholdsfortegnelse: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
Få fuldtekst
Electronisk eBog