최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기정보처리논문지 = The transactions of the Korea Information Processing Society, v.7 no.12, 2000년, pp.3804 - 3814
민병준 (인천대학교 컴퓨터공학과) , 최재영 (인천대학교 대학원 컴퓨터공학과) , 김정국 (한국외국어대학교 컴퓨터공학과) , 김문회 (건국대학교 컴퓨터공학과)
This paper presents an efficient implementation of a run-time monitor which checks the satisfaction of the timing constraints of real-time object-oriented programs based on a real-time object model called TMO(Time-triggered Messagedtriggered Object). An execution environment of TMO programs on Windo...
* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.
Jiannong Cao, et. al., On Heuristics for Optimal Configuration of Hierarchical Distributed Monitoring Systems, The Journal of Systems and Software 43, 1998
Dieter Haban and Dieter Wybranietz, A Hybrid Monitor for Behavior and Performance Analysis of Distributed Systems, IEEE Trans. on Software Engineering, Vol.16, No.2, 1990, 2
K. Kim and C. Subbaraman, Fault-Tolerant Real-Time Objects, Communications of the ACM, Vol.40, no.1, 1997, 1
J-G Kim, J P Hong, B-J Min, M H Kim, 'Modeling of Multimedia Services using the TMO Model,' Journal of Computer Systems Science and Engineering, 1998, 5
I. Lee, et al., 'A Monitoring and Checking Framework for Run-time Correctness Assurance,' Proc. Korea-US Technical Conf. on Strategic Technologies, 1998, 10
B. P. Miller and M. D.Callaghan, The PARADYN Parallel Measurement Tools, IEEE Computer, vol 28(11) 1995, 11
A. K. Mok and G. Liu, 'Efficient Run-Time Monitoring of Timing Constraints,' Proc. Real-Time Technology and Applications, 1997, 6
S. Sankar and M. Mandal, 'Concurrent Runtime Monitoring of Formally Specified Programs,' IEEE Computer, 1993, 3
B.A. Schroeder, 'On-line Monitoring : A Tutorial,' IEEE Computer, 1995, 6
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.