To search, Click below search items.
All Published Papers Search Service
Title
Timed Weak Simulation Verification and its application to Stepwise Refinement of Real-Time Software
Author
Satoshi Yamane
Vol. 6 No. 1 pp. 192~203
Keywords
Refinement Design Method, Real-Time Software, Timed Weak Simulation Relation, Verification, Real-Time Scheduling
A Fuzzy Algorithm for Real-Time Scheduling of Soft Periodic Tasks
Mojtaba Sabeghi, Mahmoud Naghibzadeh
Vol. 6 No. 2 pp. 227~236
Fuzzy real time scheduling, EDF, LLF, MFDF, MFLF.
A Logic-based Branch and Bound Algorithm for Resource Constrained Scheduling Problem
Juyang Zhang, Jigui Sun, Qingyun Yang
Vol. 6 No. 2 pp. 237~241
Scheduling, Logic, Branch and Bound, Constraint Programming
A Fuzzy Algorithm for Scheduling Periodic Tasks on Multiprocessor Soft Real-Time Systems
Mojtaba Sabeghi, Hossein Deldari
Vol. 6 No. 3 pp. 88-97
Multiprocessor real-time scheduling, FGEDF, FGMLF, FPEDF, FPMLF.