Search Results - Tuttle, Mark R

Refine Results
  1. 1
    Many Random Walks Are Faster Than One

    Many Random Walks Are Faster Than One by ALON, NOGA, AVIN, CHEN, KOUCKÝ, MICHAL, KOZMA, GADY, LOTKER, ZVI, TUTTLE, MARK R.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Model checking boot code from AWS data centers

    Model checking boot code from AWS data centers by Cook, Byron, Khazem, Kareem, Kroening, Daniel, Tasiran, Serdar, Tautschnig, Michael, Tuttle, Mark R.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Code‐level model checking in the software development workflow at Amazon Web Services

    Code‐level model checking in the software development workflow at Amazon Web Services by Chong, Nathan, Cook, Byron, Eidelman, Jonathan, Kallas, Konstantinos, Khazem, Kareem, Monteiro, Felipe R., Schwartz‐Narbonne, Daniel, Tasiran, Serdar, Tautschnig, Michael, Tuttle, Mark R.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    A game of timing and visibility

    A game of timing and visibility by Lotker, Zvi, Patt-Shamir, Boaz, Tuttle, Mark R.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Tight bounds for k -set agreement

    Tight bounds for k -set agreement by CHAUDHURI, SOMA, HERLIHY, MAURICE, LYNCH, NANCY A, TUTTLE, MARK R

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Collaborate with Strangers to Find Own Preferences

    Collaborate with Strangers to Find Own Preferences by Awerbuch, Baruch, Azar, Yossi, Lotker, Zvi, Patt-Shamir, Boaz, Tuttle, Mark R.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Knowledge, probability, and adversaries

    Knowledge, probability, and adversaries by HELPERN, J. Y, TUTTLE, M. R

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Challenges and opportunities with concolic testing

    Challenges and opportunities with concolic testing by Kannavara, Raghudeep, Havlicek, Christopher J., Bo Chen, Tuttle, Mark R., Kai Cong, Ray, Sandip, Fei Xie

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Model Checking Transactional Memory with Spin

    Model Checking Transactional Memory with Spin by O'Leary, J., Saha, B., Tuttle, M.R.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Wait-free implementations in message-passing systems

    Wait-free implementations in message-passing systems by Chaudhuri, Soma, Herlihy, Maurice, Tuttle, Mark R.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Tight bounds for kappa-set agreement

    Tight bounds for kappa-set agreement by Chaudhuri, Soma, Herlihy, Maurice, Lynch, Nancy A, Tuttle, Mark R

    Published in Journal of the ACM
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Going with the Flow: Parameterized Verification Using Message Flows

    Going with the Flow: Parameterized Verification Using Message Flows by Talupur, M., Tuttle, M.R.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Protocol Proof Checking Simplified with SMT

    Protocol Proof Checking Simplified with SMT by Tuttle, M. R., Goel, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Programming simultaneous actions using common knowledge

    Programming simultaneous actions using common knowledge by Moses, Yoram, Tuttle, Mark R.

    Published in Algorithmica
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Verifying Correctness of Transactional Memories

    Verifying Correctness of Transactional Memories by Cohen, Ariel, O'Leary, John W., Pnueli, Amir, Tuttle, Mark R., Zuck, Lenore D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    Common knowledge and consistent simultaneous coordination

    Common knowledge and consistent simultaneous coordination by NEIGER, G, TUTTLE, M. R

    Published in Distributed computing
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    An Overview of Synchronous Message-Passing and Topology

    An Overview of Synchronous Message-Passing and Topology by Herlihy, Maurice, Rajsbaum, Sergio, Tuttle, Mark R.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    Many Random Walks Are Faster Than One

    Many Random Walks Are Faster Than One by Noga Alon, Chen, Avin, Koucky, Michal, Kozma, Gady, Lotker, Zvi, Tuttle, Mark R

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Programming simultaneous actions using common knowledge: Preliminary version

    Programming simultaneous actions using common knowledge: Preliminary version by Moses, Yoram, Tuttle, Mark R.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    An Introduction to Input/Output Automata. Revision

    An Introduction to Input/Output Automata. Revision by Lynch, Nancy A, Tuttle, Mark R

    Request full text
    Report
    Save to List
    Saved in:

Search Tools: