8728 search results - page 312 / 1746 » On Reduct Construction Algorithms |
130
click to vote
STOC
1987
ACM
15 years 10 months ago
1987
ACM
The Boolean formula value problem is in alternating log time and, more generally, parenthesis context-free languages are in alternating log time. The evaluation of reverse Polish ...
214
click to vote
TOPNOC
2010
15 years 1 months ago
2010
Abstract. State caching is a memory reduction technique used by model checkers to alleviate the state explosion problem. It has traditionally been coupled with a depth-first search...
130
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
208
click to vote
VTS
2006
IEEE
16 years 21 days ago
2006
IEEE
— In this paper, an algorithm for scan vector ordering, PEAKASO, is proposed to minimize the peak temperature during scan testing. Given a circuit with scan and the scan vectors,...
198
click to vote
ISSTA
2006
ACM
16 years 20 days ago
2006
ACM
Existing test suite reduction techniques employed for testing web applications have either used traditional program coverage-based requirements or usage-based requirements. In thi...