12807 search results - page 2436 / 2562 » Application - Platform Performance Modeling and Evaluation |
155
click to vote
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...
133
Voted
PPPJ
2009
ACM
15 years 11 months ago
2009
ACM
Dynamic compilers can optimize application code specifically for observed code behavior. Such behavior does not have to be stable across the entire program execution to be bene...
153
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
148
Voted
SAC
2009
ACM
15 years 11 months ago
2009
ACM
SQL injection attacks (SQLIAs) consist of maliciously crafted SQL inputs, including control code, used against Databaseconnected Web applications. To curtail the attackers’ abil...
168
click to vote
VEE
2009
ACM
15 years 11 months ago
2009
ACM
Many data center virtualization solutions, such as VMware ESX, employ content-based page sharing to consolidate the resources of multiple servers. Page sharing identifies virtual...