Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality function » functionals function, functionaries function, functional functions
using functionality » missing functionality, adding functionality, using functionalized
execution using » execution engine
function https » functions https, fiction https
functionality function » functionals function, functionaries function, functional functions
using functionality » missing functionality, adding functionality, using functionalized
execution using » execution engine
function https » functions https, fiction https
1
Published 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”View full text
Electronic
eBook
3
by Deschamps, Jean-Pierre., Deschamps, Jean-Pierre., Sutter, Gustavo D., Cantó, Enrique.
Published 2012
Subjects:
“...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...”Published 2012
View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Environment Using the Great Deluge Algorithm -- Parallelism Granules Aggregation with the T-System -- Toward a...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... -- Using Hybrid CPU-GPU Platforms to Accelerate the Computation of the Matrix Sign Function -- Modelling...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”View full text
Electronic
eBook
12
Table of Contents:
“...Analyzing And Driving Verification: An Executive's Guide -- The Verification Crisis -- Automated...”
View full text
View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”View full text
Electronic
eBook
14
Subjects:
“...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
View full text
View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“....- Models for Estimating the Execution Time of Software Loops in Parallel and Distributed Systems...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... for Volume Data Sets by Using Critical Point Graph -- Hybrid Parallelization and Flat Parallelization in HPF...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator...”View full text
Electronic
eBook