1222 search results - page 68 / 245 » A Bayesian Approach to Model Checking Biological Systems |
253
click to vote
FMCAD
1998
Springer
15 years 8 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
131
click to vote
SAS
2009
Springer
16 years 4 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
112
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
166
Voted
TACAS
2012
Springer
13 years 11 months ago
2012
Springer
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
120
Voted
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
It is widely conjectured that the excellent ROC performance of biological vision systems is due in large part to the exploitation of context at each of many levels in a part/whole...