Aloysius Mok
Aloysius Mok
Professor of Computer Science, University of Texas at Austin
Bestätigte E-Mail-Adresse bei cs.utexas.edu
Titel
Zitiert von
Zitiert von
Jahr
Fundamental design problems of distributed systems for the hard-real-time environment
AKL Mok
Massachusetts Institute of Technology, 1983
13591983
Safety analysis of timing properties in real-time systems
F Jahanian, AKL Mok
IEEE Transactions on software engineering, 890-904, 1986
9031986
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
8101990
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
7742004
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
7052008
Multiprocessor online scheduling of hard-real-time tasks
ML Dertouzos, AK Mok
IEEE Transactions on software engineering 15 (12), 1497-1506, 1989
6621989
A multiframe model for real-time tasks
AK Mok, D Chen
IEEE transactions on Software Engineering 23 (10), 635-645, 1997
3881997
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
3432000
Multiprocessor scheduling in a hard real-time environment
AK Mok
Proc. Seventh Texas Conf. Compt. Syst., 1978
3381978
Why wirelesshart
D Chen, M Nixon, A Mok
WirelessHART™, 195-199, 2010
3172010
Modechart: A specification language for real-time systems
F Jahanian, AK Mok
IEEE Transactions on Software engineering 20 (12), 933-947, 1994
3051994
Generalized multiframe tasks
S Baruah, D Chen, S Gorinsky, A Mok
Real-Time Systems 17 (1), 5-22, 1999
3041999
Resource partition for real-time systems
AK Mok, X Feng, D Chen
Proceedings Seventh IEEE Real-Time Technology and Applications Symposium, 75-84, 2001
2822001
A model of hierarchical real-time virtual resources
X Feng, AK Mok
23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002., 26-35, 2002
2792002
Quantitative temporal reasoning
EA Emerson, AK Mok, AP Sistla, J Srinivasan
International Conference on Computer Aided Verification, 136-145, 1990
2591990
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
2371991
Opportunities and obligations for physical computing systems
JA Stankovic, I Lee, A Mok, R Rajkumar
Computer 38 (11), 23-31, 2005
2242005
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
2042011
Improvement in feasibility testing for real-time tasks
I Ripoll, A Crespo, AK Mok
Real-Time Systems 11 (1), 19-39, 1996
2001996
A graph-theoretic approach for timing analysis and its implementation
F Jahanian, AKL Mok
IEEE Transactions on Computers 100 (8), 961-975, 1987
1951987
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20