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
function https » functions https, fiction https
array program » array programs, arrest program, day program
termination function » permutation function, termination detection, coordination function
program termination » program verification, proving termination
function https » functions https, fiction https
array program » array programs, arrest program, day program
1
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicado 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2015
Table of Contents:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2010
Table of Contents:
“...Termination of Multipartite Graph Series Arising from Complex Network Modelling -- Simple Cuts...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2007
Table of Contents:
“...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2006
Table of Contents:
“...Keynotes -- Reconfigurable Platform for Digital Convergence Terminals -- European Research...”Ligazón do recurso
Electrónico
eBook