61 search results - page 13 / 13 » Partial Order Reduction for Rewriting Semantics of Programmi... |
116
click to vote
EUROSYS
2008
ACM
16 years 4 days ago
2008
ACM
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...