1
Publié 2013
Table des matières: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Accéder au texte intégral
Électronique eBook
2
Publié 2012
Table des matières: ... -- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell -- Challenges for a Trace-Based Just...
Accéder au texte intégral
Électronique eBook
3
Sujets: ...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...
Accéder au texte intégral
Électronique eBook
4
Publié 2006
Table des matières: ...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...
Accéder au texte intégral
Électronique eBook
5
Publié 2011
Sujets: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Accéder au texte intégral
Électronique eBook
6
Publié 2013
Table des matières: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Accéder au texte intégral
Électronique eBook
7
Table des matières: ... Correction Codes -- Sources of Mismatch and Errors -- Refine Models for PUF Simulation Requirements -- Pre...
Accéder au texte intégral
Électronique eBook
8
Publié 2012
Sujets: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Accéder au texte intégral
Électronique eBook
9
Publié 2010
Table des matières: ... -- A Novel Trust Evaluation Model for Mobile P2P Networks -- Session 4: Parallelization...
Accéder au texte intégral
Électronique eBook
10
Publié 2007
Table des matières: ... -- Optimized Parallel Approach for 3D Modelling of Forest Fire Behaviour -- A High-Level Toolkit...
Accéder au texte intégral
Électronique eBook
11
Publié 2010
Table des matières: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
Accéder au texte intégral
Électronique eBook
12
Publié 2005
Table des matières: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Accéder au texte intégral
Électronique eBook
13
Table des matières: ... Acceleration analysis -- 7.5 Singularity analysis -- 8 Dynamic modeling of parallel robots -- 8.1 Introduction...
Accéder au texte intégral
Électronique eBook
14
Publié 2006
Table des matières: ...Design Challenges in Multiprocessor Systems-on-Chip -- Some Issues in Model-Based Development...
Accéder au texte intégral
Électronique eBook
15
Publié 2005
Table des matières: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Accéder au texte intégral
Électronique eBook
16
Publié 2008
Table des matières: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
Accéder au texte intégral
Électronique eBook
17
Publié 2005
Table des matières: ... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...
Accéder au texte intégral
Électronique eBook
18
Publié 2010
Table des matières: ... on Partial Estimation of Their Functional Performance Models -- An Efficient Weighted Bi-objective Scheduling...
Accéder au texte intégral
Électronique eBook
19
Publié 2010
Table des matières: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Accéder au texte intégral
Électronique eBook
20
Publié 2008
Table des matières: ... on Causal Knowledge-Driven Diagnosis and Direction -- Challenges Relating to RFID Implementation within...
Accéder au texte intégral
Électronique eBook