CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors

Speaker:
Eran Yahav RESCHEDULED
Date:
Wednesday, 7.3.2007, 11:00
Place:
Room 337-8 Taub Bld.

Back to the index of events