Aloysius Mok
Aloysius Mok
Professor of Computer Science, University of Texas at Austin
Verified email at cs.utexas.edu
TitleCited byYear
Fundamental design problems of distributed systems for the hard-real-time environment
AKL Mok
Massachusetts Institute of Technology, 1983
13411983
Safety analysis of timing properties in real-time systems
F Jahanian, AKL Mok
IEEE Transactions on software engineering, 890-904, 1986
8921986
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
7821990
Real time scheduling theory: A historical perspective
L Sha, T Abdelzaher, A Cervin, T Baker, A Burns, G Buttazzo, M Caccamo, ...
Real-time systems 28 (2-3), 101-155, 2004
7312004
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
6572008
Multiprocessor online scheduling of hard-real-time tasks
ML Dertouzos, AK Mok
IEEE Transactions on software engineering 15 (12), 1497-1506, 1989
6511989
A multiframe model for real-time tasks
AK Mok, D Chen
IEEE transactions on Software Engineering 23 (10), 635-645, 1997
3731997
MULTIPROCESSOR SCHEDULING IN A HARD REAL-TIME ENVIRONMENT.
AKL Mok, ML Dertouzos
Proc Tex Conf Comput Syst 7th, 2017
3282017
Across the great divide: Bridging the gap between understanding of toddlers' and older children's thinking
Z Chen, RS Siegler, MW Daehler
Monographs of the Society for Research in Child Development, i-105, 2000
3212000
Modechart: A specification language for real-time systems
F Jahanian, AK Mok
IEEE Transactions on Software engineering 20 (12), 933-947, 1994
3011994
Generalized multiframe tasks
S Baruah, D Chen, S Gorinsky, A Mok
Real-Time Systems 17 (1), 5-22, 1999
2921999
Why wirelesshart
D Chen, M Nixon, A Mok
WirelessHART™, 195-199, 2010
2852010
A model of hierarchical real-time virtual resources
X Feng, AK Mok
23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002., 26-35, 2002
2772002
Resource partition for real-time systems
AK Mok, X Feng, D Chen
Proceedings Seventh IEEE Real-Time Technology and Applications Symposium, 75-84, 2001
2772001
Quantitative temporal reasoning
EA Emerson, AK Mok, AP Sistla, J Srinivasan
International Conference on Computer Aided Verification, 136-145, 1990
2561990
Load adjustment in adaptive real-time systems
TW Kuo, AK Mok
[1991] Proceedings Twelfth Real-Time Systems Symposium, 160-170, 1991
2331991
Opportunities and obligations for physical computing systems
JA Stankovic, I Lee, A Mok, R Rajkumar
Computer 38 (11), 23-31, 2005
2122005
Improvement in feasibility testing for real-time tasks
I Ripoll, A Crespo, AK Mok
Real-Time Systems 11 (1), 19-39, 1996
1961996
A graph-theoretic approach for timing analysis and its implementation
F Jahanian, AKL Mok
IEEE Transactions on Computers 100 (8), 961-975, 1987
1921987
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
1892011
The system can't perform the operation now. Try again later.
Articles 1–20