Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
implementation modeling » implementations modeling, implementation model, implementation marketing
modeling functionality » modeling functional, adding functionality, missing functionality
functionality function » functionals function, functionaries function, functional functions
function https » functions https, fiction https
implementation modeling » implementations modeling, implementation model, implementation marketing
modeling functionality » modeling functional, adding functionality, missing functionality
functionality function » functionals function, functionaries function, functional functions
function https » functions https, fiction https
1
Published 2013
Table of Contents:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”View full text
Electronic
eBook
2
Published 2012
Table of Contents:
“... -- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell -- Challenges for a Trace-Based Just...”View full text
Electronic
eBook
3
by Deschamps, Jean-Pierre., Deschamps, Jean-Pierre., Sutter, Gustavo D., Cantó, Enrique.
Published 2012
Subjects:
“...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...”Published 2012
View full text
Electronic
eBook
4
Published 2011
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”View full text
Electronic
eBook
7
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
8
Published 2010
Table of Contents:
“... -- A Novel Trust Evaluation Model for Mobile P2P Networks -- Session 4: Parallelization...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... -- Optimized Parallel Approach for 3D Modelling of Forest Fire Behaviour -- A High-Level Toolkit...”View full text
Electronic
eBook
10
Published 2012
Subjects:
“...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”View full text
Electronic
eBook
13
Table of Contents:
“... Acceleration analysis -- 7.5 Singularity analysis -- 8 Dynamic modeling of parallel robots -- 8.1 Introduction...”
View full text
View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“...Design Challenges in Multiprocessor Systems-on-Chip -- Some Issues in Model-Based Development...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... on Partial Estimation of Their Functional Performance Models -- An Efficient Weighted Bi-objective Scheduling...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Memory -- Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems -- Hybrid Functional...”View full text
Electronic
eBook