Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
coherence function » covariance functions
program coherence » program conference, program adherence, program reference
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
coherence function » covariance functions
program coherence » program conference, program adherence, program reference
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
1
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... -- Linear Coherent Bi-cluster Discovery via Beam Detection and Sample Set Clustering -- An Iterative...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... Systems -- 2 New Parallel Matrix Multiplication Algorithms for Wormhole-Routed All-Port 2D/3D Torus...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... and Component Importance -- 3. Signatures and Symmetry Properties of Coherent Systems -- 4. Multidimensional...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...”View full text
Electronic
eBook