4167 search results - page 386 / 834 » Regression model checking |
132
click to vote
EUROPAR
2008
Springer
15 years 6 months ago
2008
Springer
Recent studies have showed the effectiveness of job co-scheduling in alleviating shared-cache contention on Chip Multiprocessors. Although program inputs affect cache usage and thu...
174
Voted
DIS
2001
Springer
15 years 9 months ago
2001
Springer
In the context of classification problems, algorithms that generate multivariate trees are able to explore multiple representation languages by using decision tests based on a com...
154
Voted
BMCBI
2006
15 years 5 months ago
2006
Background: Diverse modeling approaches viz. neural networks and multiple regression have been followed to date for disease prediction in plant populations. However, due to their ...
125
Voted
ACSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
The individual vulnerabilities of hosts on a network can be combined by an attacker to gain access that would not be possible if the hosts were not interconnected. Currently avail...
123
click to vote
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...