TWLinuX : Operating System Support for Optimistic Parallel Discrete Event Simulation. - Subramania Sharma; Matthew Thazhuthaveetil (HiPC, 2001)