Concepedia

Timing analysis of MRL: A real-time rule-based system

Chih-Kan Wang, Aloysius K. Mok

Real-Time Systems · 1993 · 12 citations · 11 references

Concepts

EngineeringComputer EngineeringComputer ScienceComputer ArchitectureFormal MethodsReal-time SystemsReal-time Systems ArchitectureReal-time Systems DesignSchedulability AnalysisTiming AnalysisTiming ModelingWorst-case Execution Time AnalysisReal-time System ModelsStatic Timing AnalysisTiming Rule Checking

References

11

Rete: A fast algorithm for the many pattern/many object pattern match problem

Charles L. Forgy · Artificial Intelligence · 1982 · 2.6K citations

Computing, Computer Science, Algorithms +9

Real-Time Euclid: A language for reliable real-time systems

Eugene Kligerman, Alexander D. Stoyenko · IEEE Transactions on Software Engineering · 1986 · 297 citations

Computing, Computer Engineering, Computer Science +9

Real-time knowledge-based systems

Thomas J. Laffey, Preston A. Cox, James L. Schmidt et al. · AI Magazine · 1988 · 296 citations

Computing, Computer Science, Systems Engineering +9

TREAT: a better match algorithm for AI production systems

Daniel P. Miranker · National Conference on Artificial Intelligence · 1987 · 242 citations

Computing, Computer Science, Computer Systems +10

Expressing and maintaining timing constraints in FLEX

Kwei-Jay Lin, S. Natarajan · 2003 · 73 citations

Computing, Computer Science, Computer Systems +16