8 search results - page 2 / 2 » Improving the Accuracy of Petri Net-Based Analysis of Concur... |
COMPSAC
2009
IEEE
14 years 1 months ago
2009
IEEE
Developing concurrent programs is intrinsically difficult. They are subject to programming errors that are not present in traditional sequential programs. Our current work is to ...
CAV
2007
Springer
14 years 12 days ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
KDD
1998
ACM
13 years 10 months ago
1998
ACM
BAYDA is a software package for flexible data analysis in predictive data mining tasks. The mathematical model underlying the program is based on a simple Bayesian network, the Na...