Keyword : failures


Improving Robustness via Disjunctive Statements in Imperative Programming
Keehang KWON Sungwoo HUR Mi-Young PARK 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/09/01
Vol. E96-D  No. 9 ; pp. 2036-2038
Type of Manuscript:  Special Section LETTER (Special Section on Dependable Computing)
Category: 
Keyword: 
imperative programmingexceptionstask logicfailures
 Summary | Full Text:PDF

Ultra Dependable Processor
Shuichi SAKAI Masahiro GOSHIMA Hidetsugu IRIE 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 2008/09/01
Vol. E91-C  No. 9 ; pp. 1386-1393
Type of Manuscript:  INVITED PAPER (Special Section on Advanced Processors Based on Novel Concepts in Computation)
Category: 
Keyword: 
microprocessor architecturedependable computingattacksfaultserrorsfailuressoft errorstiming errorstamper resistanceinformation flowinjection attackdependability manager
 Summary | Full Text:PDF

Critical Slice-Based Fault Localization for Any Type of Error
Takao SHIMOMURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/06/25
Vol. E76-D  No. 6 ; pp. 656-667
Type of Manuscript:  PAPER
Category: Software Systems
Keyword: 
algorithmic debuggingerrorsfailuresfaultsslicesverification
 Summary | Full Text:PDF