Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality function » functionals function, functionaries function, functional functions
system functionality » system functional, systems functional, protein functionality
function https » functions https, fiction https
parallel code » parallel model, parallel 3d
code system » core system, ode systems, cage system
functionality function » functionals function, functionaries function, functional functions
system functionality » system functional, systems functional, protein functionality
function https » functions https, fiction https
parallel code » parallel model, parallel 3d
code system » core system, ode systems, cage system
1
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”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:
“...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...”View full text
Electronic
eBook
4
Published 2011
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”View full text
Electronic
eBook
6
Table of Contents:
“... Correction Codes -- Sources of Mismatch and Errors -- Refine Models for PUF Simulation Requirements -- Pre...”
View full text
View full text
Electronic
eBook
7
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
8
Published 2007
Table of Contents:
“... Models and Orthomax Rotations -- A Fully 3D System for Cardiac Wall Deformation Analysis in MRI Data...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... are Parallel Connections better than Series Connections -- Optimization of Carrier Harvest in Meg Based Hybrid...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
11
Table of Contents:
“... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...”
View full text
View full text
Electronic
eBook
12
Table of Contents:
“...1. Introduction -- 2.Preliminaries -- 3. Spaces of time functions consisting of input-output...”
View full text
View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...”View full text
Electronic
eBook
14
Published 2012
Subjects:
“...Condensed Matter Physics. https://scigraph.springernature.com/ontologies/product-market-codes/P...”View full text
Electronic
eBook
15
Table of Contents:
“... -- 10.3 Dynamic model of virtual flexible systems -- 10.4 Dynamic model of a flexible parallel robot...”
View full text
View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... in Tiered Storage System -- Session 2: Parallel Algorithms -- Scale-Adaptable Recrawl Strategies for DHT...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“...-Parallel Systems -- A New Hybrid Parallel Algorithm for MrBayes -- Research and Design of Deployment...”View full text
Electronic
eBook