Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
termination function » permutation function, termination detection, coordination function
program termination » program verification, proving termination
parallel basic » parallel arabic, parallel batch, parallel axis
function https » functions https, fiction https
basic program » basic programs, based program, static program
termination function » permutation function, termination detection, coordination function
program termination » program verification, proving termination
parallel basic » parallel arabic, parallel batch, parallel axis
function https » functions https, fiction https
basic program » basic programs, based program, static program
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
Table of Contents:
“... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
View full text
View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”View full text
Electronic
eBook