358
Voted
CC
9 years 10 months ago
2016 Springer 
This paper presents SVF, a tool that enables scalable and precise interprocedural Static Value-Flow analysis for C programs by leveraging recent advances in sparse analysis. SVF, ...
143
Voted
CC
9 years 10 months ago
2016 Springer
Given an LR(1) automaton, what are the states in which an error can be detected? For each such “error state”, what is a minimal input sentence that causes an error in this sta...
119
Voted
CC
9 years 10 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...
128
Voted
CC
9 years 10 months ago
2016 Springer  135
Voted
CC
9 years 10 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...
|
System Software