Repository logo
Log in(current)
Repository logoMIT Open ScholarshipDSpace@MIT
  1. Home
  2. Computer Science and Artificial Intelligence Lab (CSAIL)
  3. LCS Publications
  4. LCS Technical Reports (1974 - 2003)
  5. Modeling and Verification of Randomized Distributed Real -Time Systems

Modeling and Verification of Randomized Distributed Real -Time Systems

Thumbnail Image
Download
Name

MIT-LCS-TR-676.pdf

Size

31.93 MB

Format

Adobe PDF

Checksum (MD5)

7725e0e5d5e84d4df7a524243c9a163d

Author(s)
Segala, Roberto
Advisor(s)
Lynch, Nancy A.
Date Issued
June 1996
Series/Report no.
MIT-LCS-TR-676
Abstract
Randomization is an excellent tool for the design of distributed algorithms, sometimes yielding efficient solutions to problems that are inherently complex, or even unsolvable, in the setting of deterministic algorithms. However, this tool has a price: e
Persistent DSpace Link
https://hdl.handle.net/1721.1/149815
Repository logo
PrivacyPermissionsAccessibilityContact us
Repository logo
Notify us about copyright concerns.