Search results for "Mark R. Tuttle"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Noga Alon, Chen Avin, Michal Koucký, Gady Kozma, Zvi Lotker, Mark R. Tuttle	Many Random Walks Are Faster Than One.	Combinatorics, Probability & Computing	2011	DBLP DOI BibTeX RDF
1	Maurice Herlihy, Yoram Moses, Mark R. Tuttle	Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions.	PODC	2011	DBLP DOI BibTeX RDF
1	Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle	An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	John W. O'Leary, Murali Talupur, Mark R. Tuttle	Protocol verification using flows: An industrial experience.	FMCAD	2009	DBLP DOI BibTeX RDF
1	John W. O'Leary, Bratin Saha, Mark R. Tuttle	Model Checking Transactional Memory with Spin.	ICDCS	2009	DBLP DOI BibTeX RDF
1	Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle	A game of timing and visibility.	Games and Economic Behavior	2008	DBLP DOI BibTeX RDF
1	Baruch Awerbuch, Yossi Azar, Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle	Collaborate with Strangers to Find Own Preferences.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	???
1	Murali Talupur, Mark R. Tuttle	Going with the Flow: Parameterized Verification Using Message Flows.	FMCAD	2008	DBLP DOI BibTeX RDF
1	Noga Alon, Chen Avin, Michal Koucký, Gady Kozma, Zvi Lotker, Mark R. Tuttle	Many random walks are faster than one.	SPAA	2008	DBLP DOI BibTeX RDF	distributed algorithms, random walks, graph search, speed-up, cover time
1	David James, Tim Leonard, John W. O'Leary, Murali Talupur, Mark R. Tuttle	Extracting models from design documents with mapster.	PODC	2008	DBLP DOI BibTeX RDF
1	John W. O'Leary, Bratin Saha, Mark R. Tuttle	Model checking transactional memory with spin.	PODC	2008	DBLP DOI BibTeX RDF
1	Ariel Cohen 0002, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck	Verifying Correctness of Transactional Memories.	FMCAD	2007	DBLP DOI BibTeX RDF	HTM, STM, TLC, model checking, Verification, transactional memory, TLA+
1	Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle	Publish and perish: definition and analysis of an n-person publication impact game.	SPAA	2006	DBLP DOI BibTeX RDF	timing games, nash equilibrium, numerical algorithms
1	Baruch Awerbuch, Boaz Patt-Shamir, David Peleg, Mark R. Tuttle	Improved recommendation systems.	SODA	2005	DBLP DOI BibTeX RDF
1	Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle	Timing Games and Shared Memory.	DISC	2005	DBLP DOI BibTeX RDF
1	Baruch Awerbuch, Yossi Azar, Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle	Collaborate with strangers to find own preferences.	SPAA	2005	DBLP DOI BibTeX RDF	recommendation systems, collaborative filtering, electronic commerce, randomized algorithms, probes, billboard
1	Baruch Awerbuch, Boaz Patt-Shamir, David Peleg, Mark R. Tuttle	Adaptive Collaboration in Peer-to-Peer Systems.	ICDCS	2005	DBLP DOI BibTeX RDF
1	Baruch Awerbuch, Boaz Patt-Shamir, David Peleg, Mark R. Tuttle	Collaboration of untrusting peers with changing interests.	ACM Conference on Electronic Commerce	2004	DBLP DOI BibTeX RDF	electronic commerce, peer-to-peer systems, reputation systems
1	Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu	Checking Cache-Coherence Protocols with TLA+.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	TLC, model checking, cache coherence, TLA+
1	David B. Lomet, Mark R. Tuttle	A Theory of Redo Recovery.	SIGMOD Conference	2003	DBLP DOI BibTeX RDF
1	Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu	Specifying and verifying systems with TLA+.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
1	Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle	An Overview of Synchronous Message-Passing and Topology.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle	A New Synchronous Lower Bound for Set Agreement.	DISC	2001	DBLP DOI BibTeX RDF
1	Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle	Tight bounds for k-set agreement.	J. ACM	2000	DBLP DOI BibTeX RDF	Spwener's Lemma, crash failure model, topology, synchronous systems, message-passing systems, k-set agreement
1	Soma Chaudhuri, Maurice Herlihy, Mark R. Tuttle	Wait-Free Implementations in Message-Passing Systems.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
1	David B. Lomet, Mark R. Tuttle	Logical Logging to Extend Recovery to New Domains.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF
1	Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu	Cache Coherence Verification with TLA+.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
1	Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle	Unifying Synchronous and Asynchronous Message-Passing Models.	PODC	1998	DBLP DOI BibTeX RDF
1	David B. Lomet, Mark R. Tuttle	Redo Recovery after System Crashes.	VLDB	1995	DBLP BibTeX RDF
1	Soma Chaudhuri, Mark R. Tuttle	Fast Increment Registers.	WDAG	1994	DBLP DOI BibTeX RDF
1	Joseph Y. Halpern, Mark R. Tuttle	Knowledge, Probability, and Adversaries.	J. ACM	1993	DBLP DOI BibTeX RDF	Byzantine generals problem, coordinated attack problem, probabilistic knowledge, game theory, probability, knowledge
1	Gil Neiger, Mark R. Tuttle	Common Knowledge and Consistent Simultaneous Coordination.	Distributed Computing	1993	DBLP DOI BibTeX RDF
1	Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle	A Tight Lower Bound for k-Set Agreement	FOCS	1993	DBLP DOI BibTeX RDF	tight lower bound, message-passing model, proof techniques, fault tolerance, communication, consensus, tradeoff, k-set agreement
1	Martín Abadi, Mark R. Tuttle	A Semantics for a Logic of Authentication (Extended Abstract).	PODC	1991	DBLP DOI BibTeX RDF
1	Gil Neiger, Mark R. Tuttle	Common Knowledge and Consistent Simultaneous Coordination.	WDAG	1990	DBLP DOI BibTeX RDF
1	Maurice Herlihy, Mark R. Tuttle	Lower Bounds for Wait-Free Computation in Message-Passing Systems.	PODC	1990	DBLP DOI BibTeX RDF
1	Joseph Y. Halpern, Mark R. Tuttle	Knowledge, Probability, and Adversaries.	PODC	1989	DBLP DOI BibTeX RDF
1	Yoram Moses, Mark R. Tuttle	Programming Simultaneous Actions Using Common Knowledge.	Algorithmica	1988	DBLP DOI BibTeX RDF
1	Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle	A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report)	STOC	1988	DBLP DOI BibTeX RDF
1	Nancy A. Lynch, Mark R. Tuttle	Hierarchical Correctness Proofs for Distributed Algorithms.	PODC	1987	DBLP DOI BibTeX RDF
1	Yoram Moses, Mark R. Tuttle	Programming Simultaneous Actions Using Common Knowledge: Preliminary Version	FOCS	1986	DBLP DOI BibTeX RDF

Publications of "Mark R. Tuttle" ( http://dblp.L3S.de/Authors/Mark_R._Tuttle )