Search Results - "Distributed computing software"

  • Showing 1 - 6 results of 6
Refine Results
  1. Cover Image

    IronFleet: Proving Safety and Liveness of Practical Distributed Systems. by Hawblitzel, Chris, Howell, Jon, Kapritsos, Manos, Lorch, Jacob R., Parno, Bryan, Roberts, Michael L., Setty, Srinath, Zill, Brian

    Published in Communications of the ACM (Jul2017)

    View this record in EBSCOhost
    Article
  2. Cover Image

    The Tail at Scale. by DEAN, JEFFREY, BARROSO, LUIZ ANDRÉ

    Published in Communications of the ACM (Feb2013)

    View this record in EBSCOhost
    Article
  3. Cover Image

    Technical Perspective IronFleet Simplifies Proving Safety and Liveness Properties. by Schneider, Fred B.

    Published in Communications of the ACM (Jul2017)

    View this record in EBSCOhost
    Article
  4. Cover Image

    An Automated Multi-scale Feature Fusion Network for Spine Fracture Segmentation Using Computed Tomography Images. by Saeed, Muhammad Usman, Bin, Wang, Sheng, Jinfang, Mobarak Albarakati, Hussain

    Published in Journal of Digital Imaging (Oct2024)

    View this record in EBSCOhost
    diagnostic images research tables/charts Journal Article
  5. Cover Image

    Making Sense of Revision-Control Systems. by O'SULLIVAN, BRYAN

    Published in Communications of the ACM (Sep2009)

    View this record in EBSCOhost
    Article
  6. Cover Image

    Cybersecurity : Public Sector Threats and Responses by Kim J. Andreasson

    Published 2012
    View this record in EBSCOhost
    Book

Search Tools: