Towards Real-Time Result Verification Using Checkpointing in Volunteer Computing Systems. - Muhammad Nouman Durrani; Tasmiyah Iqbal; Jawwad Ahmed Shamsi; Nadeem Kafi Khan (ISORC, 2015)