Prati
Aloysius Mok
Aloysius Mok
Professor of Computer Science, University of Texas at Austin
Potvrđena adresa e-pošte na cs.utexas.edu
Naslov
Citirano
Citirano
Godina
Fundamental design problems of distributed systems for the hard-real-time environment
AKL Mok
Massachusetts Institute of Technology, 1983
14841983
Safety analysis of timing properties in real-time systems
F Jahanian, AKL Mok
IEEE Transactions on software engineering, 890-904, 1986
9461986
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
9321990
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), 101-155, 2004
8432004
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
7982008
Multiprocessor online scheduling of hard-real-time tasks
ML Dertouzos, AK Mok
IEEE Transactions on software engineering 15 (12), 1497-1506, 1989
7041989
A multiframe model for real-time tasks
AK Mok, D Chen
IEEE transactions on Software Engineering 23 (10), 635-645, 1997
4481997
Why wirelesshart
D Chen, M Nixon, A Mok
WirelessHART™, 195-199, 2010
3642010
Generalized multiframe tasks
S Baruah, D Chen, S Gorinsky, A Mok
Real-Time Systems 17 (1), 5-22, 1999
3551999
Multiprocessor scheduling in a hard real-time environment
AK Mok
Proc. Seventh Texas Conf. Compt. Syst., 1978
3441978
Modechart: A specification language for real-time systems
F Jahanian, AK Mok
IEEE Transactions on Software engineering 20 (12), 933-947, 1994
3201994
Resource partition for real-time systems
AK Mok, X Feng, D Chen
Proceedings Seventh IEEE Real-Time Technology and Applications Symposium, 75-84, 2001
3062001
A model of hierarchical real-time virtual resources
X Feng, AK Mok
23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002., 26-35, 2002
2972002
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
2681991
Quantitative temporal reasoning
EA Emerson, AK Mok, AP Sistla, J Srinivasan
International Conference on Computer Aided Verification, 136-145, 1990
2681990
Opportunities and obligations for physical computing systems
JA Stankovic, I Lee, A Mok, R Rajkumar
Computer 38 (11), 23-31, 2005
2602005
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
2392011
Improvement in feasibility testing for real-time tasks
I Ripoll, A Crespo, AK Mok
Real-Time Systems 11 (1), 19-39, 1996
2281996
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
2091989
A graph-theoretic approach for timing analysis and its implementation
F Jahanian, AKL Mok
IEEE Transactions on Computers 100 (8), 961-975, 1987
2011987
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20