Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
parallel programs » parallel programming
programs operator » problems operator, programs cooperation, programs operational
operator function » operator functions, operators function, operator functional
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
parallel programs » parallel programming
programs operator » problems operator, programs cooperation, programs operational
operator function » operator functions, operators function, operator functional
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Được phát hành 2005
Mục lục:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2006
Mục lục:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2013
Mục lục:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”lấy văn bản
Điện tử
eBook
4
Mục lục:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
lấy văn bản
lấy văn bản
Điện tử
eBook
5
Được phát hành 2010
Mục lục:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”lấy văn bản
Điện tử
eBook
6
Được phát hành 2007
Mục lục:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”lấy văn bản
Điện tử
eBook
7
Được phát hành 2005
Mục lục:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”lấy văn bản
Điện tử
eBook
8
Được phát hành 2010
Mục lục:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”lấy văn bản
Điện tử
eBook
9
Được phát hành 2010
Mục lục:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”lấy văn bản
Điện tử
eBook
10
Được phát hành 2005
Mục lục:
“... of Weighted Continuous Functions -- On a Gevrey-Nonsolvable Partial Differential Operator -- Optimal...”lấy văn bản
Điện tử
eBook
11
Được phát hành 2005
Mục lục:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”lấy văn bản
Điện tử
eBook
12
Được phát hành 2005
Mục lục:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”lấy văn bản
Điện tử
eBook
13
Được phát hành 2010
Mục lục:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”lấy văn bản
Điện tử
eBook
14
Được phát hành 2008
Mục lục:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”lấy văn bản
Điện tử
eBook
15
Được phát hành 2005
Mục lục:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”lấy văn bản
Điện tử
eBook
16
Được phát hành 2006
Mục lục:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”lấy văn bản
Điện tử
eBook
17
Được phát hành 2005
Mục lục:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”lấy văn bản
Điện tử
eBook
18
Bằng Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Được phát hành 2011
Những chủ đề:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Được phát hành 2011
lấy văn bản
Điện tử
eBook
19
Được phát hành 2008
Mục lục:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”lấy văn bản
Điện tử
eBook
20
Được phát hành 2006
Mục lục:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”lấy văn bản
Điện tử
eBook