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 |
|
| Citation |
Vol. 6 No. 1 pp. 192~203 |
|
Keywords |
Refinement Design Method, Real-Time Software, Timed Weak Simulation Relation, Verification, Real-Time Scheduling |
|
Title |
A Fuzzy Algorithm for Scheduling Periodic Tasks on Multiprocessor Soft Real-Time Systems |
|
Author |
|
| Citation |
Vol. 6 No. 3 pp. 88-97 |
|
Keywords |
Multiprocessor real-time scheduling, FGEDF, FGMLF, FPEDF, FPMLF. |
