Correct and Efficient Bounded FIFO Queues

Nhat Minh Lê, Adrien Guatto, Albert Cohen, Antoniu Pop. Correct and Efficient Bounded FIFO Queues. In 25th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2013, Porto de Galinhas, Pernambuco, Brazil, October 23-26, 2013. pages 144-151, IEEE, 2013. [doi]

@inproceedings{LeGCP13,
  title = {Correct and Efficient Bounded FIFO Queues},
  author = {Nhat Minh Lê and Adrien Guatto and Albert Cohen and Antoniu Pop},
  year = {2013},
  doi = {10.1109/SBAC-PAD.2013.8},
  url = {http://dx.doi.org/10.1109/SBAC-PAD.2013.8},
  researchr = {https://researchr.org/publication/LeGCP13},
  cites = {0},
  citedby = {0},
  pages = {144-151},
  booktitle = {25th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2013, Porto de Galinhas, Pernambuco, Brazil, October 23-26, 2013},
  publisher = {IEEE},
}