External Links

    Journal: Computing

    Volume 101, Issue 1

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