| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jiantao Wang, Song Han, Kam-yiu Lam, Aloysius K. Mok |
Maintaining data temporal consistency in distributed real-time systems.  |
Real-Time Systems  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wing-Chi Poon, Aloysius K. Mok |
Improving the Latency of VMExit Forwarding in Recursive Virtualization for the x86 Architecture. |
HICSS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiantao Wang, Kam-yiu Lam, Song Han, Sang Hyuk Son, Aloysius K. Mok |
On Co-scheduling of Periodic Update and Application Transactions with Fixed Priority Assignment for Real-Time Monitoring. |
AINA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiantao Wang, Song Han, Kam-yiu Lam, Aloysius K. Mok |
On Least Idle Slot First Co-scheduling of Update and Control Tasks in Real-Time Sensing and Control Systems. |
ICPADS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam |
On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem. |
RTSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Song Han, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon |
Reliable and Real-Time Communication in Industrial Wireless Mesh Networks. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Song Han, Xiuming Zhu, Jianping Song, Aloysius K. Mok, Deji Chen, Mark Nixon, Wally Pratt, Veena Gondhalekar |
A Virtual Network Approach for Testing Wireless Mesh in Industrial Process Control. |
RTCSA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wing-Chi Poon, Aloysius K. Mok |
Necessary and Sufficient Conditions for Non-preemptive Robustness. |
RTCSA |
2010 |
DBLP DOI BibTeX RDF |
schedulability, real-time, stability, robustness, admission control, sustainability, non-preemptive |
| 1 | Junghoon Lee, Song Han, Aloysius K. Mok |
Design of a Reliable Communication System for Grid-Style Traffic Light Networks. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2010 |
DBLP DOI BibTeX RDF |
wireless process control, clear channel assessment, split-merge operation, reliability improvement, WirelessHART |
| 1 | Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana |
Online Timing Correlation of Streaming Data with Uncertain Timestamps. |
IEICE Transactions |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ya-Shu Chen, Li-Pin Chang, Tei-Wei Kuo, Aloysius K. Mok |
An anomaly prevention approach for real-time task scheduling. |
Journal of Systems and Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiuming Zhu, Wei Dong, Aloysius K. Mok, Song Han, Jianping Song, Deji Chen, Mark Nixon |
A Location-Determination Application in WirelessHART. |
RTCSA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Song Han, Deji Chen, Ming Xiong, Aloysius K. Mok |
Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time Systems. |
IEEE Real-Time Systems Symposium |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Song Han, Jianping Song, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon, Wally Pratt, Veena Gondhalekar |
Wi-HTest: Compliance Test Suite for Diagnosing Devices in Real-Time WirelessHART Network. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Song Han, Zifei Zhong, Hongxing Li, Guihai Chen, Edward Chan, Aloysius K. Mok |
Coding-Aware Multi-path Routing in Multi-Hop Wireless Networks. |
IPCCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Honguk Woo, Jianliang Yi, James C. Browne, Aloysius K. Mok, Ella Atkins, Fei Xie |
Design and Development Methodology for Resilient Cyber-Physical Systems. |
ICDCS Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianping Song, Song Han, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon |
A complete wirelessHART network. |
SenSys |
2008 |
DBLP DOI BibTeX RDF |
process control, wirelesshart |
| 1 | Song Han, Jianping Song, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon, Wally Pratt, Veena Gondhalekar |
WI-HTest: testing suite for diagnosing wirelesshart devices and networks. |
SenSys |
2008 |
DBLP DOI BibTeX RDF |
fault data injection, wi-htest, interoperability, wirelesshart |
| 1 | Song Han, Deji Chen, Ming Xiong, Aloysius K. Mok |
A Schedulability Analysis of Deferrable Scheduling Using Patterns. |
ECRTS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon P. Chung, Aloysius K. Mok |
Swarm Attacks against Network-Level Emulation/Analysis. |
RAID |
2008 |
DBLP DOI BibTeX RDF |
Decoder detection, network-level emulation, swarm attacks, network IDS, evasion |
| 1 | Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella Atkins, Chan-Gun Lee |
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianping Song, Song Han, Aloysius K. Mok, Deji Chen, Mike Lucas, Mark Nixon, Wally Pratt |
WirelessHART: Applying Wireless Technology in Real-Time Industrial Process Control. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2008 |
DBLP DOI BibTeX RDF |
Security, Synchronization, Process Control, WirelessHART |
| 1 | Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana |
Monitoring of Timing Constraints with Confidence Threshold Requirements. |
IEEE Trans. Computers |
2007 |
DBLP DOI BibTeX RDF |
fault tolerance, Constraints, monitors, temporal logic, real-time and embedded systems |
| 1 | Simon P. Chung, Aloysius K. Mok |
Collaborative Intrusion Prevention. |
WETICE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Honguk Woo, Aloysius K. Mok |
Real-Time Monitoring of Uncertain Data Streams Using Probabilistic Similarity. |
RTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon P. Chung, Aloysius K. Mok |
Advanced Allergy Attacks: Does a Corpus Really Help? |
RAID |
2007 |
DBLP DOI BibTeX RDF |
Automatic Signature Generation, Allergy Attacks, Intrusion Prevention Systems |
| 1 | Aloysius K. Mok, Honguk Woo, Chan-Gun Lee |
Probabilistic Timing Join over Uncertain Event Streams. |
RTCSA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianping Song, Aloysius K. Mok, Deji Chen, Mark Nixon |
Using Real-Time Logic Synthesis Tool to Achieve Process Control over Wireless Sensor Networks. |
RTCSA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon P. Chung, Aloysius K. Mok |
The LAIDS/LIDS Framework for Systematic IPS Design. |
IWIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Honguk Woo, Aloysius K. Mok, Chan-Gun Lee |
A Generic Framework for Monitoring Timing Constraints over Uncertain Events. |
RTSS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon P. Chung, Aloysius K. Mok |
Allergy Attack Against Automatic Signature Generation. |
RAID |
2006 |
DBLP DOI BibTeX RDF |
Automatic Signature Generation, Adaptive Response, Intrusion Prevention |
| 1 | Zhengting He, Cheng Peng, Aloysius K. Mok |
A Performance Estimation Tool for Video Applications. |
IEEE Real Time Technology and Applications Symposium |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Weirong Wang, Aloysius K. Mok |
A class-based approach to the composition of real-time software components. |
J. Embedded Computing |
2005 |
DBLP BibTeX RDF |
|
| 1 | Weirong Wang, Aloysius K. Mok, Gerhard Fohler |
Pre-Scheduling. |
Real-Time Systems |
2005 |
DBLP DOI BibTeX RDF |
pre-schedule, real-time, LP |
| 1 | John A. Stankovic, Insup Lee, Aloysius K. Mok, Raj Rajkumar |
Opportunities and Obligations for Physical Computing Systems. |
IEEE Computer |
2005 |
DBLP DOI BibTeX RDF |
Physical computing systems, Emergency response systems, Pervasive computing, Security and privacy, Embedded computing, Critical infrastructures, SISAL |
| 1 | Mike Sheldon, Deji Chen, Mark Nixon, Aloysius K. Mok |
A practical approach to deploy large scale wireless sensor networks. |
MASS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ya-Shu Chen, Li-Pin Chang, Tei-Wei Kuo, Aloysius K. Mok |
Real-time task scheduling anomaly: observations and prevention. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
process synchronization, real-time task scheduling |
| 1 | Deji Chen, Aloysius K. Mok, Jianliang Yi, Mark Nixon, Tom Aneweer, Rusty Shepard |
Data Collection with Battery and Buffer Consideration in a Large Scale Sensor Network. |
RTCSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Aloysius K. Mok, Wing-Chi Poon |
Non-Preemptive Robustness under Reduced System Load. |
RTSS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon P. Chung, Aloysius K. Mok |
On Random-Inspection-Based Intrusion Detection. |
RAID |
2005 |
DBLP DOI BibTeX RDF |
random inspection, intrusion detection, computer security, Mimicry attacks |
| 1 | Zhengting He, Aloysius K. Mok, Cheng Peng |
Timed RTOS Modeling for Embedded System Design. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Aloysius K. Mok, Prabhudev Konana, Guangtian Liu, Chan-Gun Lee, Honguk Woo |
Specifying Timing Constraints and Composite Events: An Application in the Design of Electronic Brokerages. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
electronic brokerages, event specification, timing constraints, Active databases, real-time databases |
| 1 | Lui Sha, Tarek F. Abdelzaher, Karl-Erik Årzén, Anton Cervin, Theodore P. Baker, Alan Burns, Giorgio C. Buttazzo, Marco Caccamo, John P. Lehoczky, Aloysius K. Mok |
Real Time Scheduling Theory: A Historical Perspective. |
Real-Time Systems |
2004 |
DBLP DOI BibTeX RDF |
dynamic-priority scheduling, new challenges, feedback, earliest deadline first, fixed-priority scheduling, hard real-time, soft real-time, rate-monotonic scheduling, scheduling models |
| 1 | Deji Chen, Aloysius K. Mok |
Scheduling Similarity-Constrained Real-Time Tasks. |
ESA/VLSI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Weirong Wang, Aloysius K. Mok, Gerhard Fohler |
Generalized Pre-Scheduler. |
ECRTS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Weirong Wang, Aloysius K. Mok, Gerhard Fohler |
Pre-Scheduling on the Domain of Integers. |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruiqi Hu, Aloysius K. Mok |
Detecting Unknown Massive Mailing Viruses Using Proactive Methods. |
RAID |
2004 |
DBLP DOI BibTeX RDF |
malicious executable detection, intrusion detection, virus detection |
| 1 | Deji Chen, Aloysius K. Mok, Mark Nixon, Rusty Shepard |
Real-Time Tasks with Data Output. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengting He, Aloysius K. Mok |
Fast co-simulation of transformative systems with OS support on SMP computer. |
CODES+ISSS |
2004 |
DBLP DOI BibTeX RDF |
HW/SW co-simulation, SMP, task assignment, transformative system |
| 1 | Tei-Wei Kuo, Aloysius K. Mok |
Schedulability and Performance Analysis of the Similarity Stack Protocol. |
IEEE Trans. Computers |
2003 |
DBLP DOI BibTeX RDF |
real-time data access, data similarity, Delta-serializability, concurrency control, Real-time databases, process scheduling, distributed data management |
| 1 | Aloysius K. Mok |
Event-Based Real-Time Monitoring. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Weirong Wang, Aloysius K. Mok, Gerhard Fohler |
Pre-Scheduling: Integrating Offline and Online Scheduling Techniques. |
EMSOFT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Weirong Wang, Aloysius K. Mok |
On the Composition of Real-Time Schedulers. |
RTCSA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana |
Monitoring of Timing Constraints with Confidence Threshold Requirements. |
RTSS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Weijiang Yu, Aloysius K. Mok |
Formal Specification and Verification of Resource Bound Security Using PVS. |
ISSS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanbin Liu, Aloysius K. Mok |
An Integrated Approach for Applying Dynamic Voltage Scaling to Hard Real-Time Systems. |
IEEE Real Time Technology and Applications Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Aloysius K. Mok, Alex Xiang Feng |
Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems. |
EMSOFT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Weijiang Yu, Aloysius K. Mok |
Enforcing Resource Bound Safety for Mobile SNMP Agents. |
ACSAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Aloysius K. Mok, Chan-Gun Lee, Honguk Woo, Prabhudev Konana |
The Monitoring of Timing Constraints on Time Intervals. (PDF / PS) |
IEEE Real-Time Systems Symposium |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Aloysius K. Mok, Weijiang Yu |
TINMAN: A Resource Bound Security Checking System for Mobile Code. |
ESORICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian |
Simulation-Verification: Biting at the State Explosion Problem. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
Modechart, simulation, Real-time systems, verification, formal methods, specification, requirements analysis, timing constraints |
| 1 | Aloysius K. Mok, Weirong Wang |
Window-Constrained Real-Time Periodic Task Scheduling. (PDF / PS) |
IEEE Real-Time Systems Symposium |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Aloysius K. Mok, Alex Xiang Feng |
Towards Compositionality in Real-Time Resource Partitioning Based on Regularity Bounds. (PDF / PS) |
IEEE Real-Time Systems Symposium |
2001 |
DBLP DOI BibTeX RDF |
Utiliza-tion bounds, Open System, Real-Time Task Scheduling, Resource Partition |
| 1 | Aloysius K. Mok, Alex Xiang Feng, Deji Chen |
Resource Partition for Real-Time Systems. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
2001 |
DBLP DOI BibTeX RDF |
Real-Time Task Scheduling, Resource Partition |
| 1 | Tei-Wei Kuo, Aloysius K. Mok |
Real-Time Data Semantics and Similarity-Based Concurrency Control. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
schedule correctness, Concurrency control, similarity, serializability, real-time database |
| 1 | Aloysius K. Mok |
Tracking Real-Time Systems Requirements. (PDF / PS) |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Prabhudev Konana, Aloysius K. Mok, Chan-Gun Lee, Honguk Woo, Guangtian Liu |
Implementation and Performance Evaluation of a Real-Time E-Brokerage System. |
IEEE Real-Time Systems Symposium |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah |
Scheduling Distributed Real-Time Tasks in the DGMF Model. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
2000 |
DBLP DOI BibTeX RDF |
Distributed Real-Time Task Model, Scheduling |
| 1 | Sanjoy K. Baruah, Deji Chen, Sergey Gorinsky, Aloysius K. Mok |
Generalized Multiframe Tasks. |
Real-Time Systems |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Deji Chen, Aloysius K. Mok, Mark Nixon |
Real-time Support in COM. (PDF / PS) |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Deji Chen, Aloysius K. Mok, Tei-Wei Kuo |
Utilization Bound Re-visited . |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
Scheduling, Utilization bound |
| 1 | Sanjoy K. Baruah, Deji Chen, Aloysius K. Mok |
Static-priority scheduling of multiframe tasks. |
ECRTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Guangtian Liu, Aloysius K. Mok, Eric J. Yang |
Composite Events for Network Event Correlation. |
Integrated Network Management |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Deji Chen, Aloysius K. Mok |
SRDE-Application of Data Similarity to Process Control. (PDF / PS) |
IEEE Real-Time Systems Symposium |
1999 |
DBLP DOI BibTeX RDF |
Data similarity, Process control, Real-time Database |
| 1 | M. Beck, Prabhudev Konana, Guangtian Liu, Yanbin Liu, Aloysius K. Mok |
Active and Real-Time Functionalities for Electronic Brokerage Design. (PDF / PS) |
WECWIS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Guangtian Liu, Aloysius K. Mok |
Implementation of JEM - A Java Composite Event Package. |
IEEE Real Time Technology and Applications Symposium |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Puchol, Aloysius K. Mok |
Integrated Design Tools for Hard Real-Time Systems. (PDF / PS) |
IEEE Real-Time Systems Symposium |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Guangtian Liu, Aloysius K. Mok, Prabhudev Konana |
A Unified Approach for Specifying Timing Constraints and Composite Events in Active Real-Time Database Systems. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Aloysius K. Mok, Deji Chen |
A Multiframe Model for Real-Time Tasks. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
scheduling, Real-time, task model, utilization bound |
| 1 | Tei-Wei Kuo, Aloysius K. Mok |
Incremental Reconfiguration and Load Adjustment in Adaptive Real-Time Systems. |
IEEE Trans. Computers |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Aloysius K. Mok, Farn Wang |
Symboloc Model Checking for Event-Driven Real-Time Systems. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
binary decision diagrams |
| 1 | Deji Chen, Aloysius K. Mok |
Design of a Real-Time SQL Engine in the Distributed Environment. |
ARTDB |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Aloysius K. Mok, John A. Stankovic, Özgür Ulusoy, Jörgen Hansson, Kam-yiu Lam, Kwei-Jay Lin |
Panel Session: Predictability in Active Real-Time/Temporal Databases. |
ARTDB |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Shao-Juen Ho, Tei-Wei Kuo, Aloysius K. Mok |
Similarity-based load adjustment for real-time data-intensive applications. (PDF / PS) |
IEEE Real-Time Systems Symposium |
1997 |
DBLP DOI BibTeX RDF |
similarity-based load adjustment, real-time data-intensive applications, application semantics, semantics-based concurrency control, read events, write events, system workload, transaction skipping, performance, resource allocation, air traffic control, data consistency, simulation experiments, correctness criteria |
| 1 | Aloysius K. Mok, Guangtian Liu |
Early detection of timing constraint violation at runtime. (PDF / PS) |
IEEE Real-Time Systems Symposium |
1997 |
DBLP DOI BibTeX RDF |
timing constraint violation detection, timing constraint compliance, conditional guarantees, satisfiability checking algorithm, timing constraint monitoring, time terms, timing constraint specification, real-time systems, real time applications |
| 1 | Sanjoy K. Baruah, Deji Chen, Aloysius K. Mok |
Jitter concerns in periodic task systems. (PDF / PS) |
IEEE Real-Time Systems Symposium |
1997 |
DBLP DOI BibTeX RDF |
periodic task systems, frame arrival time uncertainty, dynamic priority scheduling, uniprocessor scheduling, real-time systems, real time systems, computational complexity, jitter, preemptive scheduling, feasibility analysis |
| 1 | Aloysius K. Mok, Guangtian Liu |
Efficient Run-Time Monitoring of Timing Constraints. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Stuart, Aloysius K. Mok, Farnam Jahanian |
A Methodology and Support Tools for Analysis of Real-Time Specifications. |
International Journal of Software Engineering and Knowledge Engineering |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismael Ripoll, Alfons Crespo, Aloysius K. Mok |
Improvement in Feasibility Testing for Real-Time Tasks. |
Real-Time Systems |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Tei-Wei Kuo, Aloysius K. Mok |
Real-Time Database - Similarity Semantics and Resource Scheduling. |
SIGMOD Record |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Aloysius K. Mok |
Firm Real-Time Systems. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Aloysius K. Mok, Rwo-Hsi Wang, Chih-Kan Wang |
Realizing EQL Programs for Bounded-Time Execution. |
Journal of Systems Integration |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij |
The MSP.RTL real-time scheduler synthesis tool. (PDF / PS) |
IEEE Real-Time Systems Symposium |
1996 |
DBLP DOI BibTeX RDF |
MSP RTL real time scheduler synthesis tool, scheduler synthesis algorithm, real time scheduling problem, temporal constraint satisfaction problem, temporal constraint graph, input timing specification, incremental positive cycle detection algorithm, real time scheduling theory, Boeing 777 Integrated Airplane Information Management System, AIMS, constraint satisfaction, processor scheduling, timing constraints, resource constraints, application domains, search strategies, cyclic schedules, feasible schedule, timing semantics, real time logic |
| 1 | Aloysius K. Mok, Deji Chen |
A multiframe model for real-time tasks. (PDF / PS) |
IEEE Real-Time Systems Symposium |
1996 |
DBLP DOI BibTeX RDF |
multiframe model, periodic task model, worst-case execution time bound, number sequence, preemptive fixed priority scheduling policy, scheduling, schedulability problem, utilization bound, real-time tasks |
| 1 | Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah |
On Modeling Real-Time Task Systems. |
European Educational Forum: School on Embedded Systems |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Rwo-Hsi Wang, Aloysius K. Mok |
Distributed Execution and Monotone Response Time Derivation of Rule-Based Programs. |
ICDCS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Rwo-Hsi Wang, Aloysius K. Mok |
Response-Time Bounds of EQL Rule-Based Programs Under Rule Priority Structure. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
Real-time decision systems, algorithm, timing analysis, rule-based systems, priority |
| 1 | Carlos Puchol, Aloysius K. Mok, Douglas A. Stuart |
Compiling Modechart Specifications. |
IEEE Real-Time Systems Symposium |
1995 |
DBLP BibTeX RDF |
|
| 1 | Aloysius K. Mok, Constance L. Heitmeyer, Kevin Jeffay, Michael B. Jones, C. Douglas Locke, Ragunathan Rajkumar |
Future Distributed Embedded and Real-Time Applications Will Be Adaptive: Meanings, Challenges and Research Paradigms (Panel). |
ICDCS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Tei-Wei Kuo, Aloysius K. Mok |
The design and implementation of a Real-Time Object Management Interface. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
1995 |
DBLP DOI BibTeX RDF |
Real-Time Object Management Interface, RTOMI, distributed real-time data-access interface, multiprocessor platforms, data distribution algorithms, multi-board Intel System 520, real-time transaction scheduling, scheduling, real-time systems, data integrity, distributed databases, object-oriented databases, similarity, transaction processing, application program interfaces, process scheduling, data-intensive applications |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")