698 search results - page 58 / 140 » Fast functional simulation using branching programs |
127
click to vote
ISSS
2002
IEEE
15 years 6 months ago
2002
IEEE
Adding a small loop cache to a microprocessor has been shown to reduce average instruction fetch energy for various sets of embedded system applications. With the advent of core-b...
100
Voted
IJCAI
1989
15 years 2 months ago
1989
This paper highlights a phenomenon that causes deductively learned knowledge to be harmful when used for problem solving. The problem occurs when deductive problem solvers encount...
129
click to vote
ICCAD
2001
IEEE
15 years 10 months ago
2001
IEEE
— In this study we introduce NetBench, a benchmarking suite for network processors. NetBench contains a total of 9 applications that are representative of commercial applications...
116
click to vote
CAV
2001
Springer
15 years 6 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
116
click to vote
VLSISP
2008
15 years 1 months ago
2008
Advanced bit manipulation operations are not efficiently supported by commodity word-oriented microprocessors. Programming tricks are typically devised to shorten the long sequence...