Search
Now showing items 1-6 of 6
Programming Language Techniques for Modular Router Configurations
(2000-08)
This paper applies programming language techniques to a high-level system description, both to optimize the system and to prove useful properties about it. The system in question is Click, a modular software router framework. ...
Building Data Structures on Untrusted Peer-to-Peer Storage with Per-participant Logs
(2003-03)
L* is a technique for building multi-user distributed data structures out of untrusted peer-to-peer distributed hash tables (DHTs). L* uses multiple logs, one log per participant, to store changes to the data structure. ...