도움말

프로세스 대수를 이용한 병행 프로그램 설계 및 검증

Concurrent Program Design and Verification Using Process Algebra
김형호, 김영곤, 배두환식별저자, 원성기, 송태섭
한국정보과학회 1997년도 가을 학술발표논문집 제24권 제2호(Ⅰ), 1997.10, 627-630 (4 pages)
인용정보 복사
Quick View Quick View
구매하기 6,000원
인용하기
이용수 : 31건
피인용수 : 0건
분야내 활용도 : 35%
자세히 보기 >

· 이용수 : 2010년부터 집계한 원문다운로드수

· 피인용수 : DBpia 논문 가운데 해당 논문을 인용한 논문수

· 분야내 활용도 : 최근 24개월간 DBpia 이용수를 기준으로 산출 / 0%에 가까울 수록 활용도가 높고, 100%에 가까울 수록 활용도가 낮음

초록
시스템의 성능 향상과 응답 시간 개선 등을 위해서 병행 프로그램 설계의 요구가 증대되고 있다. 이러한 병행 프로그램은 교착 상태의 회피, 공유 자원의 일관성 유지와 같은 고유의 문제를 해결하여야 하기 때문에 순차적 프로그램의 구현보다 많은 노력이 요구되는 것이 현실이다. 이러한 문제들을 해결하기 위해서 많은 정형적 개발 기법들의 병행 프로그램 설계 및 검증 단계에서의 적용이 연구되었다. 그 중 프로세스 대수는 프로그래밍 언어와의 유사성으로 인하여 그 사용이 증대되고 있다. 본 연구에서는 UNIX 운영 체제하에서 병행 프로그램 개발의 표준 환경인 POSIX 표준에 프로세스 대수를 통한 설계와 검증 기법을 적용한다. 이러한 적용은 정형적 분석 결과에 기반한 병행 프로그램의 개발을 가능하게 함으로서, 앞서 언급된 병행 프로그램의 문제를 완화 시킬 수 있다.

목차
요약

1. 서론

2. 기존 연구

3. 모델링

4. 예제

5. 결론

참고 문헌
참고문헌 (0)

현재 논문의 참고문헌을 찾아 신청해주세요!

해당 논문은 참고문헌 정보가 없습니다.

인용된 논문 (0)

알림서비스 신청하고 '인용된 논문' 정보를 메일로 확인 하세요!

해당 논문은 인용된 논문 정보가 없습니다.

제 1 저자의 다른 논문 (0)

해당 논문은 제 1저자의 다른 논문 정보가 없습니다.

권호 내 다른 논문 (167)

한국정보과학회 1997년도 가을 학술발표논문집 제24권 제2호(Ⅰ) 의 상세정보를 확인해 보세요.

추천 논문 (10)

DBpia 추천논문과 함께 다운받은 논문을 제공합니다. 논문 초록의 텍스트마이닝과 이용 및 인용 관계 분석을 통해 추천해 드리는 연관논문을 확인해보세요.

DBpia 추천논문

더 많은 추천논문을 확인해 보세요!

함께 다운받은 논문

지표

이용현황

· 이용수

· 이용순위 상위 Top3

자세히 보기 >
No 상위 이용이관 이용수
1 전북대학교 5
2 고려대학교 3
3 현대자동차 3

활용도

· 활용지수

· 논문의 활용도 추이 (주제분야 기준)

자세히 보기 >

: %

2016-09
2016-10
2016-11
2016-12
0
20
40
60
80
100
  • 0%
  • 20%
  • 40%
  • 60%
  • 80%
  • 100%

인용수

상세정보
저작권 정책

누리미디어에서 제공되는 모든 저작물의 저작권은 원저작자에게 있으며, 누리미디어는 각 저작물의 내용을 보증하거나 책임을 지지 않습니다. 단, 누리미디어에서 제공되는 서지정보는 저작권법에 의해 보호를 받는 저작물로, 사전 허락 없이 임의로 대량 수집하거나 프로그램에 의한 주기적 수집 이용, 무단 전재, 배포하는 것을 금하며, 이를 위반할 경우, 저작권법 및 관련법령에 따라 민, 형사상의 책임을 질 수 있습니다.

맨 위로 이동
  • 개인회원으로 로그인하셔야 이용이 가능합니다.
  •  개인회원
  •  기관회원
  • 소속기관
  • 아이디
  • 비밀번호
  • 개인회원가입으로 더욱 편리하게 이용하세요. 일반회원 가입하기

    아이디/비밀번호를 잊으셨나요? 아이디/비밀번호 찾기