an intuitive formal proof for deadline driven scheduler
| Data(s) |
2008
|
|---|---|
| Resumo |
United Nations University, Int. Inst. for Softw. Technol., China; Vietnam National University, Hanoi, Vietnam; Vietnam Academy of Science and Technology, Vietnam |
| Identificador | |
| Fonte |
Zhan Naijun.an intuitive formal proof for deadline driven scheduler,Journal of Computer Science and Technology,2008,16(2):146-158 |
| Palavras-Chave | #duration calculus #deadline driven scheduler #real-time |
| Tipo |
期刊论文 |
