8947 search results - page 1716 / 1790 » Improving software quality |
155
Voted
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
166
click to vote
FSE
2009
Springer
15 years 11 months ago
2009
Springer
The Advanced Encryption Standard (AES) is the Federal Information Processing Standard for symmetric encryption. It is widely believed to be secure and efficient, and is therefore b...
150
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
In many scientific applications, significant time is spent tuning codes for a particular highperformance architecture. Tuning approaches range from the relatively nonintrusive (...
121
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper analyzes the potential to apply mobile service robots in offshore oil and gas producing environments. The required hardware and software components and abilities of ...
135
click to vote
CASES
2009
ACM
15 years 11 months ago
2009
ACM
Solid State Disks (SSDs) are superior to magnetic disks from a performance point of view due to the favorable features of NAND flash memory. Furthermore, thanks to improvement on...