M7 – Computing with Time

Time and computation, physical and logical time in distributed systems, and time as a step toward coordination.

course of the deck
Course_icon.svg Distributed Systems (2nd cycle, 2021/2022) — Andrea Omicini
used in the lectures
same deck in other editions
reference publication
Publication_icon.svg The Internet of Things: A survey (article in journal, 2010) — Luigi Atzori, Antonio Iera, Giacomo Morabito
Publication_icon.svg Preliminary Discussion of the Logical Design of an Electronic Computing Instrument (book chapter, 1982) — Arthur W. Burks, Herman H. Goldstine, John von Neumann
Publication_icon.svg Relativity: The Special and the General Theory (book, 1920) — Albert Einstein
Publication_icon.svg Fine-grained network time synchronization using reference broadcasts (article in journal, 2002) — Jeremy Elson, Lewis Girod, Deborah Estrin
Publication_icon.svg Internet of Things (IoT): A vision, architectural elements, and future directions (article in journal, 2013) — Jayavardhana Gubbi, Rajkumar Buyya, Slaven Marusic, Marimuthu Palaniswami
Publication_icon.svg The accuracy of the clock synchronization achieved by TEMPO in Berkeley UNIX 4.3BSD (article in journal, 1989) — Riccardo Gusella, Stefano Zatti
Publication_icon.svg Standard-frequency and time-signal emissions (technical report, 2002) — ITU Radiocommunication Assembly
Publication_icon.svg Time, Clocks, and the Ordering of Events in a Distributed System (article in journal, 1978) — Leslie Lamport
Publication_icon.svg Computing Needs Time (article in journal, 2009) — Edward A. Lee
Publication_icon.svg NIST Time and Frequency Radio Stations: WWV, WWVH, and WWVB (technical report, 2005) — Glenn K. Nelson, Michael A. Lombardi, Dean T. Okayama
Publication_icon.svg L'ordine del tempo (book, 2017) — Carlo Rovelli
Publication_icon.svg Distributed Systems. Principles and Paradigms (book, 2017) — Andrew S. Tanenbaum, Maarten van Steen
Publication_icon.svg On Computable Numbers, with an Application to the Entscheidungsproblem (article in journal, 1937) — Alan Mathison Turing