33 search results - page 7 / 7 » Efficient Rule Base Verification Using Binary Decision Diagr... |
ECAI
2008
Springer
13 years 7 months ago
2008
Springer
Modern feature-rich telecommunications services offer significant opportunities to human users. To make these services more usable, facilitating personalisation is very important s...
TVLSI
2008
13 years 5 months ago
2008
Exact approaches to combinational equivalence checking, such as automatic test pattern generation-based, binary decision diagrams (BDD)-based, satisfiability-based, and hybrid appr...
PODS
2005
ACM
14 years 5 months ago
2005
ACM
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...