7580 search results - page 1439 / 1516 » Prometheus design tool |
128
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
143
click to vote
HPDC
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper explores the feasibility of a cost-efficient storage architecture that offers the reliability and access performance characteristics of a high-end system. This architec...
166
click to vote
SASP
2009
IEEE
15 years 11 months ago
2009
IEEE
— As growing power dissipation and thermal effects disrupted the rising clock frequency trend and threatened to annul Moore’s law, the computing industry has switched its route...
140
click to vote
SISAP
2009
IEEE
15 years 11 months ago
2009
IEEE
—It has been a long way since the beginnings of metric space searching, where people coming from algorithmics tried to apply their background to this new paradigm, obtaining vari...
140
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
GEGICK, MICHAEL CHARLES. Predicting Attack-prone Components with Source Code Static Analyzers. (Under the direction of Laurie Williams). No single vulnerability detection techniqu...