Chaitanya Belwal

Int. J. Embed. Syst., 2014

2013

Feasibility interval for the transactional event handlers of P-FRP.

[BibT_eX]

[DOI]

Bo Liu

J. Comput. Syst. Sci., 2013

Towards optimal priority assignments for the transactional event handlers of P-FRP.

[BibT_eX]

[DOI]

Proceedings of the Research in Adaptive and Convergent Systems, 2013

Variable voltage scheduling with the priority-based functional reactive programming language.

[BibT_eX]

[DOI]

Proceedings of the Research in Adaptive and Convergent Systems, 2013

2012

Worst case response time for real-time software transactional memory.

[BibT_eX]

[DOI]

Proceedings of the Research in Applied Computation Symposium, 2012

Response time bounds for event handlers in the priority based functional reactive programming (P-FRP) paradigm.

[BibT_eX]

[DOI]

Proceedings of the Research in Applied Computation Symposium, 2012

Time petri nets for schedulability analysis of the transactional event handlers of P-FRP.

[BibT_eX]

[DOI]

Proceedings of the Research in Applied Computation Symposium, 2012

2011

Scheduling Conditions for Real-Time Software Transactional Memory.

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2011

Lazy Versus Eager Conflict Detection in Software Transactional Memory: A Real-Time Schedulability Perspective.

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2011

Release Offset Bounds for Response Time Analysis of P-FRP Using Exhaustive Enumeration.

[BibT_eX]

[DOI]

Walid Taha

Proceedings of the IEEE 10th International Conference on Trust, 2011

Schedulability Analysis of Transactions in Software Transactional Memory Using Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the IEEE 10th International Conference on Trust, 2011

A Sufficient Schedulability Test for Real-Time Software Transactional Memory.

[BibT_eX]

[DOI]

Proceedings of the IEEE 10th International Conference on Trust, 2011

Feasibility Interval for the Transactional Event Handlers of P-FRP.

[BibT_eX]

[DOI]

Proceedings of the IEEE 10th International Conference on Trust, 2011

An Extensible Framework for Real-Time Task Generation and Simulation.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011

Determining Actual Response Time in P-FRP.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2011

Determining Actual Response Time in P-FRP Using Idle-Period Game Board.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

Improving QoS for ECG Data Transmission with Enhanced Admission Control in EDCA-Based WLANs.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2011

Generating Bounded Task Periods for Experimental Schedulability Analysis.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, 2011

A Utilization Based Sufficient Condition for P-FRP.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, 2011

Partitioned Scheduling of P-FRP in Symmetric Homogenous Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, 2011

2004

Adaptive resolution modeling of regional air quality.

[BibT_eX]

[DOI]