Lecture 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12? | 13? | Index

To add a question because something is unclear or was not understood, just insert the question and add the prefix %q% for each addition (q like question). This is the "question-style". Like this: 

* %q% What kind of problems could have decentralized nature?
  • What kind of problems could have decentralized nature?

If you want to answer a question or add a comment please put a %a% in front. This is thea "answer-style" (a lilke answer). An example: 

* %a% This is an addition to something that I consider important.
  • This is an addition to something that I consider important.

For citations or references to the slides of Prof. Suri pleas add the lecture and slide number in braces: (<lecture>.<slide>).

Please make sure that you enter an author name, else your changes will not be saved!

Lecture 11 - Ececutable Assertings and Wrapper Design

  • Errors (11.3)
    • Error Detection Mechanism: EDM
    • Error Recovery Mechanism: ERM
  • Error detection (11.4)
    • Temporal redundancy
    • Spatial redundancy
    • Information redundancy
    • Executable assertions (EA) using wrappers
  • Wrappers (11.5)
    • Usable for black-box model (11.6)
    • Error detectors
      • Properties (11.10)
      • "Goodness" (11.12)
        • Completeness
        • Accuracy
      • Estimation of efficiency (11.13)
      • Placement of EDMs (11.16)
        • Error propagation (11.17)
        • Error exposure (11.19)
        • Error impact (11.21)
      • Consistency (11.23)
  • Operating system wrappers (11.30)
    • Ballista (11.31)
    • HEALERS (11.34)
    • NOOKS (11.37)

Nach oben

Lecture 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12? | 13? | Index

Recent Changes

Nach oben

Zuletzt geändert am 13 März 2005 22:32 Uhr von chrschn