SCI 2000 - ISCAS
This proof is given in terms of Duration Calculus which provides abstraction for random preemption of processor. Compared with other approaches, this proof relies on many intuitive facts. Therefore this proof is more intuitive, while it is still formal. 地址: Chinese Acad Sci, Inst Software, Lab Comp Sci & Technol, Beijing 100080, Peoples R China ................
................
To fulfill the demand for quickly locating and searching documents.
It is intelligent file search solution for home and business.