107
click to vote
CC
2015
Springer
10 years 2 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...
115
click to vote
CC
2015
Springer
10 years 2 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...
100
click to vote
CASES
2015
ACM
10 years 2 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...
150
click to vote
CASES
2015
ACM
10 years 2 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 ...
108
click to vote
CASES
2015
ACM
10 years 2 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...
135
click to vote
CC
2016
Springer
10 years 20 days 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...
163
click to vote
CC
2016
Springer
10 years 20 days 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...
150
click to vote
CC
2016
Springer
10 years 20 days 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...
137
click to vote
CC
2016
Springer
10 years 20 days 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...