Fundamental design problems of distributed systems for the hard-real-time environment AKL Mok Massachusetts Institute of Technology, 1983 | 1582 | 1983 |
Preemptively scheduling hard-real-time sporadic tasks on one processor SK Baruah, AK Mok, LE Rosier [1990] Proceedings 11th Real-Time Systems Symposium, 182-190, 1990 | 1019 | 1990 |
Safety analysis of timing properties in real-time systems F Jahanian, AKL Mok IEEE Transactions on software engineering, 890-904, 1986 | 1011 | 1986 |
Real time scheduling theory: A historical perspective L Sha, T Abdelzaher, KE Årzén, A Cervin, T Baker, A Burns, G Buttazzo, ... Real-time systems 28, 101-155, 2004 | 909 | 2004 |
WirelessHART: Applying wireless technology in real-time industrial process control J Song, S Han, A Mok, D Chen, M Lucas, M Nixon, W Pratt 2008 IEEE Real-Time and Embedded Technology and Applications Symposium, 377-386, 2008 | 897 | 2008 |
Multiprocessor online scheduling of hard-real-time tasks ML Dertouzos, AK Mok IEEE Transactions on software engineering 15 (12), 1497-1506, 1989 | 741 | 1989 |
A multiframe model for real-time tasks AK Mok, D Chen IEEE transactions on Software Engineering 23 (10), 635-645, 1997 | 471 | 1997 |
Why wirelesshart D Chen, M Nixon, A Mok, D Chen, M Nixon, A Mok WirelessHART™: Real-Time Mesh Network for Industrial Automation, 195-199, 2010 | 390 | 2010 |
Generalized multiframe tasks S Baruah, D Chen, S Gorinsky, A Mok Real-Time Systems 17, 5-22, 1999 | 367 | 1999 |
Multiprocessor scheduling in a hard real-time environment AK Mok Proc. Seventh Texas Conf. Compt. Syst., 1978 | 352 | 1978 |
Resource partition for real-time systems AK Mok, X Feng, D Chen Proceedings Seventh IEEE Real-Time Technology and Applications Symposium, 75-84, 2001 | 333 | 2001 |
Modechart: A specification language for real-time systems F Jahanian, AK Mok IEEE Transactions on Software engineering 20 (12), 933-947, 1994 | 332 | 1994 |
A model of hierarchical real-time virtual resources X Feng, AK Mok 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002., 26-35, 2002 | 311 | 2002 |
Quantitative temporal reasoning EA Emerson, AK Mok, AP Sistla, J Srinivasan Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991 | 281 | 1991 |
Load adjustment in adaptive real-time systems TW Kuo, AK Mok Proceedings Twelfth Real-Time Systems Symposium, 160,161,162,163,164,165,166 …, 1991 | 279 | 1991 |
Opportunities and obligations for physical computing systems JA Stankovic, I Lee, A Mok, R Rajkumar Computer 38 (11), 23-31, 2005 | 275 | 2005 |
Reliable and real-time communication in industrial wireless mesh networks S Han, X Zhu, AK Mok, D Chen, M Nixon 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2011 | 258 | 2011 |
Improvement in feasibility testing for real-time tasks I Ripoll, A Crespo, AK Mok Real-Time Systems 11 (1), 19-39, 1996 | 236 | 1996 |
The pinwheel: A real-time scheduling problem R Holte, A Mok, L Rosier, I Tulchinsky, D Varvel Proceedings of the 22nd Hawaii International Conference of System Science …, 1989 | 232 | 1989 |
A graph-theoretic approach for timing analysis and its implementation F Jahanian, AKL Mok IEEE Transactions on Computers 100 (8), 961-975, 1987 | 208 | 1987 |