1
Published 2006
Table of Contents: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
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 2010
Table of Contents: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
View full text
Electronic eBook
7
Table of Contents: ...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...
View full text
Electronic eBook
8
Table of Contents: ... -- Finite-field Arithmetic -- Systems on Chip -- Embedded Systems Development: Case Studies -- Partial...
View full text
Electronic eBook
9
Published 2012
Subjects: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
10
Table of Contents: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
View full text
Electronic eBook
11
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
12
Published 2010
Table of Contents: ... on Highly Parallel Processing on a Chip -- The Next 25 Years of Computer Architecture? -- Software...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ...Theory of Evolutionary Computing (I) -- Optimal Fixed and Adaptive Mutation Rates...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... - Their Brains and Their Computers -- Turing’s Three Pioneering Initiatives and Their Interplays -- An Outline...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Discriminant Analysis and RBF Neural Network -- Parallel Enumeration Sort on OTIS-Hypercube -- A Robust Trust...
View full text
Electronic eBook