1
Published 2011
Subjects: ...Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ...-Oriented Heuristic Scheduling Algorithm for Grid Computing -- 3-Points Relationship Based Parallel...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...
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
Electronic eBook
12
Published 2014
Table of Contents: ... -- Distributed parallel processing in retinal amacrine cells -- Dendritic computation of direction in retinal...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... Behaviour -- Markov Chain Analysis of Genetic Algorithms Applied to Fitness Functions Perturbed by Multiple...
View full text
Electronic eBook
15
Subjects: ...Special purpose computers....
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
View full text
Electronic eBook
17
Table of Contents: ... of parallel robots with actuation redundancy -- 8.6 Other models -- 8.7 Computation of the base dynamic...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... Factorization and Harmonic Functions -- Exploring Data Communication at System Level through Reverse Engineering...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
View full text
Electronic eBook