LCS Technical Memos (1974 - 2003): Recent submissions

Now showing items 67-69 of 486

    • A Survey of Active Network Research 

      Tennenhouse, David L.; Smith, Jonathan M.; Sincoskie, W. David; Wetherall, David J.; Minden, Gary J.
      Active networks are a novel approach to network architecture in which the switches of the network perform customized computations on the messages flowing through them. This approach is motivated by both lead user applications, ...

    • UDM: User Direct Messaging for General-Purpose Multiprocessing 

      Mackenzie, Kenneth; Kubiatowicz, John; Frank, Matthew; Lee, Walter; Victor, Lee; e.a. (1996-03)
      User Direct Messaging (UDM) allows user-level, processor-to- processor messaging to coexist with general multiprogramming and virtual memory. Direct messaging, where processors launch and receive messages in tens of cycles ...

    • Verification of the Randomized Consensus Algorithm of Aspnes and Herlihy: a Case Study* 

      Pogosyants, Anna; Segala, Roberto; Lynch, Nancy A. (1997-06)
      The Probabilistic I/O Automaton model of [20] is used as the basis for a formal presentation and proof of the randomized consensus algorithm of Aspnes and Herlihy. The algorithm guarantees termination within expected ...