The Dijkstra–Scholten algorithm (named after Edsger W. Dijkstra and Carel S. Scholten) is an algorithm for detecting termination in a distributed system...
5 KB (752 words) - 02:21, 15 December 2024
computer scientist Named after him: Dijkstra's algorithm, Dijkstra Prize, Dijkstra–Scholten algorithm Bram Dijkstra (born 1938), American professor of...
3 KB (282 words) - 16:48, 3 July 2025
system in the early 1980s. The Dijkstra–Scholten algorithm (named after Edsger W. Dijkstra and Carel S. Scholten) is an algorithm for detecting termination...
146 KB (17,624 words) - 13:59, 1 August 2025
player Carel S. Scholten (1925–2009), Dutch physicist and pioneer of computing, a.o. known for the Dijkstra–Scholten algorithm Clemens Scholten (born 1955)...
3 KB (297 words) - 20:33, 29 June 2025
consensus algorithm Paxos algorithm Raft (computer science) Detection of Process Termination Dijkstra-Scholten algorithm Huang's algorithm Lamport ordering:...
72 KB (7,951 words) - 17:13, 5 June 2025
until 1962, Dijkstra worked at the Mathematisch Centrum in Amsterdam, where he worked closely with Bram Jan Loopstra and Carel S. Scholten, who had been...
47 KB (5,159 words) - 00:17, 17 July 2025
transit or if a process fails while in an active state. Dijkstra–Scholten algorithm Huang, Shing-Tsaan (1989). "Termination detection by using distributed...
2 KB (288 words) - 21:23, 23 May 2025
Transactions on Networking, vol. 1, no, 1, pp. 130–141 Feb. 1993 E. W. Dijkstra and C. S. Scholten. “Termination detection for diffusing computations,” Inform....
6 KB (953 words) - 01:49, 2 April 2019
indirect one which forms part of a diffusion tree, such as in the Dijkstra–Scholten algorithm, which allows a garbage collector to identify dead objects. This...
36 KB (4,785 words) - 18:11, 27 July 2025
Tarjan, R.E., A linear-time algorithm for testing the truth of certain quantified boolean formulas, 1979 Dijkstra, E.W., Scholten, C.S., Termination detection...
5 KB (520 words) - 10:20, 14 March 2025
Predicate transformer semantics (category Edsger W. Dijkstra)
version of the guarded command language with many worked examples Dijkstra, Edsger W.; Scholten, Carel S. (1990). Predicate Calculus and Program Semantics....
26 KB (3,377 words) - 09:17, 25 November 2024
REFERENCE MANUAL (PDF). Retrieved Nov 16, 2015. Dijkstra, E. W.; Lamport, L.; Martin, A. J.; Scholten, C. S.; Steffens, E. F. M. (November 1978). "On-the-fly...
26 KB (3,216 words) - 00:24, 18 July 2025