SymPLFIED: Symbolic Program-Level Fault Injection and Error Detection Framework
- 期刊名称IEEE Transactions on Computers
- 作者Pattabiraman, Karthik; Nakka, Nithin M.; Kalbarczyk, Zbigniew T.; Iyer, Ravishankar K.
- 卷第62卷
- 期第11期
- 印刷ISSN0018-9340
- 文件大小3232.39KB
- 发表时间2013-11
- DOI10.1109/tc.2012.219
- 页码2292-2307
Cover 1 (Outside Front Cover) and Cover 2 (Inside Front Cover)Plastics Engineering · 2019
Cover 1 (Outside Front Cover) and Cover 2 (Inside Front Cover)Plastics Engineering · 2019
Cover 1 (Outside Front Cover) and Cover 2 (Inside Front Cover)Plastics Engineering · 2020
Cover 1 (Outside Front Cover) and Cover 2 (Inside Front Cover)Plastics Engineering · 2020
Front cover - IEEE Nanotechnology Magazine - Front cover2008
Front cover - IEEE Nanotechnology Magazine - Front cover2008
Front cover - IEEE Nanotechnology Magazine - Front cover2008
Front cover - IEEE Communications Magazine - Front cover2007
?-Cycloheptatrienyl tungsten chemistryGreen, Malcolm L. H.; Ng, Dennis K. P. · Journal of the Chemical Society, Chemical Communications · 1992
Rules for ring closureBaldwin, Jack E. · Journal of the Chemical Society, Chemical Communications · 1976
Aldehydes and ketones from thioacetalsFetizon, Marcel; Jurion, Michel · Journal of the Chemical Society, Chemical Communications · 1972
Front coverZhang, Xian-Ming; Zhao, Yan-Fei; Wu, Hai-Shun; Batten, Stuart R.; Weng Ng, Seik · Journal of the Chemical Society, Chemical Communications · 1995
Ozonolysis of [60]fullereneMalhotra, Ripudaman; Kumar, Shailendra; Satyam, Apparao · Journal of the Chemical Society, Chemical Communications · 1994
Method for alkylating lactonesHerrmann, J. L.; Schlessinger, R. H. · Journal of the Chemical Society, Chemical Communications · 1973
Total synthesis of (�)-mycelianamideShinmon, Noboru; Cava, Michael P.; Brown, Roger F. C. · Journal of the Chemical Society, Chemical Communications · 1980
Superacid sites in zeolitesMirodatos, Claude; Barthomeuf, Denise · Journal of the Chemical Society, Chemical Communications · 1981