44 search results - page 9 / 9 » Version vector protocols implementing session guarantees |
HPCA
2006
IEEE
14 years 5 months ago
2006
IEEE
Transactional memory (TM) simplifies parallel programming by guaranteeing that transactions appear to execute atomically and in isolation. Implementing these properties includes p...
INFOCOM
2003
IEEE
13 years 10 months ago
2003
IEEE
— The problem of efficient data structures for IP lookups has been well studied in literature. Techniques such as LC tries and Extensible Hashing are commonly used. In this pape...
GLOBECOM
2009
IEEE
14 years 15 hour ago
2009
IEEE
—We consider a Delay Tolerant Network (DTN) whose users (nodes) are connected by an underlying Mobile Ad hoc Network (MANET) substrate. Users can declaratively express high-level...
ICFEM
2009
Springer
13 years 11 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...