Checking of Timing Constraint Violation Based on Graph in Reactive Systems
スポンサーリンク
概要
- 論文の詳細を見る
The detection of timing constraint violation is crucial in reactive systems. A method of detecting deadline violation based on Floyd-Warshall shortest path algorithm has been proposed by Chodrow et al. We extend this method to detect the violation of minimum delay time in reactive systems where the repetition of event sequences frequently occurs.
- 社団法人電子情報通信学会の論文
- 2002-04-01
著者
関連論文
- Frequent aberrant methylation of the promoter region of sterile α motif domain 14 in pulmonary adenocarcinoma
- An Extract of the Root of Lithospermun erythrorhison Accelerates Wound Healing in Diabetic Mice
- A Formal Technique to Analyze Event Concurrent Response
- Laminin-511, inducer of hair growth, is down-regulated and its suppressor in hair growth, laminin-332 up-regulated in chemotherapy-induced alopecia
- Increased cytoplasmic S100A6 expression is associated with pulmonary adenocarcinoma progression
- Sensitization from cobalt chloride by patch testing
- State Fence Diagrams : A Visual Formalism to Analyze Discrete-Event Systems
- A case of contact dermatitis due to arbutin
- Spatial and temporal control of laminin-511 and -332 expressions during catagen
- The papillary structure identified by a novel nail wound healing model in mice
- Yellow urticaria associated with hepatitis type-C liver cirrhosis
- Properties of Role-Based Access Control in a Teaching Management System(Educational Technology)
- Checking of Timing Constraint Violation Based on Graph in Reactive Systems
- Effect of Normal Human Erythrocytes on Blood Rheology in Microcirculation
- Allergic contact dermatitis caused by gum rosin and wood rosin in Tako-no-Suidashi ointment
- Recalcitrant subungual verruca of a child successfully treated with combination use of traditional Japanese herbal medicines, shokenchuto and makyoyokukanto
- Atypical epidermolysis bullosa simplex with a missense keratin 14 mutation p.Arg125Cys