Showing 1 - 4 results of 4 for search 'Atkinson, Eric Hamilton', query time: 0.03s Refine Results
  1. 1
    Typesafety for explicitly-coded probabilistic inference procedures

    Typesafety for explicitly-coded probabilistic inference procedures by Atkinson, Eric Hamilton

    Published 2018
    Get full text
    Thesis
  2. 2
    A Language and Logic for Programming and Reasoning with Partial Observability

    A Language and Logic for Programming and Reasoning with Partial Observability by Atkinson, Eric Hamilton

    Published 2024
    Get full text
    Get full text
    Thesis
  3. 3
    Reactive probabilistic programming

    Reactive probabilistic programming by Atkinson, Eric Hamilton, Sherman, Benjamin, Carbin, Michael James

    Published 2021
    Get full text
    Article
  4. 4
    BHive: A Benchmark Suite and Measurement Framework for Validating x86-64 Basic Block Performance Models

    BHive: A Benchmark Suite and Measurement Framework for Validating x86-64 Basic Block Performance Models by Chen, Yishen, Brahmakshatriya, Ajay, Mendis, Thirimadura C. Yasend, Renda, Alex, Atkinson, Eric Hamilton, Sykora, Ondrej, Amarasinghe, Saman P, Carbin, Michael James

    Published 2020
    Get full text
    Article

Search Tools: