1356 search results - page 204 / 272 » The ideal of verified software |
139
click to vote
CODES
2007
IEEE
16 years 16 days ago
2007
IEEE
In battery-powered embedded systems, dedicated circuitry is used to convert stored energy into a form that can be directly used by processors. These power regulation devices seek ...
171
click to vote
ISPASS
2007
IEEE
16 years 14 days ago
2007
IEEE
— The design trend towards CMPs has made the simulation of multiprocessor systems a necessity and has also made multiprocessor systems widely available. While a serial multiproce...
187
click to vote
LCTRTS
2007
Springer
16 years 10 days ago
2007
Springer
Set-associative caches are traditionally managed using hardwarebased lookup and replacement schemes that have high energy overheads. Ideally, the caching strategy should be tailor...
195
click to vote
CGO
2003
IEEE
15 years 11 months ago
2003
IEEE
A dynamic binary translation system for a co-designed virtual machine is described and evaluated. The underlying hardware directly executes an accumulator-oriented instruction set...
172
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Testing is often performed frequently during development to ensure software reliability by catching regression errors quickly. However, stopping frequently to test also wastes tim...