1226 search results - page 246 / 246 » Generating Abstractions from Static Domain Analysis |
PLDI
2011
ACM
14 years 26 days ago
2011
ACM
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...