Variable voltage scheduling with the priority-based functional reactive programming language.
Proceedings of the Research in Adaptive and Convergent Systems, 2013
A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller.
Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, 2010
On the Toyota's Throttle Control Problem.
Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications, 2010
Response Time Analysis of the Abort-and-Restart Model under Symmetric Multiprocessing.
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010
Response Time Analysis for the Abort-and-Restart Event Handlers of the Priority-Based Functional Reactive Programming (P-FRP) Paradigm.
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009
An Evaluation of the Dynamic and Static Multiprocessor Priority Ceiling Protocol and the Multiprocessor Stack Resource Policy in an SMP System.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009
Real-time synchronization on distributed architecture with Ada-2005.
Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, 2008