Map
Index
Random
Help
th

Quote: Slam found many errors in Windows device drivers; it separates the control path from the data path; e.g., resource use

QuoteRef: laruJR5_2004 , p. 96



Topic:
declarative vs. procedural representation
Topic:
debugging by usage rules
Topic:
device driver
Topic:
owned resources and data objects

Quotation Skeleton

We used Slam to analyze more than one … errors. Slam is successful in this domain because … proper kernel resource use   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: declarative vs. procedural representation (54 items)
Topic: debugging by usage rules (41 items)
Topic: device driver (15 items)
Topic: owned resources and data objects (12 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.