Search the dblp DataBase

Publications of Author

1. Mark A. Smith, Nils Klarlund
   Verification of a Sliding Window Protocol Using IOA and MONA. [Citation Graph (0, 0)][DBLP]
   FORTE, 2000, pp:19-34 [Conf]
   
2. Eran Gabber, Mark A. Smith
   Trail Blazer: A Routing Algorithm Inspired by Ants. [Citation Graph (0, 0)][DBLP]
   ICNP, 2004, pp:36-47 [Conf]
   
3. Ted Bonkenburg, Dejan Diklic, Benjamin Reed, Mark Smith, Michael Vanover, Steve Welch, Roger Williams
   LifeBoat: An Autonomic Backup and Restore Solution. [Citation Graph (0, 0)][DBLP]
   LISA, 2004, pp:159-170 [Conf]
   
4. Mark A. Smith, Garrison W. Cottrell, Karen L. Anderson
   The Early Word Catches the Weights. [Citation Graph (0, 0)][DBLP]
   NIPS, 2000, pp:52-58 [Conf]
   
5. Mark A. Smith
   Reliable Message Delivery and Conditionally-Fast Transactions are not Possible Without Accurate Clocks. [Citation Graph (0, 0)][DBLP]
   PODC, 1998, pp:163-171 [Conf]
   
6. Benjamin Reed, Mark A. Smith, Dejan Diklic
   Security Considerations When Designing a Distributed File System Using Object Storage Devices. [Citation Graph (0, 0)][DBLP]
   IEEE Security in Storage Workshop, 2002, pp:24-34 [Conf]
   
7. Baruch Awerbuch, Lenore Cowen, Mark A. Smith
   Efficient asynchronous distributed symmetry breaking. [Citation Graph (0, 0)][DBLP]
   STOC, 1994, pp:214-223 [Conf]
   
8. Mark A. Smith, K. K. Ramakrishnan
   Formal specification and verification of safety and performance of TCP selective acknowledgement. [Citation Graph (0, 0)][DBLP]
   IEEE/ACM Trans. Netw., 2002, v:10, n:2, pp:193-207 [Journal]
   
9. 
   IZO: Applications of Large-Window Compression to Virtual Machine Management. [Citation Graph (, )][DBLP]
   
   
10. 
    Demystifying data deduplication. [Citation Graph (, )][DBLP]