| Document Date: 2010-09-22 05:54:39
Open Document File Size: 863,58 KBShare Result on Facebook
City Nicosia / / Company Google / Microsoft / / Country United States / Cyprus / / / Event Reorganization / / Facility University of Puerto Rico Rio Piedras / University of Cyprus / / IndustryTerm translation tool / synchronous systems / similar algorithms / given algorithm / asynchronous algorithms / well known algorithm / uncertain processing / distributed algorithms / cluster management / asynchronous systems / time-dependent distributed algorithm / synchronous distributed systems / distributed systems / / NaturalFeature MPI channel / / Organization Department of Computer Science / US Federal Reserve / University of Cyprus / University of Puerto Rico Rio Piedras / / Person Timed Automata / Nat / Peter M. Musial§ Abstract Paxos / / Position IOA composer / composer / mediator / verified automated translator / General / u6=leader / programmer / / Product Message Passing Interface / / ProgrammingLanguage Java / / Technology well known algorithm / Paxos algorithm / Java / given algorithm / simulation / timing-dependent distributed algorithms / time-dependent distributed algorithm / /
SocialTag |
On the Automated Implementation of Time-based Paxos Using the IOA Compiler ∗ Chryssis Georgiou† Procopis Hadjiprocopiou‡