A GRAPH-THEORETIC APPROACH FOR TIMING ANALYSIS AND ITS IMPLEMENTATION

被引:65
作者
JAHANIAN, F
MOK, AKL
机构
关键词
D O I
10.1109/TC.1987.5009519
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:961 / 975
页数:15
相关论文
共 10 条
[1]  
BLEDSOE WW, 1980, LECTURE NOTES COMPUT, P70
[2]  
Chang C. L., 1973, SYMBOLIC LOGICAL MEC, P62
[4]   SAFETY ANALYSIS OF TIMING PROPERTIES IN REAL-TIME SYSTEMS [J].
JAHANIAN, F ;
MOK, AK .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (09) :890-904
[5]  
Lawler E.L., 1976, COMBINATORIAL OPTIMI
[6]  
MOK AK, 1985, 9TH P IEEE COMPSAC, P174
[7]  
SAHNI S, 1985, CONCEPTS DISCRETE MA, P30
[8]   PRACTICAL DECISION PROCEDURE FOR ARITHMETIC WITH FUNCTION SYMBOLS [J].
SHOSTAK, RE .
JOURNAL OF THE ACM, 1979, 26 (02) :351-360
[9]  
[No title captured]
[10]  
[No title captured]