uberSpark: Practical, Provable, End-to-End Guarantees on Commodity Heterogenous Interconnected Computing (CHIC) Platforms

Abstract

Briefing charts

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2021
Accession Number
AD1152737

Entities

People

  • Amit Vasudevan

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Actuators
  • Commodities
  • Computer Access Control
  • Computer Programming
  • Department Of Defense
  • Engineering
  • Firmware
  • Guarantees
  • Hypervisors
  • Kernels (Operating System)
  • Language
  • Materials
  • Middleware
  • Operating Systems
  • Platforms
  • Reasoning
  • Security
  • Software Development
  • Universities
  • Verification