Showing 91 - 100 results of 242 for search '"Verification."', query time: 0.01s Refine Results
  1. 91

    Routing reserved bandwith multi-point connections. by Verma, Dinesh C.

    Article

    Routing reserved bandwith multi-point connections.
  2. 92

    Causal ordering in reliable group communications. by Aiello, Rosario

    Article

    Causal ordering in reliable group communications.
  3. 93

    Optimizing file transfer response time using the loss-load curve congestion control mechanism. by Williamson, Carey L.

    Article

    Optimizing file transfer response time using the loss-load curve congestion control mechanism.
  4. 94

    An adaptive framework for dynamic access to bandwith at high speeds. by Fendick, Kerry W.

    Article

    An adaptive framework for dynamic access to bandwith at high speeds.
  5. 95

    An analysis of BGP convergence properties. by Griffin, Timothy G.

    Article

    An analysis of BGP convergence properties.
  6. 96

    CAVT a congestion avoidance visualization tool. by Welzl, Michael

    Article

    CAVT a congestion avoidance visualization tool.
  7. 97

    Tmix a tool for generating realistic TCP application workloads in ns-2. by Weigle, Michele C.

    Article

    Tmix a tool for generating realistic TCP application workloads in ns-2.
  8. 98

    Software verification and validation with destiny a parallel approach to automated theorem proving. by Dykstra, Josiah

    Article

    Software verification and validation with destiny a parallel approach to automated theorem proving.
  9. 99

    Implementing sequentially consistent shared objects using broadcast and point-to-point communication. by Fekete, Alan

    Published in Journal of the ACM
    Article

    Implementing sequentially consistent shared objects using broadcast and point-to-point communication.
  10. 100

    Probabilistic checking of proofs a new characterization of NP. by Arora, Sanjeev

    Published in Journal of the ACM
    Article

    Probabilistic checking of proofs a new characterization of NP.

Search Tools: