Resultados de búsqueda - "Distributed computing software"

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

Ver este registro en EBSCOhost

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

Ver este registro en EBSCOhost

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

Ver este registro en EBSCOhost

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

Ver este registro en EBSCOhost

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

Ver este registro en EBSCOhost

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

Ver este registro en EBSCOhost