71 search results - page 15 / 15 » Practical Aspects of Automated Deduction for Program Verific... |
VLSID
2008
IEEE
14 years 2 months ago
2008
IEEE
It is well-known that varying architectural, technological and implementation aspects of embedded microprocessors, such as ARM, can produce widely differing performance and power ...