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
parallel java » parallel data, parallel scara, parallel a
java program » java programs, a program, java programming
termination function » permutation function, termination detection, coordination function
program termination » program verification, proving termination
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java program » java programs, a program, java programming
1
Published 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Control -- Termination of Loop Programs with Polynomial Guards -- Development of Web Based Management...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“...Keynotes -- Reconfigurable Platform for Digital Convergence Terminals -- European Research...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”View full text
Electronic
eBook