406 search results - page 5 / 82 » Boosting Using Branching Programs |
132
click to vote
LOPSTR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
124
click to vote
MICRO
1995
IEEE
15 years 5 months ago
1995
IEEE
Accurate instruction fetch and branch prediction is increasingly important on today’s wide-issue architectures. Fetch prediction is the process of determining the next instructi...
125
click to vote
MICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
Value prediction breaks data dependencies in a program thereby creating instruction level parallelism that can increase program performance. Hardware based value prediction techni...
119
click to vote
DIS
2010
Springer
15 years 4 days ago
2010
Springer
In this paper, we consider finding a small set of substring patterns which classifies the given documents well. We formulate the problem as 1 norm soft margin optimization problem ...
127
click to vote
ISCA
2007
IEEE
15 years 8 months ago
2007
IEEE
Indirect branches have become increasingly common in modular programs written in modern object-oriented languages and virtualmachine based runtime systems. Unfortunately, the pred...