메뉴 건너뛰기




Volumn 17, Issue 5, 2001, Pages 585-600

Building a model for real-time simulation

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; CONSTRAINT THEORY; DATA STRUCTURES; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS;

EID: 0034831994     PISSN: 0167739X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-739X(00)00086-8     Document Type: Article
Times cited : (9)

References (35)
  • 3
    • 0032404449 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 17
    • 0028501199 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • L. Gross, 1996. http://www.tiem.utk.edu/gross/atlss_www/ atlss_frame.html.
    • (1996)
    • Gross, L.1
  • 35
    • 0343198057 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.