Scheduling algorithms for multiprogramming in a hard-real-time environment, Journal of the ACM, 1973. ,
A note on preemptive scheduling of periodic, real-time tasks, Information Processing Letters, 1980. ,
Feasibility analysis of real-time periodic tasks with offsets. Real-Time Systems, 2005. ,
Real-time scheduling for systems with precedence, periodicity and latency constraints, Proceedings of 10th Real-Time Systems Conference, RTS'02, 2002. ,
Minimal schedulability interval for real-time systems of periodic tasks with offsets, Theoretical Computer Science, vol.310, issue.1-3, 2003. ,
DOI : 10.1016/S0304-3975(03)00362-1
Guaranteeing real time performance using rma. The Embedded Systems Conference, 1998. ,
Scheduling and Timing Analysis of Safety Critical Real-Time Systems, 1998. ,
Extending rate monotonic analysis with exact cost of preemptions for hard real-time systems, Proceedings of 19th Euromicro Conference on Real-Time Systems, ECRTS'07, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00413487
The space of rate monotonic schedulability, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002., pp.169-178, 2002. ,
DOI : 10.1109/REAL.2002.1181572
Sensitivity analysis of complex embedded real-time systems, Real-Time Systems, vol.40, issue.1, pp.31-72, 2008. ,
DOI : 10.1007/s11241-007-9039-9
Effective analysis for engineering real-time fixed priority schedulers, IEEE Transactions on Software Engineering, vol.21, issue.5, 1995. ,
DOI : 10.1109/32.387477
Hard real-time preemptively scheduling with high context switch cost, Proceedings Seventh Euromicro Workshop on Real-Time Systems, 1995. ,
DOI : 10.1109/EMWRTS.1995.514310
Feasibility conditions with kernel overheads for mixed preemptive FP/FIFO Scheduling with priority ceiling protocol on an event driven OSEK system, 2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007), 2007. ,
DOI : 10.1109/EFTA.2007.4416859
URL : https://hal.archives-ouvertes.fr/hal-01125400
Prise en compte du coût exact de la préemption dans l'ordonnancement temps réel monoprocesseur avec contraintes multiples, 2009. ,
Applying new scheduling theory to static priority pre-emptive scheduling, Software Engineering Journal, vol.8, issue.5, 1993. ,
DOI : 10.1049/sej.1993.0034
Deadline monotonic scheduling theory and application, Control Engineering Practice, vol.1, issue.1, 1993. ,
DOI : 10.1016/0967-0661(93)92105-D
Three models for the description of language. I. R. E. transactions on information theory, Proceedings of the symposium on information theory, pp.113-123, 1956. ,
Finding natural languages a home in formal language theory, pp.349-359, 1987. ,
Regular expressions for language engineering, Natural Language Engineering, vol.2, issue.4, pp.305-328, 1996. ,
The Logical Basis for Computer Programming. volume 1: Deductive Reasoning, 1985. ,
ON THE THEORY OF BAGS, International Journal of General Systems, vol.1, issue.1, pp.23-37, 1986. ,
DOI : 10.1016/S0019-9958(65)90241-X
The Development of Multiset Theory. Modern Logic, pp.319-352, 1991. ,
The art of computer programming, Seminumerical algorithms, 1998. ,
Scheduling of Hard Real-Time Periodic Systems with Various Kinds of Deadline and Offset Constraints, 1998. ,
Engineering and analysis of fixed priority schedulers, IEEE Transactions on Software Engineering, vol.19, issue.9, pp.920-934, 1993. ,
DOI : 10.1109/32.241774