71 search results - page 15 / 15 » Practical Aspects of Automated Deduction for Program Verific... |
132
click to vote
VLSID
2008
IEEE
15 years 9 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 ...