Εναλλακτικές αναζητήσεις:
programming functionals » programming functional, programming function, programming fundamentals
functionals function » function function, functions functional, function dysfunction
sharing programming » learning programming, solving programming, threading programming
parallel sharing » parallel string, parallel learning, parallel chaining
function https » functions https, fiction https
1
Έκδοση 2015
Πίνακας περιεχομένων: ...Balancing Shared and Distributed Heaps on NUMA Architectures -- Resource-Dependent Algebraic...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2006
Πίνακας περιεχομένων: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
ανά Freeman, Adam., Freeman, Adam.
Έκδοση 2010
Πίνακας περιεχομένων: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Έκδοση 2010
Πίνακας περιεχομένων: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2007
Πίνακας περιεχομένων: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Έκδοση 2010
Πίνακας περιεχομένων: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
Έκδοση 2005
Πίνακας περιεχομένων: ... and Improvements -- Implementing MPI-IO Shared File Pointers Without File System Support -- An Efficient Parallel...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Έκδοση 2008
Πίνακας περιεχομένων: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2010
Πίνακας περιεχομένων: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Έκδοση 2015
Πίνακας περιεχομένων: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
Έκδοση 2008
Πίνακας περιεχομένων: ... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Έκδοση 2014
Πίνακας περιεχομένων: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
Έκδοση 2014
Πίνακας περιεχομένων: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
Έκδοση 2014
Πίνακας περιεχομένων: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
Έκδοση 2008
Πίνακας περιεχομένων: ... -- Aggregates for CHR through Program Transformation -- Preserving Sharing in the Partial Evaluation of Lazy...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
Έκδοση 2013
Πίνακας περιεχομένων: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
ανά Raynal, Michel., Raynal, Michel.
Έκδοση 2013
Πίνακας περιεχομένων: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
Έκδοση 2010
Πίνακας περιεχομένων: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
Έκδοση 2005
Πίνακας περιεχομένων: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
Έκδοση 2010
Πίνακας περιεχομένων: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο