114
Voted
CC
2015
Springer
10 years 22 days ago
2015
Springer
The Static Single Assignment (SSA) form is a predominant technology in modern compilers, enabling powerful and fast program optimizations. Despite its great success in the implemen...
121
Voted
CC
2015
Springer
10 years 22 days ago
2015
Springer
This paper presents a code generation framework for type-safe and deadlock-free Message Passing Interface (MPI) programs. The code generation process starts with the definition of...
107
Voted
CASES
2015
ACM
10 years 22 days ago
2015
ACM
OpenMP is increasingly being supported by the newest high-end embedded many-core processors. Despite the lack of any notion of real-time execution, the latest specification of Op...
158
Voted
CASES
2015
ACM
10 years 22 days ago
2015
ACM
Approximate computing is a paradigm for trading off program accuracy to save energy in memory or computational resources. However, determining feasible program approximations is ...
114
Voted
CASES
2015
ACM
10 years 22 days ago
2015
ACM
Statically pipelined processors have a fully exposed datapath where all portions of the pipeline are directly controlled by effects within an instruction, which simplifies hardw...
146
Voted
CC
2016
Springer
10 years 1 months ago
2016
Springer
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...
160
Voted
CC
2016
Springer
10 years 1 months ago
2016
Springer
173
Voted
CC
2016
Springer
10 years 1 months ago
2016
Springer
The PCP theorem (Arora et. al., J. ACM 45(1,3)) asserts the existence of proofs that can be verified by reading a very small part of the proof. Since the discovery of the theorem...
160
Voted
CC
2016
Springer
10 years 1 months ago
2016
Springer
Abstract. We study worst-case complexity assumptions that imply quantum bitcommitment schemes. First we show that QSZK ⊆ QMA implies a computationally hiding and statistically bi...
147
Voted
CC
2016
Springer
10 years 1 months ago
2016
Springer
The choice of data structures is crucial for achieving high performance. For applications that are long-running and/or operate on large data sets, the best choice for main data st...