1
Publicado 2015
Table of Contents: ...Balancing Shared and Distributed Heaps on NUMA Architectures -- Resource-Dependent Algebraic...
Ligazón do recurso
Electrónico eBook
2
Publicado 2006
Table of Contents: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Ligazón do recurso
Electrónico eBook
3
por Freeman, Adam., Freeman, Adam.
Publicado 2010
Table of Contents: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
Ligazón do recurso
Electrónico eBook
4
Publicado 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Ligazón do recurso
Electrónico eBook
5
Publicado 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Ligazón do recurso
Electrónico eBook
6
Publicado 2010
Table of Contents: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Ligazón do recurso
Electrónico eBook
7
Publicado 2010
Table of Contents: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Ligazón do recurso
Electrónico eBook
8
Publicado 2005
Table of Contents: ... and Improvements -- Implementing MPI-IO Shared File Pointers Without File System Support -- An Efficient Parallel...
Ligazón do recurso
Electrónico eBook
9
Publicado 2008
Table of Contents: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Ligazón do recurso
Electrónico eBook
10
Publicado 2015
Table of Contents: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
Ligazón do recurso
Electrónico eBook
11
Publicado 2008
Table of Contents: ... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...
Ligazón do recurso
Electrónico eBook
12
Publicado 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Ligazón do recurso
Electrónico eBook
13
Publicado 2014
Table of Contents: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Ligazón do recurso
Electrónico eBook
14
Publicado 2014
Table of Contents: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
Ligazón do recurso
Electrónico eBook
15
Publicado 2008
Table of Contents: ... -- Aggregates for CHR through Program Transformation -- Preserving Sharing in the Partial Evaluation of Lazy...
Ligazón do recurso
Electrónico eBook
16
Publicado 2013
Table of Contents: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Ligazón do recurso
Electrónico eBook
17
Publicado 2005
Table of Contents: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Ligazón do recurso
Electrónico eBook
18
por Raynal, Michel., Raynal, Michel.
Publicado 2013
Table of Contents: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
Ligazón do recurso
Electrónico eBook
19
Publicado 2010
Table of Contents: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Ligazón do recurso
Electrónico eBook
20
Publicado 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Ligazón do recurso
Electrónico eBook