Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs operations » program operations, programs operational, programs cooperation
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
programs operations » program operations, programs operational, programs cooperation
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Publicado 2005
Table of Contents:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2006
Table of Contents:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2013
Table of Contents:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Ligazón do recurso
Electrónico
eBook
4
Table of Contents:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
5
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
6
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
7
Publicado 2005
Table of Contents:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2010
Table of Contents:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2005
Table of Contents:
“... of Weighted Continuous Functions -- On a Gevrey-Nonsolvable Partial Differential Operator -- Optimal...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2005
Table of Contents:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Ligazón do recurso
Electrónico
eBook
13
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
14
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
15
Publicado 2005
Table of Contents:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Ligazón do recurso
Electrónico
eBook
18
por Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Publicado 2011
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Publicado 2011
Ligazón do recurso
Electrónico
eBook
19
Publicado 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2006
Table of Contents:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Ligazón do recurso
Electrónico
eBook