71 search results - page 15 / 15 » Practical Aspects of Automated Deduction for Program Verific... |
93
Voted
VLSID
2008
IEEE
15 years 6 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 ...