381
Voted
CC
10 years 13 hour 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, ...
152
Voted
CC
10 years 13 hour 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...
130
Voted
CC
10 years 13 hour 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...
144
Voted
CC
10 years 13 hour 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