61 search results - page 13 / 13 » Partial Order Reduction for Rewriting Semantics of Programmi... |
EUROSYS
2008
ACM
14 years 8 months 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...