Volume 101, Issue 1 | Computing

Search all Computing articles

Volume 101, Issue 1

January 2019

Special issue on NETYS 2016

Issue Editors:

Parosh Aziz Abdulla,
Carole Delporte

5 articles in this issue

Special Issue on NETYS’2016
Parosh Aziz Abdulla
Carole Delporte
Editorial 10 November 2018 Pages: 1 - 2
Time-efficient read/write register in crash-prone asynchronous message-passing systems
Achour Mostéfaoui
Michel Raynal
Matthieu Roy
OriginalPaper 09 May 2018 Pages: 3 - 17
The out-of-core KNN awakens: the light side of computation force on large datasets
Javier Olivares
Anne-Marie Kermarrec
Nitin Chiluka
OriginalPaper 26 April 2018 Pages: 19 - 38
Waiting in concurrent algorithms
Gadi Taubenfeld
OriginalPaper 25 April 2018 Pages: 39 - 57
A mechanized refinement proof of the Chase–Lev deque using a proof system
Suha Orhun Mutluergil
Serdar Tasiran
OriginalPaper 02 July 2018 Pages: 59 - 74