| 
|
Quote: check system invariants through compiler extensions; found 34 bugs in a well-tested, cache coherence protocol; short, easily written
topics >
all references >
references c-d >
Topic:
communication protocols
Topic:
debugging by usage rules
Quotation Skeleton
Our most important results are that: 1. Many … were less than 100 lines of code; some … implemented by non-FLASH developers, who did not have … well-tested FLASH [cache coherence] protocol code. … [p. 68] In addition, the FLASH protocol handlers were … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: communication protocols (61 items)
Topic: debugging by usage rules (40 items)