2000 search results - page 336 / 400 » Program Transformation and Proof Transformation |
221
click to vote
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...
143
Voted
ACSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Malicious code is an increasingly important problem that threatens the security of computer systems. The traditional line of defense against malware is composed of malware detecto...
142
Voted
PPAM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
126
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
Even after carefully tuning the memory characteristics to the application properties and the processor speed, during the execution of real applications there are times when the pr...
141
click to vote
ISCA
2005
IEEE
15 years 9 months ago
2005
IEEE
Scaling feature size improves processor performance but increases each device’s susceptibility to defects (i.e., hard errors). As a result, fabrication technology must improve s...