| Document Date: 2014-10-24 08:52:42
Open Document File Size: 438,39 KBShare Result on Facebook
Company Amazon / Compaq / Amazon.com / / Event Product Release / / IndustryTerm fault-tolerant distributed algorithms / non-trivial concurrent algorithm / consensus algorithm / safety-critical control systems / low-level network algorithm / real-time scheduling / canonical algorithm / software engineers / Web Services Chris Newcombe / broader fault-tolerant algorithm / distributed algorithms / real-time safety properties / reconfiguration algorithm / membership protocol / intricate cache-coherency protocols / soft real-time systems / large distributed systems / distributed systems / fault-tolerant network algorithm / excellent tool / concurrent fault-tolerant systems / important new algorithms / a widely used algorithm / cache-coherency algorithm / influenced several systems / replication algorithm / realworld systems / method to software / large complex real-world systems / computing / real-world systems / conventional static analysis tools / lock-free concurrent algorithm / Web Services / / Organization MIT / National Aeronautics and Space Administration / / Person C. Michael Holloway / Pamela Zave / Tim Rath / Chris Newcombe / Bogdan Munteanu / / Position manager Components Fault-tolerant / lock manager / engineer / author / designer / / Product S3 / TLA+ / DynamoDB / / ProgrammingLanguage Java / SQL / / ProvinceOrState M.B. / / Technology Alpha / RAM / fault-tolerant distributed algorithms / fault-tolerant network algorithm / Alpha cache-coherency algorithm / broader fault-tolerant algorithm / reconfiguration algorithm / intricate cache-coherency protocols / membership protocol / operating systems / canonical algorithm / Paxos consensus algorithm / low-level network algorithm / resulting algorithms / same non-trivial concurrent algorithm / existing replication algorithm / resulting algorithm / load balancing / Java / data modeling / non-trivial concurrent algorithm / same algorithm / lock-free concurrent algorithm / / URL .com / /
SocialTag |
Use of Formal Methods at Amazon Web Services Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff Amazon.com 29th September, 2014 Since 2011, engineers at Amazon Web Services (AWS) have b