Leveraging 3D PCRAM technologies to reduce checkpoint overhead for future exascale systems - Dong, Xiangyu; Muralimanohar, Naveen; Jouppi, Norm; Kaufmann, Richard; Xie, Yuan (Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, 2009)
Keywords: Bandwidth; Checkpointing; Computing methodologies -- Parallel computing methodologies -- Parallel programming languages; Error analysis; File systems; General and reference -- Cross-computing tools and techniques -- Performance; Hardware; Hardware -- Hardware validation -- Functional verification -- Assertion checking; Phase change random access memory; Program processors; Software; Software and its engineering -- Software creation and management -- Software verification and validation; Software and its engineering -- Software creation and management -- Software verification and validation -- Operational analysis; Software and its engineering -- Software notations and tools -- General programming languages -- Language types -- Parallel programming languages; Software and its engineering -- Software organization and properties -- Extra-functional properties -- Software fault tolerance -- Checkpoint -- restart; Theory of computation -- Semantics and reasoning -- Program reasoning -- Assertions; Three-dimensional displays; Transient analysis