다양한 실행경로가 존재하는 실시간 시스템을 이해하기 위해 정적 정보와 함께 동적 정보의 이해가 필요하다. 본 논문은 매개언어 SRL을 사용하여 정적 정보와 동적 정보를 모두 표현할 수 ...
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=A82312750
2000
Korean
004
학술저널
579-581(3쪽)
0
상세조회0
다운로드국문 초록 (Abstract)
다양한 실행경로가 존재하는 실시간 시스템을 이해하기 위해 정적 정보와 함께 동적 정보의 이해가 필요하다. 본 논문은 매개언어 SRL을 사용하여 정적 정보와 동적 정보를 모두 표현할 수 ...
다양한 실행경로가 존재하는 실시간 시스템을 이해하기 위해 정적 정보와 함께 동적 정보의 이해가 필요하다. 본 논문은 매개언어 SRL을 사용하여 정적 정보와 동적 정보를 모두 표현할 수 있는 방법을 제안했다. SRL을 통해 표현된 정적 정보와 동적 정보를 많은 시스템 이해 도구에 사용될 수 있다. 또한 동적 정보를 얻기 위한 방법으로 실제 시스템이 아닌 가상기계를 통한 가상실행을 수행함으로 안전성이 중요한 시스템을 검증이전에 위험부담 없이 검사할 수 있다.
목차 (Table of Contents)
모빌 컴퓨팅 환경에서 실시간 스케줄링을 고려하며 평균 대기 시간을 최소화 시키는 브로드캐스트(Broadcast) 스케줄링 기법
분산 이동 시스템에서 인과적 메시지 전달을 위한 효율적인 알고리즘
IMT - 2000 시스템을 위한 GPRS 기반 WAP 기술