A
Aloysius K. Mok
Researcher at University of Texas at Austin
Publications - 194
Citations - 9542
Aloysius K. Mok is an academic researcher from University of Texas at Austin. The author has contributed to research in topics: Scheduling (computing) & Wireless network. The author has an hindex of 37, co-authored 191 publications receiving 9225 citations. Previous affiliations of Aloysius K. Mok include University of Vermont.
Papers
More filters
Dissertation
Fundamental design problems of distributed systems for the hard-real-time environment
TL;DR: This work shall provide a graph-based computation model which is more suitable for expressing the computation requirements of the real-time environment, and is an extension of CONSORT (Control Structure Optimized for Real-Time), an experimental software design system.
Proceedings ArticleDOI
Preemptively scheduling hard-real-time sporadic tasks on one processor
TL;DR: The authors first give necessary and sufficient conditions for a sporadic task system to be feasible (i.e., schedulable) and lead to a feasibility test that runs in efficient pseudo-polynomial time for a very large percentage of sporadic task systems.
Journal ArticleDOI
Safety analysis of timing properties in real-time systems
Farnam Jahanian,Aloysius K. Mok +1 more
TL;DR: The authors formalize the safety analysis of timing properties in real-time systems based on a formal logic, RTL (real-time logic), which is especially suitable for reasoning about the timing behavior of systems.
Journal ArticleDOI
Real Time Scheduling Theory: A Historical Perspective
Lui Sha,Tarek Abdelzaher,Karl-Erik Årzén,Anton Cervin,Theodore P. Baker,Alan Burns,Giorgio Buttazzo,Marco Caccamo,John P. Lehoczky,Aloysius K. Mok +9 more
TL;DR: This 25th year anniversary paper for the IEEE Real Time Systems Symposium reviews the key results in real-time scheduling theory and the historical events that led to the establishment of the current real- time computing infrastructure.
Proceedings ArticleDOI
WirelessHART: Applying Wireless Technology in Real-Time Industrial Process Control
TL;DR: An introduction to the architecture of WirelessHART is given and several challenges the implementation team had to tackle during the implementation are described, such as the design of the timer, network wide synchronization, communication security, reliable mesh networking, and the central network manager.