| Document Date: 2010-01-27 11:14:29
Open Document File Size: 1,31 MBShare Result on Facebook
Company ACM Inc. / Deployed Distributed Systems / Computer-Communication Networks / / Currency USD / / / Event Reorganization / / Facility Forced checkpoint N0 / INTRODUCTION Complex / / IndustryTerm deep online debugging mode / model checking algorithm / sensor networks / asynchronous networks / large-scale distributed services / search starts / bounded depth-first search / enterprise storage systems / basic model checking algorithm / breadth-first search / copyright/server / large-scale planetary systems / state space exploration algorithm / online debugging / exhaustive search / state exploration algorithm / consistent snapshot collection algorithm / distributed systems / search depth / recent algorithms / / Organization CAK School of Computer and Communication Sciences / US Federal Reserve / / Person VIKTOR KUNMAYSAM YABANDEH / Maysam Yabandeh / NIKOLA KNEZEVI / DEJAN KOSTIC / / Position Communications Applications General / / Product Mace Model Checker / / ProgrammingLanguage C / / Technology recent algorithms / model checking algorithm / consistent snapshot collection algorithm / caching / basic model checking algorithm / state exploration algorithm / existing model checking algorithm / state space exploration algorithm / enterprise storage systems / presented algorithm / /
SocialTag |
Predicting and Preventing Inconsistencies in Deployed Distributed Systems ˇ ´ DEJAN KOSTIC ´ and VIKTOR KUNMAYSAM YABANDEH, NIKOLA KNEZEVI C,