View Document Preview and Link
Document Date: 2012-10-03 14:24:49 Open Document File Size: 290,64 KB Share Result on Facebook
City Orlando / Descriptor / the RSTM / College Station / / Company Jet Propulsion Laboratory / Target / STMs / Lowry / MDS / Mars Science Laboratory / Intel / / Country United States / / Currency pence / USD / / / Facility Texas A&M University / Store Conditional / RSTM library / Mission Critical Code Damian Dechev Bjarne Stroustrup Texas A&M University / ISO C++ Standard Template Library / Data Management Service library / C++ STM library / store Ai / Write Descriptor Object store / / IndustryTerm software system / lock-free algorithms / slower flight-qualified computer hardware / autonomous embedded software systems / concurrent applications / software engineers / experienced software designers / binary search trees / autonomous flight systems / real-time embedded software systems / validation algorithms / autonomous space software / aerospace autonomous software / generic solution / certification protocols / appropriate priority inversion inheritance algorithm / software transactional memory / static analysis tools / spacecraft software / transport protocols / lockfree algorithms / software implementation / possible solution / concurrent software / integrated data management / lock-free algorithm / present software development / data management / main software architecture principles / individual processor / wait-free algorithms / real-time requirements / pivotal concurrent applications / autonomous spacecraft software / memory management / real-time systems / goal network / immediate solutions / / Organization Mars Pathfinder mission / National Aeronautics and Space Administration / Texas A&M University / Data Management Service / / Person Ai / / / Position contention manager / software designer / writer / Abstract General / programmer / / Product CAS2 / / ProgrammingLanguage C++ / / ProvinceOrState Texas / Florida / / Technology Alpha / lock-free algorithm / return result Algorithm / Pass The Buck algorithm / lock-free algorithms / validation algorithms / lockfree algorithms / individual processor / CAS algorithm / random access / operating system / shared memory / transport protocols / nonblocking algorithm / 4 Algorithm / CAS-based algorithm / three singleIn Algorithm / pre-existent CAS-based algorithm / appropriate priority inversion inheritance algorithm / sequential consistency / wait-free algorithms / certification protocols / / SocialTag