6258 search results - page 261 / 1252 » Applied Text Generation |
124
click to vote
FORTE
1998
15 years 5 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
AIPS
1994
15 years 5 months ago
1994
Manyreal-world planning problems require generating plans that maximizethe parallelism inherent in a problem. There are a numberof partial-order planners that generate such plans;...
127
click to vote
ASE
2010
15 years 4 months ago
2010
Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states t...
142
click to vote
CCE
2007
15 years 4 months ago
2007
The problem of short-term scheduling under uncertainty is addressed in this paper through a multiobjective optimization framework that incorporates economic expectation, robustnes...
157
click to vote
ET
1998
15 years 4 months ago
1998
This paper explores the design of efficient test sets and test-pattern generators for online BIST. The target applications are high-performance, scalable datapath circuits for whi...