56 search results - page 12 / 12 » Convergence Testing in Term-Level Bounded Model Checking |
136
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...