-
3
-
-
0032404449
-
Generation of multimodels and selection of the optimal abstraction level for real-time simulation
-
K. Lee, P.A. Fishwick, Generation of multimodels and selection of the optimal abstraction level for real-time simulation, in: Proceedings of the AeroSense'98, 1998, pp. 164-175.
-
(1998)
Proceedings of the AeroSense'98
, pp. 164-175
-
-
Lee, K.1
Fishwick, P.A.2
-
5
-
-
0028320702
-
Hrt-hood: A structured design method for hard real-time systems
-
A. Burns, A.J. Wellings, Hrt-hood: a structured design method for hard real-time systems, Real-Time Syst. 6 (1994) 73-114.
-
(1994)
Real-Time Syst.
, vol.6
, pp. 73-114
-
-
Burns, A.1
Wellings, A.J.2
-
6
-
-
0026158240
-
The design of real-time systems: From specification to implementation and verification
-
H. Kopetz, R. Zainlinger, G. Fohler, H. Kantz, P. Puschner, W. Schutz, The design of real-time systems: from specification to implementation and verification, Software Eng. 6 (1991) 72-82.
-
(1991)
Software Eng.
, vol.6
, pp. 72-82
-
-
Kopetz, H.1
Zainlinger, R.2
Fohler, G.3
Kantz, H.4
Puschner, P.5
Schutz, W.6
-
7
-
-
0343633755
-
Concepts, methods, and languages for building timely intelligent systems
-
J.S. Lark, L.D. Erman, S. Forrest, K.P. Gostelow, Concepts, methods, and languages for building timely intelligent systems, Real-Time Syst. 2 (1990) 127-148.
-
(1990)
Real-Time Syst.
, vol.2
, pp. 127-148
-
-
Lark, J.S.1
Erman, L.D.2
Forrest, S.3
Gostelow, K.P.4
-
8
-
-
0021458524
-
Dynamic task scheduling in distributed hard real-time systems
-
K. Ramamritham, J.A. Stankovic, Dynamic task scheduling in distributed hard real-time systems, IEEE Software 1 (3) (1984) 65-75.
-
(1984)
IEEE Software
, vol.1
, Issue.3
, pp. 65-75
-
-
Ramamritham, K.1
Stankovic, J.A.2
-
9
-
-
0022305511
-
Evaluation of a flexible task scheduling algorithm for distributed hard real-time systems
-
J.A. Stankovic, K. Ramamritham, S. Cheng, Evaluation of a flexible task scheduling algorithm for distributed hard real-time systems, IEEE Trans. Comput. 34 (12) (1985) 1130-1143.
-
(1985)
IEEE Trans. Comput.
, vol.34
, Issue.12
, pp. 1130-1143
-
-
Stankovic, J.A.1
Ramamritham, K.2
Cheng, S.3
-
11
-
-
0010512868
-
Depth-limited search for real-time problem solving
-
R.E. Korf, Depth-limited search for real-time problem solving, Real-Time Syst. 2 (1990) 7-24.
-
(1990)
Real-Time Syst.
, vol.2
, pp. 7-24
-
-
Korf, R.E.1
-
14
-
-
0343633761
-
A visual object-oriented multimodeling design approach for physical modeling
-
P.A. Fishwick, A visual object-oriented multimodeling design approach for physical modeling, University of Florida, Technical Report No. 9, 1997.
-
(1997)
University of Florida, Technical Report No. 9
, vol.9
-
-
Fishwick, P.A.1
-
15
-
-
84882618546
-
Bounding worst-case instruction cache performance
-
R. Arnold, F. Mueller, D. Whalley, Bounding worst-case instruction cache performance, in: Proceedings of the IEEE Symposium on Real-Time Systems, 1994, pp. 172-181.
-
(1994)
Proceedings of the IEEE Symposium on Real-Time Systems
, pp. 172-181
-
-
Arnold, R.1
Mueller, F.2
Whalley, D.3
-
17
-
-
0028501199
-
A retargetable technique for predicting execution time of code segments
-
M.G. Harmon, T. Baker, D.B. Walley, A retargetable technique for predicting execution time of code segments, Real-Time Syst. 7 (2) (1994) 130-159.
-
(1994)
Real-Time Syst.
, vol.7
, Issue.2
, pp. 130-159
-
-
Harmon, M.G.1
Baker, T.2
Walley, D.B.3
-
18
-
-
0028466448
-
Formal timing analysis for distributed real-time programs
-
B. Korel, H.F. Wedde, D.M. Huizinga, Formal timing analysis for distributed real-time programs, Real-Time Syst. 7 (1) (1994) 58-90.
-
(1994)
Real-Time Syst.
, vol.7
, Issue.1
, pp. 58-90
-
-
Korel, B.1
Wedde, H.F.2
Huizinga, D.M.3
-
21
-
-
0031289647
-
A semi-automated method for dynamic model abstraction
-
K. Lee, P.A. Fishwick, A semi-automated method for dynamic model abstraction, in: Proceedings of the AeroSense'97, 1997, pp. 31-41.
-
(1997)
Proceedings of the AeroSense'97
, pp. 31-41
-
-
Lee, K.1
Fishwick, P.A.2
-
26
-
-
0030354484
-
A methodology for dynamic model abstraction
-
K. Lee, RA. Fishwick, A methodology for dynamic model abstraction, Trans. Soc. Comput. Simul. Int. 13 (4) (1997) 217-229.
-
(1997)
Trans. Soc. Comput. Simul. Int.
, vol.13
, Issue.4
, pp. 217-229
-
-
Lee, K.1
Fishwick, R.A.2
-
27
-
-
85031484968
-
-
Ph.D. Dissertation, Department of Computer Information Science and Engineering, University of Florida
-
K. Lee, OOPM/RT: a multimodeling methodology for real-time simulation, Ph.D. Dissertation, Department of Computer Information Science and Engineering, University of Florida, 1998.
-
(1998)
OOPM/RT: A Multimodeling Methodology for Real-time Simulation
-
-
Lee, K.1
-
28
-
-
0026154831
-
Algorithms for scheduling imprecise computations
-
S. Liu, Z. Chingand, Algorithms for scheduling imprecise computations, IEEE Comput. 24 (5) (1991) 58-68.
-
(1991)
IEEE Comput.
, vol.24
, Issue.5
, pp. 58-68
-
-
Liu, S.1
Chingand, Z.2
-
31
-
-
85031479104
-
-
L. Gross, 1996. http://www.tiem.utk.edu/gross/atlss_www/ atlss_frame.html.
-
(1996)
-
-
Gross, L.1
-
35
-
-
0343198057
-
-
Ph.D. Dissertation, Department of Medical Information Sciences, Stanford University
-
G.W. Rutledge, Dynamic selection of models, Ph.D. Dissertation, Department of Medical Information Sciences, Stanford University, 1995.
-
(1995)
Dynamic Selection of Models
-
-
Rutledge, G.W.1
|