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 variable » parallel particle, parallel cable, parallel serial
variable program » variable programs, variables problem, variable problems
function https » functions https, fiction https
termination function » permutation function, termination detection, coordination function
program termination » program verification, proving termination
parallel variable » parallel particle, parallel cable, parallel serial
variable program » variable programs, variables problem, variable problems
function https » functions https, fiction https
1
Published 2008
Table of Contents:
“... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”View full text
Electronic
eBook
3
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...Termination of Multipartite Graph Series Arising from Complex Network Modelling -- Simple Cuts...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... Authentication Scheme Based on the Label -- A Mobile Terminal Authentication Scheme Based on Symmetric...”View full text
Electronic
eBook