Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
parallel programming » parallel processing
function function » function functional, functions functional, function dysfunction
programming open » programming over, programming opening, programming coping
function https » functions https, fiction https
open function » apn function, green function, organ function
parallel programming » parallel processing
function function » function functional, functions functional, function dysfunction
programming open » programming over, programming opening, programming coping
function https » functions https, fiction https
open function » apn function, green function, organ function
1
Έκδοση 2007
Πίνακας περιεχομένων:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Έκδοση 2010
Πίνακας περιεχομένων:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Έκδοση 2010
Πίνακας περιεχομένων:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Έκδοση 2005
Πίνακας περιεχομένων:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Έκδοση 2005
Πίνακας περιεχομένων:
“... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Έκδοση 2008
Πίνακας περιεχομένων:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
Έκδοση 2010
Πίνακας περιεχομένων:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Έκδοση 2010
Πίνακας περιεχομένων:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
Έκδοση 2005
Πίνακας περιεχομένων:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
10
Έκδοση 2010
Πίνακας περιεχομένων:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
11
Έκδοση 2010
Πίνακας περιεχομένων:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
12
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Έκδοση 2015
Πίνακας περιεχομένων:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
13
Πίνακας περιεχομένων:
“....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
14
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Έκδοση 2014
Πίνακας περιεχομένων:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
15
Πίνακας περιεχομένων:
“... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...”
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
16
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Έκδοση 2013
Πίνακας περιεχομένων:
“... Propagation of Logic Program Updates -- Tracking Data-Flow with Open Closure Types -- Putting Newton...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
17
Θέματα:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
18
Έκδοση 2005
Πίνακας περιεχομένων:
“... Nevanlinna-Pick Interpolation for Points in the Open Unit Disc -- On the Numerical Solution of a Nonlinear...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
19
Θέματα:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
20
Πίνακας περιεχομένων:
“...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο



