Priporočene teme znotraj vašega iskanja.
Priporočene teme znotraj vašega iskanja.
Poišči alternative:
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
parallel operators » parallel operating, parallel operation, parabolic operators
operators program » operating program, operation program, operators programming
function https » functions https, fiction https
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
parallel operators » parallel operating, parallel operation, parabolic operators
operators program » operating program, operation program, operators programming
function https » functions https, fiction https
1
Izdano 2005
Kazalo:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”Polni tekst
Elektronski
eKnjiga
2
Izdano 2006
Kazalo:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”Polni tekst
Elektronski
eKnjiga
3
Izdano 2013
Kazalo:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Polni tekst
Elektronski
eKnjiga
4
Kazalo:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
5
Izdano 2010
Kazalo:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Polni tekst
Elektronski
eKnjiga
6
Izdano 2007
Kazalo:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Polni tekst
Elektronski
eKnjiga
7
Izdano 2005
Kazalo:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Polni tekst
Elektronski
eKnjiga
8
Izdano 2010
Kazalo:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Polni tekst
Elektronski
eKnjiga
9
Izdano 2010
Kazalo:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Polni tekst
Elektronski
eKnjiga
10
Izdano 2005
Kazalo:
“... of Weighted Continuous Functions -- On a Gevrey-Nonsolvable Partial Differential Operator -- Optimal...”Polni tekst
Elektronski
eKnjiga
11
Izdano 2005
Kazalo:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”Polni tekst
Elektronski
eKnjiga
12
Izdano 2005
Kazalo:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Polni tekst
Elektronski
eKnjiga
13
Izdano 2010
Kazalo:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Polni tekst
Elektronski
eKnjiga
14
Izdano 2008
Kazalo:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Polni tekst
Elektronski
eKnjiga
15
Izdano 2005
Kazalo:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Polni tekst
Elektronski
eKnjiga
16
Izdano 2006
Kazalo:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Polni tekst
Elektronski
eKnjiga
17
Izdano 2005
Kazalo:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Polni tekst
Elektronski
eKnjiga
18
od Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Izdano 2011
Teme:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Izdano 2011
Polni tekst
Elektronski
eKnjiga
19
Izdano 2008
Kazalo:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Polni tekst
Elektronski
eKnjiga
20
Izdano 2006
Kazalo:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Polni tekst
Elektronski
eKnjiga