Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality interactions » functional interactions, functional interaction, functions interactions
parallel microprocessor » parallel coprocessors, parallel processor, xscale microprocessor
microprocessor testing » microprocessors testing, microprocessor using, microprocessor design
testing functionality » testing functional, missing functionality, testbench functionality
interactions https » interaction https, integration https
functionality interactions » functional interactions, functional interaction, functions interactions
parallel microprocessor » parallel coprocessors, parallel processor, xscale microprocessor
microprocessor testing » microprocessors testing, microprocessor using, microprocessor design
testing functionality » testing functional, missing functionality, testbench functionality
interactions https » interaction https, integration https
1
Published 2014
Table of Contents:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”View full text
Electronic
eBook
