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 22 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...