77 search results - page 1 / 16 » Fast Binary Image Processing Using Binary Decision Diagrams |
CVIU
1998
13 years 10 months ago
1998
ISCAS
1994
IEEE
14 years 3 months ago
1994
IEEE
ICCAD
1997
IEEE
14 years 3 months ago
1997
IEEE
In many veri cation techniques fast functional evaluation of a Boolean network is needed. We investigate the idea of using Binary Decision Diagrams BDDs for functional simulatio...
APLAS
2005
ACM
14 years 4 months ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
RAID
2010
Springer
13 years 9 months ago
2010
Springer
Network intrusion detection systems (NIDS) make extensive use of regular expressions as attack signatures. Internally, NIDS represent and operate these signatures using finite au...