1
Published 2010
Table of Contents: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
View full text
Electronic eBook
3
by Freeman, Adam., Freeman, Adam.
Published 2010
Table of Contents: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
View full text
Electronic eBook
4
Published 2011
Table of Contents: ... Analysis of Manufacturing Eng. New Product Introduction Processes -- Concurrent Product Development - Case...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... of Agglomerative Scheduling in Concurrent Processing of Frequent Itemset Queries -- Analysis of the Structure...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... and Parallel Processing -- Review of Voltage Sag Disturbance Recognition -- The Exterior Type Consistency...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... features values -- IX Concurrent Parallel Processing -- Parallelization of a Block Cipher Based on Chaotic...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ...Neural Networks and Their Applications -- Parallel approach to the Levenberg-Marquardt learning...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... -- The Influence of Functional Decomposition on Modern Digital Design Process -- System Engineering for Embedded...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ...Algorithms -- Automata, Logic, and Concurrency -- Codes, Semigroups, and Symbolic Dynamics...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ...-Driven SOA -- Towards Using Reo for Compliance-Aware Business Process Modeling -- On the Risk Management...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... Terms and Parallel Substitutions -- ModuRes: a Coq Library for Modular Reasoning about Concurrent...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Heat Transfer in Parallel Computer Architectures -- SkvG: Cache-Optimal Parallel Solution of PDEs...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... Francisco Novoa Colín -- Concurrent Structure-Control Design of Parallel Robots using an Estimation...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- Coordination of Many Agents -- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ...-language Semantics -- Impredicative Concurrent Abstract Predicates -- Local Reasoning for the POSIX File...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... on Symmetry and Diameter -- Graph Partitioning Strategies for Efficient BFS in Shared-Nothing Parallel Systems...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook