PODC
2011
ACM
13 years 1 months ago
2011
ACM
Maintaining data structure semantics of concurrent queues such as first-in first-out (FIFO) ordering requires expensive synchronization mechanisms which limit scalability. Howev...
WOTUG
2008
14 years 13 days ago
2008
Abstract. We prove the correctness of a two-way sliding window protocol with piggybacking, where the acknowledgments of the latest received data are attached to the next data trans...
AMAST
2006
Springer
14 years 2 months ago
2006
Springer
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
EMSOFT
2005
Springer
14 years 4 months ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
SPAA
2005
ACM
14 years 4 months ago
2005
ACM
This paper shows for the first time that elimination, a scaling technique formerly applied only to counters and LIFO structures, can be applied to FIFO data structures, specific...