77 search results - page 1 / 16 » Fast Binary Image Processing Using Binary Decision Diagrams |
CVIU
1998
13 years 4 months ago
1998
ISCAS
1994
IEEE
13 years 9 months ago
1994
IEEE
ICCAD
1997
IEEE
13 years 9 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
13 years 10 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 3 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...