Showing 91 - 100 results of 128 for search '"Checks"', query time: 0.02s Refine Results
  1. 91

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. by Dingel, Juergen

    Article

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  2. 92

    Explaining abstract counterexamples. by Chaki, Sagar

    Article

    Explaining abstract counterexamples.
  3. 93

    Correlation exploitation in error ranking. by Kremenek, Ted

    Article

    Correlation exploitation in error ranking.
  4. 94

    Deadlock detection in distribution object systems. by Kaveh, Nima

    Article

    Deadlock detection in distribution object systems.
  5. 95

    Modular verification of collaboration-based software designs. by Fisler, Kathi

    Article

    Modular verification of collaboration-based software designs.
  6. 96

    Automatic abstraction for model checking software systems with interrelated numeric constraints. by Choi, Yunja

    Article

    Automatic abstraction for model checking software systems with interrelated numeric constraints.
  7. 97

    Codes defined on graphs. by Kschischang, F.R

    Article

    Codes defined on graphs.
  8. 98

    The renaissance of Gallager's low-density parity-check codes. by Richardson, T.

    Article

    The renaissance of Gallager's low-density parity-check codes.
  9. 99

    Iterative decoder architectures. by Yeo, Engling

    Article

    Iterative decoder architectures.
  10. 100

    How does it sound? [voice clarity analysis]. by Denisowski, P.

    Published in IEEE spectrum
    Article

    How does it sound? [voice clarity analysis].

Search Tools: