1159 search results - page 157 / 232 » Binary Decision Graphs |
131
click to vote
SDM
2009
SIAM
16 years 15 days ago
2009
SIAM
An established method to detect concept drift in data streams is to perform statistical hypothesis testing on the multivariate data in the stream. Statistical decision theory off...
116
Voted
ICCD
2005
IEEE
16 years 6 days ago
2005
IEEE
In recent years, Boolean Satisfiability (SAT) has been shown to hold potential for Unbounded Model Checking (UMC). The success of SAT-based UMC largely relies on (i) the SAT solv...
141
click to vote
ICCAD
2002
IEEE
16 years 5 days ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
125
Voted
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
Prior work has shown that reduced, ordered, binary decision diagrams (BDDs) can be a powerful tool for program trace analysis and visualization. Unfortunately, it can take hours o...
100
Voted
WWIC
2009
Springer
15 years 10 months ago
2009
Springer
As a transport layer protocol SCTP uses end to end metrics, such as Retransmission Time Out (RTO), to manage mobility handover. Our investigation illustrates that Wireless LAN (WLA...