| Document Date: 2009-01-14 11:26:18
Open Document File Size: 578,00 KBShare Result on Facebook
City Savannah / / Company Intel / / Country United States / / Currency pence / USD / / / Facility Evaluation Building / / IndustryTerm software system / overlay protocol / formalization systems / possible using standard algorithms / then computing ag / reactive systems / gossip protocol / wide area networks / Concurrent and distributed systems / non-trivial overlay applications / semantic-aware gossip protocols / fine-grained tool / exhaustive search strategy / reuse existing infrastructure / semantic-aware gossip protocol / random gossip protocol / large distributed systems / exhaustive search / programming model in which distributed systems / generic gossip protocol / distributed systems / logical network / overlay protocols / wide-area networks / software debugger / lower network / recent systems / safety-critical systems / communication protocols / protocol developer / analysis tools / overall protocol / non-trivial overlay protocol / Internet-like INET / gossip protocols / distributed applications / application using different tools / / OperatingSystem GNU/Linux / Singularity / / Organization MIT / / Person Viktor Kuncak / Pierre-Evariste Dagand Dejan Kosti / / / Position collector / high programmer / Software/Program Verification General / representative / Comprehensive Programmer / programmer / / Product Chord / / ProgrammingLanguage Esterel / Objective Caml / Erlang / C++ / / ProvinceOrState Georgia / / Technology Functional Programming / RAM / 2.2 Gossip Protocol / overall protocol / peer-to-peer / Linux / random gossip protocol / Pingpong protocol / gossip protocol / two protocols / Vicinity protocol / operating system / UDP / Chord protocol / peer-to-peer system / generic gossip protocol / specific protocol / semantic-aware gossip protocols / Cyclon random gossip protocol / Gossip Protocol Gossip protocols / overlay protocols / semantic-aware gossip protocol / gossip protocols / simulation / communication protocols / overlay protocol / non-trivial overlay protocol / gigabit Ethernet / / URL http /
SocialTag |
Opis: Reliable Distributed Systems in OCaml ´ Pierre-Evariste Dagand Dejan Kosti´c