Searching for authors named "Byron Cook" – sorted by Relevance.
35 documents found, showing 1 through 10.
Next 10 →
-
Disposable Memo Functions
- …Disposable Memo Functions y Byron Cook byron@(email omitted); John Launchbury jl…
- Cited by 8 (0 self) – Add To MetaCart
-
Over-Approximating Boolean Programs with Unbounded Thread Creation
- …Over-Approximating Boolean Programs with Unbounded Thread Creation Byron Cook Microsoft Research…
- Cited by 3 (1 self) – Add To MetaCart
-
Using Stålmarck's algorithm to prove inequalities
- …Using St˚almarck’s algorithm to prove inequalities Byron Cook and Georges Gonthier Microsoft…
- Cited by 1 (1 self) – Add To MetaCart
-
Symbolic model checking for asynchronous boolean programs
- …Symbolic Model Checking for Asynchronous Boolean Programs Byron Cook 1 ,DanielKroening 2…
- Cited by 11 (5 self) – Add To MetaCart
-
Proving that programs eventually do something good
- …Proving That Programs Eventually Do Something Good Byron Cook Microsoft Research bycook…
- Cited by 13 (3 self) – Add To MetaCart
-
Formal verification of explicitly parallel microarchitectures
- …Formal veri cation of explicitly parallel microprocessors ? Byron Cook, John Launchbury, John…
- Add To MetaCart
-
Top-level Refinement in Processor Verification
- …Top-level Refinement in Processor Verification Sava Krsti'c, Byron Cook, John Launchbury, and John…
- Add To MetaCart
-
A Correctness Proof of a Speculative, Superscalar, Out-of-Order, Renaming Microarchitecture
- … | extended technical report Sava Krstic, Byron Cook, John Launchbury, and John Matthews fkrstic,byron…
- Add To MetaCart
-
Specifying superscalar microprocessors in Hawk
- …Specifying superscalar microprocessors in Hawk Byron Cook, John Launchbury, and John Matthews…
- Cited by 21 (4 self) – Add To MetaCart
-
Microprocessor Specification in Hawk
- …Microprocessor Specification in Hawk John Matthews johnm@(email omitted); Byron Cook byron…
- Cited by 25 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
