490 search results - page 21 / 98 » Accuracy of Techniques for the Logical Analysis of Data |
107
Voted
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
74
Voted
ICML
2000
IEEE
16 years 1 months ago
2000
IEEE
Cross-validation is an established technique for estimating the accuracy of a classifier and is normally performed either using a number of random test/train partitions of the dat...
86
Voted
BTW
2005
Springer
15 years 6 months ago
2005
Springer
Abstract: An effective processing and analysis of data streams is of utmost importance for a plethora of emerging applications like network monitoring, traffic management, and fi...
110
Voted
CAV
2007
Springer
15 years 6 months 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...
143
click to vote
ASPLOS
1996
ACM
15 years 4 months ago
1996
ACM
Branch prediction is an important mechanism in modern microprocessor design. The focus of research in this area has been on designing new branch prediction schemes. In contrast, v...