-
2
-
-
0027662967
-
Analysis of real-time rule-based systems with behavioral constraint assertions specified in Stella
-
Cheng, A. M. K., Browne, J., Mok, A., and Wang, R. 1993. Analysis of real-time rule-based systems with behavioral constraint assertions specified in Stella. IEEE Trans. Software Eng. 19(9): 863-885.
-
(1993)
IEEE Trans. Software Eng.
, vol.19
, Issue.9
, pp. 863-885
-
-
Cheng, A.M.K.1
Browne, J.2
Mok, A.3
Wang, R.4
-
3
-
-
0001552016
-
Dynamic scheduling of real-time tasks under precedence constraints
-
Chetto, H., Silly, M., and Bouchentouf, T. 1990. Dynamic scheduling of real-time tasks under precedence constraints. Real-Time Systems 2: 181-194.
-
(1990)
Real-Time Systems
, vol.2
, pp. 181-194
-
-
Chetto, H.1
Silly, M.2
Bouchentouf, T.3
-
4
-
-
2342560863
-
Scheduling of real-time tasks with blocking conditions
-
Ferro, E., Orozco, J., and Santos, J. 1993. Scheduling of real-time tasks with blocking conditions (in spanish). Proc. XIX Conferencia Latinoamericana de Informática, pp. 14.19-14.27.
-
(1993)
Proc. XIX Conferencia Latinoamericana de Informática
, pp. 1419-1427
-
-
Ferro, E.1
Orozco, J.2
Santos, J.3
-
5
-
-
0022796618
-
Finding response times in a real-time system
-
Joseph, M., and Pandya, P. 1986. Finding response times in a real-time system. The Computer Journal 29(5): 390-395.
-
(1986)
The Computer Journal
, vol.29
, Issue.5
, pp. 390-395
-
-
Joseph, M.1
Pandya, P.2
-
6
-
-
0027664293
-
Engineering and analysis of fixed priority schedulers
-
Katcher, D., Arakawa, H., and Strosnider, J. 1993. Engineering and analysis of fixed priority schedulers. IEEE Trans. Software Eng. 19(9): 920-934.
-
(1993)
IEEE Trans. Software Eng.
, vol.19
, Issue.9
, pp. 920-934
-
-
Katcher, D.1
Arakawa, H.2
Strosnider, J.3
-
7
-
-
0020271514
-
On the complexity of fixed priority scheduling of real-time tasks
-
Leung, J., and Whitehead, J. 1982. On the complexity of fixed priority scheduling of real-time tasks. Performance Evaluation 2(4): 237-250.
-
(1982)
Performance Evaluation
, vol.2
, Issue.4
, pp. 237-250
-
-
Leung, J.1
Whitehead, J.2
-
8
-
-
0024915921
-
The rate monotonic scheduling algorithm: Exact characterization and average case behavior
-
Los Alamitos, CA
-
Lehozcky, J. P., Sha, L., and Ding, Y. 1989. The rate monotonic scheduling algorithm: Exact characterization and average case behavior. Proc. Real-Time Systems Symp. IEEE CS, Los Alamitos, CA, pp. 166-171.
-
(1989)
Proc. Real-Time Systems Symp. IEEE CS
, pp. 166-171
-
-
Lehozcky, J.P.1
Sha, L.2
Ding, Y.3
-
9
-
-
84974687699
-
Scheduling algorithms for multiprogramming in a hard real-time-environment
-
Liu, C. L., and Layland, J. W. 1973. Scheduling algorithms for multiprogramming in a hard real-time-environment. J. ACM 20(1): 46-61.
-
(1973)
J. ACM
, vol.20
, Issue.1
, pp. 46-61
-
-
Liu, C.L.1
Layland, J.W.2
-
10
-
-
0019911835
-
A task allocation model for distributed computing systems
-
Ma, P.-Yi R., Lee, E., and Tsuchiya, M. 1982. A task allocation model for distributed computing systems. IEEE Trans. Computers 31(1): 41-47.
-
(1982)
IEEE Trans. Computers
, vol.31
, Issue.1
, pp. 41-47
-
-
Ma, P.-Yi.R.1
Lee, E.2
Tsuchiya, M.3
-
11
-
-
0014766132
-
Preemptive scheduling of real-time tasks on a multiprocessor system
-
Muntz, R., and Coffman, E. 1970. Preemptive scheduling of real-time tasks on a multiprocessor system. J. ACM 17(2): 324-338.
-
(1970)
J. ACM
, vol.17
, Issue.2
, pp. 324-338
-
-
Muntz, R.1
Coffman, E.2
-
12
-
-
0242476390
-
Rate monotonic analysis for real-time systems
-
Obenza, R. 1993. Rate monotonic analysis for real-time systems. IEEE Computer 26(3): 73-74.
-
(1993)
IEEE Computer
, vol.26
, Issue.3
, pp. 73-74
-
-
Obenza, R.1
-
14
-
-
2342626328
-
Issues in the static allocation and scheduling of complex periodic tasks
-
Ramamritham, K., Fohler, G., and Adan, J. 1993. Issues in the static allocation and scheduling of complex periodic tasks. Proc. IEEE RTOSS, pp. 11-16.
-
(1993)
Proc. IEEE RTOSS
, pp. 11-16
-
-
Ramamritham, K.1
Fohler, G.2
Adan, J.3
-
15
-
-
0028446330
-
802.5 priority mechanism in hard real-time RMS applications
-
Santos, J., Gastaminza, M. L., Orozco, J., and Matrangolo, C. 1994. 802.5 priority mechanism in hard real-time RMS applications. Computer Communications 17(6): 439-442.
-
(1994)
Computer Communications
, vol.17
, Issue.6
, pp. 439-442
-
-
Santos, J.1
Gastaminza, M.L.2
Orozco, J.3
Matrangolo, C.4
-
16
-
-
0026260008
-
Priorities and protocols in hard real-time LANs: Implementing a crisis-free system
-
Santos, J., Gastaminza, M. L., Orozco, J., Picardi, D., and Alimenti, O. 1991. Priorities and protocols in hard real-time LANs: implementing a crisis-free system. Computer Communications 14(9): 507-514.
-
(1991)
Computer Communications
, vol.14
, Issue.9
, pp. 507-514
-
-
Santos, J.1
Gastaminza, M.L.2
Orozco, J.3
Picardi, D.4
Alimenti, O.5
-
17
-
-
0027681968
-
Rate monotonic scheduling in hard real-time systems
-
Santos, J., and Orozco, J. 1993. Rate monotonic scheduling in hard real-time systems. Information Processing Letters 48: 39-45.
-
(1993)
Information Processing Letters
, vol.48
, pp. 39-45
-
-
Santos, J.1
Orozco, J.2
-
18
-
-
0025488794
-
Priority inheritance protocols: An approach to real-time synchronization
-
Sha, L., Rajkumar, R., and Lehoczky, J. 1990. Priority inheritance protocols: An approach to real-time synchronization. IEEE Trans. Computers 39(9): 1175-1185.
-
(1990)
IEEE Trans. Computers
, vol.39
, Issue.9
, pp. 1175-1185
-
-
Sha, L.1
Rajkumar, R.2
Lehoczky, J.3
-
19
-
-
0024088604
-
Real-time computing systems: The next generation
-
Stankovic, J. 1988(Ed.). Real-time computing systems: The next generation. IEEE Computer 21(10): 10-19.
-
(1988)
IEEE Computer
, vol.21
, Issue.10
, pp. 10-19
-
-
Stankovic, J.1
-
20
-
-
0026865757
-
Allocating hard real-time tasks: An NP-hard problem made easy
-
Tindell, K., Burns, A., and Wellings, A. 1992. Allocating hard real-time tasks: An NP-hard problem made easy. Real-Time Systems 4: 145-165.
-
(1992)
Real-Time Systems
, vol.4
, pp. 145-165
-
-
Tindell, K.1
Burns, A.2
Wellings, A.3
-
21
-
-
0027544352
-
Multiprocessor scheduling of processes with release times, deadlines, precedence and exclusion relations
-
Xu, J. 1993. Multiprocessor scheduling of processes with release times, deadlines, precedence and exclusion relations. IEEE Trans. Software Eng. 19(2): 139-154.
-
(1993)
IEEE Trans. Software Eng.
, vol.19
, Issue.2
, pp. 139-154
-
-
Xu, J.1
-
22
-
-
0023401687
-
Preemptive scheduling under time and resource constraints
-
Zhao, W., Ramamritham, K., and Stankovic, J. 1987. Preemptive scheduling under time and resource constraints. IEEE Trans. Computers C-36(8): 949-960.
-
(1987)
IEEE Trans. Computers
, vol.C-36
, Issue.8
, pp. 949-960
-
-
Zhao, W.1
Ramamritham, K.2
Stankovic, J.3
|