Amanote Research

Amanote Research

    RegisterSign In

Bounded Expectations: Resource Analysis for Probabilistic Programs

doi 10.1145/3192366.3192394
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2018

Authors
Van Chan NgoQuentin CarbonneauxJan Hoffmann
Publisher

ACM Press


Related search

Context-Bounded Analysis for Concurrent Programs With Dynamic Creation of Threads

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Fine-Grained Semantics for Probabilistic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Robustness Analysis of Stochastic Programs With Joint Probabilistic Constraints

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2013English

Quantum Advantage for Probabilistic One-Time Programs

Nature Communications
AstronomyGeneticsMolecular BiologyBiochemistryChemistryPhysics
2018English

Student Expectations of TESOL Programs

Australian Review of Applied Linguistics
LinguisticsLanguage
2006English

Towards Verified Stochastic Variational Inference for Probabilistic Programs

Proceedings of the ACM on Programming Languages
2020English

Professors’ Research Expectations for Admission to Psychology Graduate Programs

Psi Chi Journal of Psychological Research
2019English

Nonlinear Programs With Positively Bounded Jacobians

1964English

On Learning Bounded-Width Branching Programs

1995English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy