Segui
Aloysius Mok
Aloysius Mok
Professor of Computer Science, University of Texas at Austin
Email verificata su cs.utexas.edu
Titolo
Citata da
Citata da
Anno
Fundamental design problems of distributed systems for the hard-real-time environment
AKL Mok
Massachusetts Institute of Technology, 1983
15761983
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
9971990
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
8882004
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
8742008
Multiprocessor online scheduling of hard-real-time tasks
ML Dertouzos, AK Mok
IEEE Transactions on software engineering 15 (12), 1497-1506, 1989
7331989
A multiframe model for real-time tasks
AK Mok, D Chen
IEEE transactions on Software Engineering 23 (10), 635-645, 1997
4671997
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
3822010
Generalized multiframe tasks
S Baruah, D Chen, S Gorinsky, A Mok
Real-Time Systems 17, 5-22, 1999
3651999
Multiprocessor scheduling in a hard real-time environment
AK Mok
Proc. Seventh Texas Conf. Compt. Syst., 1978
3551978
Modechart: A specification language for real-time systems
F Jahanian, AK Mok
IEEE Transactions on Software engineering 20 (12), 933-947, 1994
3301994
Resource partition for real-time systems
AK Mok, X Feng, D Chen
Proceedings Seventh IEEE Real-Time Technology and Applications Symposium, 75-84, 2001
3282001
A model of hierarchical real-time virtual resources
X Feng, AK Mok
23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002., 26-35, 2002
3072002
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
2751991
Opportunities and obligations for physical computing systems
JA Stankovic, I Lee, A Mok, R Rajkumar
Computer 38 (11), 23-31, 2005
2672005
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
2311996
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
2251989
A graph-theoretic approach for timing analysis and its implementation
F Jahanian, AKL Mok
IEEE Transactions on Computers 100 (8), 961-975, 1987
2111987
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20