메뉴 건너뛰기
소속 기관 / 학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
고객센터 ENG
주제분류

논문 기본 정보

자료유형
학술대회자료
저자정보
저널정보
Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 1990년도 가을 학술발표논문집 제17권 제2호
발행연도
수록면
509 - 512 (4page)

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
이 논문의 연구방법이 궁금하신가요?
🏆
연구결과
이 논문의 연구결과가 궁금하신가요?

초록· 키워드

본 논문은 병행 프로세스간의 교착상태 검출을 위하여 많이 활용되고 있는 네가지 모델의 특징을 조사ㆍ비교ㆍ분석하고, 정적 교착상태 검출을 위한 geometry model의 문제점을 보완ㆍ설계한 알고리즘을 제안한다. 이 수정된 알고리즘을 기반으로 병행 프로그램의 동기화 에러 검출 도구로서 Sddt을 구현하였다. 마지막으로, geometry model을 기반으로 한 동기화 에러 검출 도구와 Sddt와의 성능을 비교ㆍ평가한다.
상세정보 수정요청해당 페이지 내 제목·저자·목차·페이지
정보가 잘못된 경우 알려주세요!

목차

  1. 요약
  2. Ⅰ. 서론
  3. Ⅱ. 교착상태 검출 모델의 조사 비교 및 분석
  4. Ⅲ. Sddt 구현 모델
  5. Ⅳ. Sddt 구현
  6. Ⅴ. Carson의 알고리즘을 기반으로 한 동기화 도구와 Sddt의 성능ㆍ비교
  7. Ⅵ. 결론
  8. 참고 문헌

참고문헌

참고문헌 신청

최근 본 자료

전체보기
UCI(KEPA) : I410-ECN-0101-2009-569-017968160