By partitioning {HEAD ~ data} into {TAIL ~ segments} and by defining checkpoints based upon the segmentation, a process may be restarted at each defined checkpoint 
into
By partitioning { HEAD ~ data } into { TAIL ~ segments } and by defining checkpoints based upon the segmentation , a process may be restarted at each defined checkpoint
OTH OTH HEAD HEAD HEAD HEAD HEAD REL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH