Uniform Random Process Model Revisited
Abstract elided by the publisher.
Related papers
- A Scalable and Nearly Uniform Generator of SAT Witnesses CAV 2013
- Uniform Random Generation of Balanced Parenthesis Strings TOPLAS 1980
- Generating constrained random data with uniform distribution JFP 2015
- Memory management in NUMA multicore systems: trapped between cache contention and interconnect overhead ISMM 2011
- NUMA-aware reader-writer locks PPoPP 2013
- A probabilistic separation logic POPL 2020
- Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling CAV 2020
- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition TACAS 2019