11![Lecture 16, Tues March 21: Quantum Computing, Universal Gate Sets Guest Lecture by Tom Wong Having seen lots of quantum protocols, we’re finally ready to tackle the holy grail of the field: a programmable quantum compu Lecture 16, Tues March 21: Quantum Computing, Universal Gate Sets Guest Lecture by Tom Wong Having seen lots of quantum protocols, we’re finally ready to tackle the holy grail of the field: a programmable quantum compu](https://www.pdfsearch.io/img/8d642032d8eebc9396bdc2402905f162.jpg) | Add to Reading ListSource URL: www.scottaaronson.comLanguage: English - Date: 2018-10-22 17:57:48
|
---|
12![Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA. Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA.](https://www.pdfsearch.io/img/62edaf720022947569eee842fa8ea776.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:46:20
|
---|
13![A Survey of Rollback-Recovery Protocols in Message-Passing Systems E.N. (MOOTAZ) ELNOZAHY IBM Research LORENZO ALVISI The University of Texas at Austin A Survey of Rollback-Recovery Protocols in Message-Passing Systems E.N. (MOOTAZ) ELNOZAHY IBM Research LORENZO ALVISI The University of Texas at Austin](https://www.pdfsearch.io/img/8bfaf34dc14f4a3e2b72a58b0cbaee05.jpg) | Add to Reading ListSource URL: www.cs.utexas.eduLanguage: English - Date: 2002-05-07 12:54:50
|
---|
14![A Path Layer for the Internet: Enabling Network Operations on Encrypted Protocols Mirja K¨uhlewind∗ , Tobias B¨uhler∗ , Brian Trammell∗ , Stephan Neuhaus† , Roman M¨untener† , and Gorry Fairhurst‡ ∗ ETH A Path Layer for the Internet: Enabling Network Operations on Encrypted Protocols Mirja K¨uhlewind∗ , Tobias B¨uhler∗ , Brian Trammell∗ , Stephan Neuhaus† , Roman M¨untener† , and Gorry Fairhurst‡ ∗ ETH](https://www.pdfsearch.io/img/e2e333cbaf5861045682ed582403c855.jpg) | Add to Reading ListSource URL: nsg.ee.ethz.chLanguage: English - Date: 2017-11-30 09:02:54
|
---|
15![VasiliosMavroudis mavroud.is Research Interests Privacy Attacks & Countermeasures, AI Safety & Adversarial Machine Learning, Consensus Protocols & Market Microstructure VasiliosMavroudis mavroud.is Research Interests Privacy Attacks & Countermeasures, AI Safety & Adversarial Machine Learning, Consensus Protocols & Market Microstructure](https://www.pdfsearch.io/img/87b6c2989191c98f7428b52067f248b9.jpg) | Add to Reading ListSource URL: mavroud.isLanguage: English - Date: 2018-10-23 09:34:50
|
---|
16![Analysis of a Gossip Protocol in PRISM Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD ABSTRACT Gossip protocols have been proposed Analysis of a Gossip Protocol in PRISM Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD ABSTRACT Gossip protocols have been proposed](https://www.pdfsearch.io/img/073d72645743e6c21739b8fd1be25671.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2008-10-20 08:29:16
|
---|
17![Synthesis of Protocols and Discrete Controllers Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Idress Mohammed Husien Synthesis of Protocols and Discrete Controllers Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Idress Mohammed Husien](https://www.pdfsearch.io/img/5a1813a2671ae21fa14d8998988c3af5.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2018-05-18 11:31:30
|
---|
18![Clique Gossiping Yang Liu, Bo Li, Brian D. O. Anderson, and Guodong Shi∗ Abstract This paper proposes and investigates a framework for clique gossip protocols. As complete subnet- Clique Gossiping Yang Liu, Bo Li, Brian D. O. Anderson, and Guodong Shi∗ Abstract This paper proposes and investigates a framework for clique gossip protocols. As complete subnet-](https://www.pdfsearch.io/img/8fe34602a0b602480f4b5f90a6aedd23.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2018-07-19 14:56:44
|
---|
19![Peregrine: A Tool for the Analysis of Population Protocols ? Michael Blondin[0000−0003−2914−2734] , Javier Esparza[0000−0001−9862−4919] , and Stefan Jaax[0000−0001−5789−8091] Technische Universit¨ at M Peregrine: A Tool for the Analysis of Population Protocols ? Michael Blondin[0000−0003−2914−2734] , Javier Esparza[0000−0001−9862−4919] , and Stefan Jaax[0000−0001−5789−8091] Technische Universit¨ at M](https://www.pdfsearch.io/img/91119411e569564b2e8098b53c2a401e.jpg) | Add to Reading ListSource URL: www7.in.tum.deLanguage: English - Date: 2018-04-14 08:07:38
|
---|
20![Alberta Biodiversity Monitoring Institute www.abmi.ca Wetland Field Data Collection Protocols (Abridged Version) Alberta Biodiversity Monitoring Institute www.abmi.ca Wetland Field Data Collection Protocols (Abridged Version)](https://www.pdfsearch.io/img/eac6d8fba43832b744b36c4adee1b144.jpg) | Add to Reading ListSource URL: ftp.public.abmi.caLanguage: English - Date: 2018-05-14 12:21:56
|
---|