Special Issue on NETYS’2016.
- Published in:
- Computing, 2019, v. 101, n. 1, p. 1, doi. 10.1007/s00607-018-0672-z
- By:
- Publication type:
- Article
Works matching IS 0010485X AND DT 2019 AND VI 101 AND IP 1
Results: 5
1
2
A mechanized refinement proof of the Chase-Lev deque using a proof system.
- Published in:
- Computing, 2019, v. 101, n. 1, p. 59, doi. 10.1007/s00607-018-0635-4
- By:
- Publication type:
- Article
3
Waiting in concurrent algorithms.
- Published in:
- Computing, 2019, v. 101, n. 1, p. 39, doi. 10.1007/s00607-018-0618-5
- By:
- Publication type:
- Article
4
The out-of-core KNN awakens: the light side of computation force on large datasets.
- Published in:
- Computing, 2019, v. 101, n. 1, p. 19, doi. 10.1007/s00607-018-0616-7
- By:
- Publication type:
- Article
5
Time-efficient read/write register in crash-prone asynchronous message-passing systems.
- Published in:
- Computing, 2019, v. 101, n. 1, p. 3, doi. 10.1007/s00607-018-0615-8
- By:
- Publication type:
- Article