Schedulability analysis for the abort-and-restart model
In real-time systems, a schedulable task-set guarantees that all tasks complete before their deadlines. In functional programming, atomic execution provides the correctness of the program. Priority-based functional reactive programming (P-FRP) allows the usage of functional programming in the real-t...
Main Author: | Wong, Hing Choi |
---|---|
Other Authors: | Burns, Alan |
Published: |
University of York
2014
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.643657 |
Similar Items
-
Scheduling of batch processing plants : constraint model and computer scheduling system
by: Huang, Wei
Published: (2003) -
Versatile communication cost modelling for multicomputer task scheduling
by: Boeres, Cristina
Published: (1997) -
Scheduling and resource demand analysis methods in multiprocessor systems
by: Islam, Misbah ul
Published: (1977) -
Programming models and scheduling techniques for heterogeneous architectures
by: Planas Carbonell, Judit
Published: (2015) -
Analysis for EDF Scheduled Real Time Systems
by: Zhang, Fengxiang
Published: (2009)