| * | 2008 |
|---|
| 11 | EE | Mark A. Smith,
Jan Pieper,
Daniel Gruhl,
Lucas Villa Real:
IZO: Applications of Large-Window Compression to Virtual Machine Management.
LISA 2008: 121-132 |
| 10 | EE | NagaPramod Mandagere,
Pin Zhou,
Mark A. Smith,
Sandeep Uttamchandani:
Demystifying data deduplication.
Middleware (Companion) 2008: 12-17 |
| 2006 |
|---|
| 9 | EE | Yigal Bejerano,
Mark A. Smith,
Joseph Naor,
Nicole Immorlica:
Efficient location area planning for personal communication systems.
IEEE/ACM Trans. Netw. 14(2): 438-450 (2006) |
| 2004 |
|---|
| 8 | EE | Eran Gabber,
Mark A. Smith:
Trail Blazer: A Routing Algorithm Inspired by Ants.
ICNP 2004: 36-47 |
| 7 | EE | Ted Bonkenburg,
Dejan Diklic,
Benjamin Reed,
Mark A. Smith,
Michael Vanover,
Steve Welch,
Roger Williams:
LifeBoat: An Autonomic Backup and Restore Solution.
LISA 2004: 159-170 |
| 2002 |
|---|
| 6 | EE | Benjamin Reed,
Mark A. Smith,
Dejan Diklic:
Security Considerations When Designing a Distributed File System Using Object Storage Devices.
IEEE Security in Storage Workshop 2002: 24-34 |
| 5 | EE | Mark A. Smith,
K. K. Ramakrishnan:
Formal specification and verification of safety and performance of TCP selective acknowledgement.
IEEE/ACM Trans. Netw. 10(2): 193-207 (2002) |
| 2000 |
|---|
| 4 | | Mark A. Smith,
Nils Klarlund:
Verification of a Sliding Window Protocol Using IOA and MONA.
FORTE 2000: 19-34 |
| 3 | | Mark A. Smith,
Garrison W. Cottrell,
Karen L. Anderson:
The Early Word Catches the Weights.
NIPS 2000: 52-58 |
| 1998 |
|---|
| 2 | EE | Mark A. Smith:
Reliable Message Delivery and Conditionally-Fast Transactions are not Possible Without Accurate Clocks.
PODC 1998: 163-171 |
| 1994 |
|---|
| 1 | EE | Baruch Awerbuch,
Lenore Cowen,
Mark A. Smith:
Efficient asynchronous distributed symmetry breaking.
STOC 1994: 214-223 |
