Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
coherence verification » convergence verification, inference verification, tolerance verification
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
coherence verification » convergence verification, inference verification, tolerance verification
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
1
Published 2012
Table of Contents:
“... Disambiguation Errors -- A Formal Proof of Square Root and Division Elimination in Embedded Programs -- Coherent...”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 2005
Table of Contents:
“... Cache Coherence Verification -- Short Papers -- Symbolic Partial Order Reduction for Rule Based...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... Verification of Object-Oriented Programs -- An LTL Proof System for Runtime Verification -- MARQ: Monitoring...”View full text
Electronic
eBook
5
Table of Contents:
“... Caches -- Abstract Caches and Cache Coherence -- Direct Mapped Caches -- k-way Associative Caches...”
View full text
View full text
Electronic
eBook