Sciweavers

Share
17 search results - page 1 / 4
» cc 2016
Sort
View
CC
2016
Springer
4 years 4 months ago
Relaxed dependence tracking for parallel runtime support
Minjia Zhang, Swarnendu Biswas, Michael D. Bond
CGO
2016
IEEE
4 years 4 months ago
Validating optimizations of concurrent C/C++ programs
We present a validator for checking the correctness of LLVM compiler optimizations on C11 programs as far as concurrency is concerned. Our validator checks that optimizations do n...
Soham Chakraborty, Viktor Vafeiadis
CC
2016
Springer
4 years 4 months ago
The complexity of estimating min-entropy
Goldreich, Sahai, and Vadhan (CRYPTO 1999) proved that the promise problem for estimating the Shannon entropy of a distribution sampled by a given circuit is NISZK-complete. We co...
Thomas Watson
books