2935 search results - page 493 / 587 » An Integrated Approach to High Integrity Software Verificati... |
201
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
As scientific research becomes more data intensive, there is an increasing need for scalable, reliable, and high performance storage systems. Such data repositories must provide b...
156
click to vote
CGF
2010
15 years 6 months ago
2010
We present a flexible and highly efficient hardware-assisted volume renderer grounded on the original Projected Tetrahedra (PT) algorithm. Unlike recent similar approaches, our me...
206
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In a multi-hop mobile ad hoc network (MANET) mobile nodes communicate with each other forming a cooperative radio network. Security remains a major challenge for these networks du...
211
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
—Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a...
185
click to vote
JSW
2008
15 years 5 months ago
2008
Due to the cost pressure on the health care system an increase in the need for electronic healthcare records (EHR) could be observed in the last decade, because EHRs promise massiv...