Search Results - Gaonkar, Akash

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface

    Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface by Huang, Bo-Yuan, Lyubomirsky, Steven, Li, Yi, He, Mike, Smith, Gus Henry, Tambe, Thierry, Gaonkar, Akash, Canumalla, Vishal, Cheung, Andrew, Wei, Gu-Yeon, Gupta, Aarti, Tatlock, Zachary, Malik, Sharad

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Sequential programming for replicated data stores

    Sequential programming for replicated data stores by Lewchenko, Nicholas V., Radhakrishna, Arjun, Gaonkar, Akash, Černý, Pavol

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface

    Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface by Bo-Yuan, Huang, Lyubomirsky, Steven, Li, Yi, He, Mike, Smith, Gus Henry, Tambe, Thierry, Gaonkar, Akash, Canumalla, Vishal, Cheung, Andrew, Gu-Yeon, Wei, Gupta, Aarti, Tatlock, Zachary, Malik, Sharad

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Conflict-Aware Replicated Data Types

    Conflict-Aware Replicated Data Types by Lewchenko, Nicholas V, Radhakrishna, Arjun, Gaonkar, Akash, Černý, Pavol

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: