Search Within

Vasu Singh

Vsingh
Email: vasu.singh_REMOVE_THIS_@ist.ac.at
Interests:

Results (16)

  • Quantitative evaluation of BFT protocols
    Conference paper
  • Static scheduling in clouds
    Conference paper
  • Transactions in the jungle
    Conference paper
  • Runtime verification for software transactional memories
    Conference paper