6941 search results - page 801 / 1389 » Testing as a Certification Approach |
202
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
241
click to vote
TOOLS
1992
IEEE
15 years 11 months ago
1992
IEEE
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...
206
click to vote
VLDB
1992
ACM
15 years 11 months ago
1992
ACM
Service order provisioning is an important telecommunication application that automates the process of providing telephone services in response to the customer requests. It is an ...
190
click to vote
BIBE
2007
IEEE
15 years 11 months ago
2007
IEEE
Recent research has demonstrated the utility of using supervised classification systems for automatic identification of low quality microarray data. However, this approach requires...
168
click to vote
COMPSYSTECH
2007
15 years 11 months ago
2007
: A pilot interface system is developed for computer-aided diagnostic and interventional assistance of cardiologists based on clinical trials. The system includes optimized methods...