Efficient modeling and optimizing of checkpointing in concurrent component-based software systems
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- May 01, 2018
- Source ID
- 10.1016/j.jss.2018.01.032
Entities
People
- Daniel A. Menascé
- Noor Bajunaid
Organizations
- Air Force Office of Scientific Research