502 search results - page 101 / 101 » Model Checking Timed Systems with Priorities |
KDD
2000
ACM
13 years 9 months ago
2000
ACM
We describe an application of data mining and decision analysis to the problem of die-level functional test in integrated circuit manufacturing. Integrated circuits are fabricated...
IANDC
2011
13 years 8 days ago
2011
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a res...