Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
verification function » verification functional, verification foundations, verification condition
program verification » formal verification
parallel basic » parallel arabic, parallel batch, parallel axis
function https » functions https, fiction https
basic program » basic programs, based program, static program
verification function » verification functional, verification foundations, verification condition
program verification » formal verification
parallel basic » parallel arabic, parallel batch, parallel axis
function https » functions https, fiction https
basic program » basic programs, based program, static program
1
Publicat 2005
Taula de continguts:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Obtenir text complet
Electrònic
eBook
2
Publicat 2014
Taula de continguts:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”Obtenir text complet
Electrònic
eBook
3
Publicat 2006
Taula de continguts:
“... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”Obtenir text complet
Electrònic
eBook
4
Publicat 2008
Taula de continguts:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”Obtenir text complet
Electrònic
eBook