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 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.
Using the LPT and the Palmer Approaches to Solve Group Flexible Flow-shop Problems
Tzung-Pei Hong, Pei-Ying Huang, Gwoboa Horng
Vol. 6 No. 3 pp. 98-104
Group Scheduling, Flexible Flow Shop, Dynamic Programming, Palmer Algorithm.