
Checking Bounded-Memory Execution for Delayed Sampling on Probabilistic Streams
Author(s) -
Eric Atkinson,
Guillaume Baudart,
Louis Mandel,
Charles Yuan,
Michael Carbin
Publication year - 2021
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , bounded function , probabilistic logic , streams , sampling (signal processing) , parallel computing , theoretical computer science , artificial intelligence , operating system , mathematics , mathematical analysis , filter (signal processing) , computer vision