SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.
Citation: | ZHAN Naijun. An Intuitive Formal Proof for Deadline Driven Scheduler[J]. Journal of Computer Science and Technology, 2001, 16(2). |
[1] | Zhang-Jin Huang, Xiang-Xiang He, Fang-Jun Wang, Qing Shen. A Real-Time Multi-Stage Architecture for Pose Estimation of Zebrafish Head with Convolutional Neural Networks[J]. Journal of Computer Science and Technology, 2021, 36(2): 434-444. DOI: 10.1007/s11390-021-9599-5 |
[2] | Xiao-Min Zhu, Pei-Zhong Lu. Multi-Dimensional Scheduling for Real-Time Tasks on Heterogeneous Clusters[J]. Journal of Computer Science and Technology, 2009, 24(3): 434-446. |
[3] | Jing Chen, Zi-Ning Cao. Model Checking Real-Time Value-Passing Systems[J]. Journal of Computer Science and Technology, 2004, 19(4). |
[4] | Yong-You Ma, Hui Zhang, Shou-Wei Jiang. Realistic Modeling and Animation of Human Body Based on Scanned Data[J]. Journal of Computer Science and Technology, 2004, 19(4). |
[5] | ZHAO Jianhua. Checking Timed Automata for Linear Duration Properties[J]. Journal of Computer Science and Technology, 2000, 15(5): 423-429. |
[6] | Luo Tiegeng, Chen Huowang, Wang Bingshan, Wang Ji, Gong Zhenghu, Qi Zhichang. Verifying Automata Specification of Distributed Probabilistic Real-Time Systems[J]. Journal of Computer Science and Technology, 1998, 13(6): 588-596. |
[7] | Li Wei, Zhang Bo, Hilmar Jaschek. Real-Time Collision-Free Path Planning for Robots in Configuration Space[J]. Journal of Computer Science and Technology, 1994, 9(1): 37-52. |
[8] | Li Weihua, Yuan Youguang. Error Recovery in a Real-Time Multiprocessor System[J]. Journal of Computer Science and Technology, 1992, 7(1): 83-87. |
[9] | Wang Hanhu. Transaction Management in Distributed Database System POREL[J]. Journal of Computer Science and Technology, 1988, 3(2): 139-146. |
[10] | Duan Ping, Cai Xiyao. A Real-Time Interprocessor Synchronization Algorithm for Communication in Distributed Computer Systems[J]. Journal of Computer Science and Technology, 1987, 2(4): 292-302. |