Follow
J. Ras
J. Ras
Computer Engineering and Software Design Specialist
Verified email at acm.org
Title
Cited by
Cited by
Year
Response time analysis for the Abort-and-Restart event handlers of the Priority-Based Functional Reactive Programming (P-FRP) paradigm
J Ras, AMK Cheng
2009 15th IEEE International Conference on Embedded and Real-Time Computing …, 2009
412009
An evaluation of the dynamic and static multiprocessor priority ceiling protocol and the multiprocessor stack resource policy in an SMP system
J Ras, AMK Cheng
2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2009
322009
Response time analysis of the abort-and-restart model under symmetric multiprocessing
J Ras, AMK Cheng
2010 10th IEEE International Conference on Computer and Information …, 2010
182010
The implementation of the priority ceiling protocol in Ada-2005
AMK Cheng, J Ras
ACM SIGAda Ada Letters 27 (1), 24-39, 2007
142007
On formal verification of Toyota's electronic throttle controller
J Ras, AMK Cheng
2011 IEEE International Systems Conference, 552-555, 2011
62011
Variable voltage scheduling with the priority-based functional reactive programming language
C Belwal, AMK Cheng, J Ras, Y Wen
Proceedings of the 2013 Research in Adaptive and Convergent Systems, 440-445, 2013
42013
On the Toyota's Throttle Control Problem
J Ras, AMK Cheng
2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l …, 2010
42010
Design of Liquid Propellant Rocket Engines
J Ras
Lulu. com, 2016
22016
The Dining Philosophers Problem
J Ras
CreateSpace Independent Publishing Platform, 2016
22016
A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller
J Ras, AMK Cheng
ACM SIGAda Ada Letters 30 (3), 13-22, 2010
22010
Tutor in a Book's Probability
J Ras
Lulu. com, 2016
2016
ITIL Foundation Exam Study Guide
J Ras
Lulu. com, 2016
2016
Multiprocessor Priority Ceiling Protocol
J Ras
CreateSpace Independent Publishing Platform, 2016
2016
Multiprocessor Stack Resource Policy
J Ras
CreateSpace Independent Publishing Platform, 2016
2016
Real-time Scheduling Theory and Ada
J Ras
Lulu. com, 2016
2016
Real-Time Embedded Systems
J Ras
Lulu. com, 2016
2016
Scheduling Algorithms for Real-Time Systems
J Ras
Lulu. com, 2016
2016
Cisco Router Configuration Guide
J Ras
CreateSpace Independent Publishing Platform, 2016
2016
The Implementation of the Priority Ceiling Protocol in Ada-2005 Using a Shared Memory Programming Model
AMK Cheng, J Ras
Organized by the IEEE Technical Committee on Real-Time Systems, 13, 2007
2007
Event-Based Semantics in the Implementation Language for Embedded and Critical Systems
AMK Cheng, J Ras
The system can't perform the operation now. Try again later.
Articles 1–20