다중 프로세서 시스템 상에서 각 프로세서의 entity간에는 정보의 교환이 요구되며 또한 이들정보의 전송중 에러가 발생할 수 있다. 본 논문에서는 Petri Net를 이용하여 entity 사이에 관계와 Prot...
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=A82304656
1986
Korean
004
학술저널
54-60(7쪽)
0
상세조회0
다운로드국문 초록 (Abstract)
다중 프로세서 시스템 상에서 각 프로세서의 entity간에는 정보의 교환이 요구되며 또한 이들정보의 전송중 에러가 발생할 수 있다. 본 논문에서는 Petri Net를 이용하여 entity 사이에 관계와 Prot...
다중 프로세서 시스템 상에서 각 프로세서의 entity간에는 정보의 교환이 요구되며 또한 이들정보의 전송중 에러가 발생할 수 있다. 본 논문에서는 Petri Net를 이용하여 entity 사이에 관계와 Protocol을 모델링하고 전송에러가 발생했을 경우 이를 감지하여 회복시킬 수 있는 기능을 모델링한다. 또한 Petri Net의 분석기법을 이용하여 이 모델이 갖는 특성을 분석한다.
목차 (Table of Contents)
C 프로그램 데이타 흐름 분석을 위한 DYNAMIC INSTRUMENTATION PROCESSOR 의 설계 및 구현
C 프로그램의 동적 테스팅 TOOL의 설계 및 실행에 관한 연구