Now showing items 3-4 of 4

    • Gossip-Based Ad Hoc Routing 

      Haas, Zygmunt; Halpern, Joseph Y.; Li, Li (Cornell University, 2001-08-09)
      Many ad hoc routing protocols are based on(some variant of) flooding. Despite various optimizations, many routing messages are propagated unnecessarily. We propose a gossiping-based approach to reduce the overhead of the ...
    • Knowledge-Based Sythesis of Distributed Systems Using Event Structures 

      Bickford, Mark; Constable, Robert C.; Halpern, Joseph Y.; Petride, Sabina (Cornell University, 2004-02-13)
      To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification exists. This process is particularly effective if ...