Εμφανίζονται 1 - 20 Αποτελέσματα από 63 για την αναζήτηση 'Nancy Lynch', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 1
    A MODEL AND ANALYSIS OF HOUSE-HUNTING IN ANT COLONIES

    A MODEL AND ANALYSIS OF HOUSE-HUNTING IN ANT COLONIES ανά Nancy Lynch

    Έκδοση 2022
    Λήψη πλήρους κειμένου
    Άρθρο
  2. 2
    Solving ANTS with loneliness detection and constant memory

    Solving ANTS with loneliness detection and constant memory ανά O'Brien, Casey (Casey M.)

    Έκδοση 2016
    Άλλοι συγγραφείς: “…Nancy Lynch.…”
    Λήψη πλήρους κειμένου
    Thesis
  3. 3
    Improved distributed algorithms for fundamental graph problems

    Improved distributed algorithms for fundamental graph problems ανά Ghaffari, Mohsen

    Έκδοση 2017
    Άλλοι συγγραφείς: “…Nancy Lynch.…”
    Λήψη πλήρους κειμένου
    Thesis
  4. 4
    A symbiotic perspective on distributed algorithms and social insects

    A symbiotic perspective on distributed algorithms and social insects ανά Radeva, Tsvetomira

    Έκδοση 2017
    Άλλοι συγγραφείς: “…Nancy Lynch.…”
    Λήψη πλήρους κειμένου
    Thesis
  5. 5
    The loudest one wins : efficient communication in theoretical wireless networks

    The loudest one wins : efficient communication in theoretical wireless networks ανά Markatou, Evangelia Anna

    Έκδοση 2018
    Άλλοι συγγραφείς: “…Nancy Lynch.…”
    Λήψη πλήρους κειμένου
    Thesis
  6. 6
    I/O automaton based simulation of selected distributed algorithms

    I/O automaton based simulation of selected distributed algorithms ανά Gupta, Aparna Mini

    Έκδοση 2005
    Άλλοι συγγραφείς: “…Nancy Lynch.…”
    Λήψη πλήρους κειμένου
    Thesis
  7. 7
    Dynamic process creation in a static model

    Dynamic process creation in a static model ανά Leo, John, 1964-

    Έκδοση 2005
    Άλλοι συγγραφείς: “…Nancy Lynch.…”
    Λήψη πλήρους κειμένου
    Thesis
  8. 8
    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol

    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol ανά Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

    Έκδοση 2006
    Άλλοι συγγραφείς: “…Nancy Lynch…”
    Λήψη πλήρους κειμένου
  9. 9
    Task-Structured Probabilistic I/O Automata

    Task-Structured Probabilistic I/O Automata ανά Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

    Έκδοση 2006
    Άλλοι συγγραφείς: “…Nancy Lynch…”
    Λήψη πλήρους κειμένου
  10. 10
    Of Malicious Motes and Suspicious Sensors

    Of Malicious Motes and Suspicious Sensors ανά Gilbert, Seth, Guerraoui, Rachid, Newport, Calvin

    Έκδοση 2006
    Άλλοι συγγραφείς: “…Nancy Lynch…”
    Λήψη πλήρους κειμένου
  11. 11
    Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol

    Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol ανά Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

    Έκδοση 2006
    Άλλοι συγγραφείς: “…Nancy Lynch…”
    Λήψη πλήρους κειμένου
  12. 12
    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol

    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol ανά Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

    Έκδοση 2006
    Άλλοι συγγραφείς: “…Nancy Lynch…”
    Λήψη πλήρους κειμένου
  13. 13
    Task-Structured Probabilistic I/O Automata

    Task-Structured Probabilistic I/O Automata ανά Canetti,, Ran, Cheung,, Ling, Kaynar,, Dilsun, Liskov,, Moses, Lynch,, Nancy, Pereira,, Olivier, Segala, Roberto

    Έκδοση 2006
    Άλλοι συγγραφείς: “…Nancy Lynch…”
    Λήψη πλήρους κειμένου
  14. 14
    Implementing Atomic Data through Indirect Learning in Dynamic Network

    Implementing Atomic Data through Indirect Learning in Dynamic Network ανά Konwar, K., Musial, P.M., Nicolau, N.C., Shvartsman., A.A.

    Έκδοση 2006
    Άλλοι συγγραφείς: “…Nancy Lynch…”
    Λήψη πλήρους κειμένου
  15. 15
    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol

    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol ανά Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

    Έκδοση 2007
    Άλλοι συγγραφείς: “…Nancy Lynch…”
    Λήψη πλήρους κειμένου
  16. 16
    Consensus and collision detectors in wireless ad hoc networks

    Consensus and collision detectors in wireless ad hoc networks ανά Newport, Calvin (Calvin Charles)

    Έκδοση 2007
    Άλλοι συγγραφείς: “…Nancy Lynch.…”
    Λήψη πλήρους κειμένου
    Thesis
  17. 17
    Air traffic control using Virtual Stationary Automata

    Air traffic control using Virtual Stationary Automata ανά Brown, Matthew D., M. Eng. Massachusetts Institute of Technology

    Έκδοση 2008
    Άλλοι συγγραφείς: “…Nancy Lynch.…”
    Λήψη πλήρους κειμένου
    Thesis
  18. 18
    An $\Omega(n \log n)$ Lower Bound on the Cost of Mutual Exclusion

    An $\Omega(n \log n)$ Lower Bound on the Cost of Mutual Exclusion ανά Fan, Rui, Lynch, Nancy

    Έκδοση 2008
    Άλλοι συγγραφείς: “…Nancy Lynch…”
    Λήψη πλήρους κειμένου
  19. 19
    Event Order Abstraction for Parametric Real-Time System Verification

    Event Order Abstraction for Parametric Real-Time System Verification ανά Umeno, Shinya

    Έκδοση 2008
    Άλλοι συγγραφείς: “…Nancy Lynch…”
    Λήψη πλήρους κειμένου
  20. 20
    Virtual infrastructure for wireless ad hoc networks

    Virtual infrastructure for wireless ad hoc networks ανά Gilbert, Seth, 1976-

    Έκδοση 2008
    Άλλοι συγγραφείς: “…Nancy Lynch.…”
    Λήψη πλήρους κειμένου
    Λήψη πλήρους κειμένου
    Thesis

Εργαλεία αναζήτησης: