인문학
사회과학
자연과학
공학
의약학
농수해양학
예술체육학
복합학
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 1990년도 가을 학술발표논문집 제17권 제2호
- 발행연도
- 1990.10
- 수록면
- 509 - 512 (4page)
이용수
초록· 키워드
본 논문은 병행 프로세스간의 교착상태 검출을 위하여 많이 활용되고 있는 네가지 모델의 특징을 조사ㆍ비교ㆍ분석하고, 정적 교착상태 검출을 위한 geometry model의 문제점을 보완ㆍ설계한 알고리즘을 제안한다. 이 수정된 알고리즘을 기반으로 병행 프로그램의 동기화 에러 검출 도구로서 Sddt을 구현하였다. 마지막으로, geometry model을 기반으로 한 동기화 에러 검출 도구와 Sddt와의 성능을 비교ㆍ평가한다.
상세정보 수정요청해당 페이지 내 제목·저자·목차·페이지정보가 잘못된 경우 알려주세요!
목차
- 요약
- Ⅰ. 서론
- Ⅱ. 교착상태 검출 모델의 조사 비교 및 분석
- Ⅲ. Sddt 구현 모델
- Ⅳ. Sddt 구현
- Ⅴ. Carson의 알고리즘을 기반으로 한 동기화 도구와 Sddt의 성능ㆍ비교
- Ⅵ. 결론
- 참고 문헌
참고문헌
참고문헌 신청최근 본 자료
UCI(KEPA) : I410-ECN-0101-2009-569-017968160