10870 search results - page 1969 / 2174 » Model Checking Programs |
121
click to vote
ICST
2009
IEEE
15 years 8 months ago
2009
IEEE
Vulnerability discovery rates need to be taken into account for evaluating security risks. Accurate projection of these rates is required to estimate the effort needed to develop ...
106
click to vote
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper, we study sensor enabled landmine networks by formulating a minimum-cost mine selection problem. The problem arises in a target defence scenario, where the object...
100
click to vote
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—We develop diverse routing schemes for dealing with multiple, possibly correlated, failures. While disjoint path protection can effectively deal with isolated single link failur...
146
click to vote
IPPS
2009
IEEE
15 years 8 months ago
2009
IEEE
The increasing demand for computational cycles is being met by the use of multi-core processors. Having large number of cores per node necessitates multi-core aware designs to ext...
150
click to vote
IPPS
2009
IEEE
15 years 8 months ago
2009
IEEE
Linear algebra algorithms are fundamental to many computing applications. Modern GPUs are suited for many general purpose processing tasks and have emerged as inexpensive high per...