Keyword : control flow graph


Over-Approximated Control Flow Graph Construction on Pure Esterel
Chul-Joo KIM Jeong-Han YUN Seonggun KIM Kwang-Moo CHOE Taisook HAN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/05/01
Vol. E93-D  No. 5 ; pp. 985-993
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Program Analysis
Keyword: 
esterelcontrol flow graphsynchronous language
 Summary | Full Text:PDF(979.9KB)

Visualization and Formalization of User Constraints for Tight Estimation of Worst-Case Execution Time
Jong-In LEE Ho-Jung BANG Tai-Hyo KIM Sung-Deok CHA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/01/01
Vol. E92-D  No. 1 ; pp. 24-31
Type of Manuscript:  PAPER
Category: Dependable Computing
Keyword: 
worst-case execution timeuser constraintcontrol flow graphfinite automata
 Summary | Full Text:PDF(1.2MB)