Tìm kiếm thay thế:
function function » function functional, functions functional, function dysfunction
execution using » execution engine
using function » using functions, using functional, lung function
function https » functions https, fiction https
1
Được phát hành 2007
Mục lục: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
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
Những chủ đề: ...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...
lấy văn bản
Điện tử eBook
4
Được phát hành 2007
Mục lục: ... Environment Using the Great Deluge Algorithm -- Parallelism Granules Aggregation with the T-System -- Toward a...
lấy văn bản
Điện tử eBook
5
Được phát hành 2005
Mục lục: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
lấy văn bản
Điện tử eBook
6
Được phát hành 2010
Mục lục: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
lấy văn bản
Điện tử eBook
7
Được phát hành 2006
Mục lục: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
lấy văn bản
Điện tử eBook
8
Được phát hành 2010
Mục lục: ... -- Using Hybrid CPU-GPU Platforms to Accelerate the Computation of the Matrix Sign Function -- Modelling...
lấy văn bản
Điện tử eBook
9
Được phát hành 2010
Mục lục: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
lấy văn bản
Điện tử eBook
10
Được phát hành 2005
Mục lục: ... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...
lấy văn bản
Điện tử eBook
11
Được phát hành 2008
Mục lục: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
lấy văn bản
Điện tử eBook
12
Bằng Carter, Hamilton B., Carter, Hamilton B., Hemmady, Shankar G.
Được phát hành 2007
Mục lục: ...Analyzing And Driving Verification: An Executive's Guide -- The Verification Crisis -- Automated...
lấy văn bản
Điện tử eBook
13
Được phát hành 2007
Mục lục: ... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...
lấy văn bản
Điện tử eBook
14
Được phát hành 2015
Mục lục: ....- Models for Estimating the Execution Time of Software Loops in Parallel and Distributed Systems...
lấy văn bản
Điện tử eBook
15
Được phát hành 2008
Mục lục: ... for Volume Data Sets by Using Critical Point Graph -- Hybrid Parallelization and Flat Parallelization in HPF...
lấy văn bản
Điện tử eBook
16
Được phát hành 2013
Mục lục: ... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...
lấy văn bản
Điện tử eBook
17
Bằng Prodan, Radu., Prodan, Radu., Fahringer, Thomas.
Được phát hành 2007
Những chủ đề: ...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...
lấy văn bản
Điện tử eBook
18
Được phát hành 2005
Mục lục: ... with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution...
lấy văn bản
Điện tử eBook
19
Được phát hành 2008
Mục lục: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
lấy văn bản
Điện tử eBook
20
Được phát hành 2013
Mục lục: ... Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator...
lấy văn bản
Điện tử eBook