![Chord / Model checking / Distributed computing / Routing / Distributed data storage / Computing / Distributed hash table Chord / Model checking / Distributed computing / Routing / Distributed data storage / Computing / Distributed hash table](https://www.pdfsearch.io/img/04a46411bdaaf50c24ad4eba075c2956.jpg)
| Document Date: 2009-03-03 06:54:09 Open Document File Size: 583,74 KBShare Result on Facebook
Company Checkpoint / / / Facility Introduction Complex / Checkpoint Content / checkpoint Example / / IndustryTerm low-level services / average network / consequence prediction algorithm / deep online debugging mode / model checking algorithm / large software systems / largescale planetary systems / sensor networks / appropriate network / Online Debugging Experience We / event chains / asynchronous networks / incremental model checking algorithms / depth-first search / mature implemented protocols / search actions / deployed distributed systems / iterative deepening algorithm / enterprise storage systems / breadth-first search / latency wide-area network / generic state-space search / state space exploration algorithm / online debugging / deep online debugging / search space / exhaustive search / tree-based overlay multicast protocols / state exploration algorithm / power law distribution / distributed systems / search depth / recent algorithms / / OperatingSystem FreeBSD / GNU/Linux / Linux / / Organization Kosti´c and Viktor Kuncak School of Computer and Communication Sciences / / Person Nikola Kne / Dejan Kosti / / / Position checkpoint manager / CrystalBall controller / Consequence prediction CrystalBall Controller / scheduler / controller / / Product Is / ModelNet / CrystalBall / / ProgrammingLanguage C / C++ / / Technology two mature implemented protocols / Ethernet / recent algorithms / Linux / model checking algorithm / discovery protocol / 2.2 Consequence Prediction Algorithm / iterative deepening algorithm / consequence prediction algorithm / tree-based overlay multicast protocols / state exploration algorithm / operating system / virtual memory / UDP / incremental model checking algorithms / state space exploration algorithm / enterprise storage systems / /
SocialTag |