1159 search results - page 159 / 232 » Binary Decision Graphs |
163
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
We present an efficient protocol for privacy-preserving evaluation of diagnostic programs, represented as binary decision trees or branching programs. The protocol applies a bran...
140
click to vote
SAS
2007
Springer
15 years 11 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
158
click to vote
WABI
2007
Springer
15 years 11 months ago
2007
Springer
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
148
click to vote
IEEEPACT
2006
IEEE
15 years 11 months ago
2006
IEEE
On machines with high-performance processors, the memory system continues to be a performance bottleneck. Compilers insert prefetch operations and reorder data accesses to improve...
142
click to vote
ISQED
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper is concerned with statically analyzing the susceptibility of arbitrary combinational circuits to single event upsets that are becoming a significant concern for reliabi...