1226 search results - page 246 / 246 » Generating Abstractions from Static Domain Analysis |
126
click to vote
PLDI
2011
ACM
14 years 5 months 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...