Incremental Checkpointing of Large State Simulation Models with Write-Intensive Events via Memory Update Correlation on Buddy Pages | IEEE Conference Publication | IEEE Xplore