Obserwuj
Aloysius Mok
Aloysius Mok
Professor of Computer Science, University of Texas at Austin
Zweryfikowany adres z cs.utexas.edu
Tytuł
Cytowane przez
Cytowane przez
Rok
Fundamental design problems of distributed systems for the hard-real-time environment
AKL Mok
Massachusetts Institute of Technology, 1983
15781983
Safety analysis of timing properties in real-time systems
F Jahanian, AKL Mok
IEEE Transactions on software engineering, 890-904, 1986
10081986
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
10011990
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
8942004
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
8832008
Multiprocessor online scheduling of hard-real-time tasks
ML Dertouzos, AK Mok
IEEE Transactions on software engineering 15 (12), 1497-1506, 1989
7341989
A multiframe model for real-time tasks
AK Mok, D Chen
IEEE transactions on Software Engineering 23 (10), 635-645, 1997
4701997
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
3832010
Generalized multiframe tasks
S Baruah, D Chen, S Gorinsky, A Mok
Real-Time Systems 17, 5-22, 1999
3671999
Multiprocessor scheduling in a hard real-time environment
AK Mok
Proc. Seventh Texas Conf. Compt. Syst., 1978
3561978
Resource partition for real-time systems
AK Mok, X Feng, D Chen
Proceedings Seventh IEEE Real-Time Technology and Applications Symposium, 75-84, 2001
3302001
Modechart: A specification language for real-time systems
F Jahanian, AK Mok
IEEE Transactions on Software engineering 20 (12), 933-947, 1994
3301994
A model of hierarchical real-time virtual resources
X Feng, AK Mok
23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002., 26-35, 2002
3092002
Quantitative temporal reasoning
EA Emerson, AK Mok, AP Sistla, J Srinivasan
Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991
2791991
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
2771991
Opportunities and obligations for physical computing systems
JA Stankovic, I Lee, A Mok, R Rajkumar
Computer 38 (11), 23-31, 2005
2682005
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
2522011
Improvement in feasibility testing for real-time tasks
I Ripoll, A Crespo, AK Mok
Real-Time Systems 11 (1), 19-39, 1996
2321996
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
2281989
A graph-theoretic approach for timing analysis and its implementation
F Jahanian, AKL Mok
IEEE Transactions on Computers 100 (8), 961-975, 1987
2111987
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20