지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. RACE 프로토콜
3. 정형 기법 도구
4. RACE 프로토콜의 정형 명세 및 검증
5. 결론 및 향후 연구과제
참고 문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
통신 프로토콜 검증을 위한 Esterel 정형검증 연구
한국정보과학회 학술발표논문집
2002 .04
ESTEREL을 이용한 MESI프로토콜의 정형 설계 및 검증
한국정보과학회 학술발표논문집
2001 .10
SSM을 이용한 RACE protocol의 검증
한국정보과학회 학술발표논문집
1999 .04
NUMA 다중 프로세서에서의 캐쉬 일관성 프로토콜
[ETRI] 전자통신동향분석
1998 .10
계층적 공유 메모리 다중 프로세서를 위한 캐쉬 일관성 유지프로토콜의 설계 및 성능분석
(구)정보과학회논문지
1993 .12
Esterel 문법구조 바탕의 오토마타 생성
한국정보과학회 학술발표논문집
2010 .06
Esterel에서 근사-제어흐름그래프의 효율적인 생성
한국정보과학회 학술발표논문집
2009 .06
프로토콜 정확성 검증에 관한 연구
한국통신학회 전기통신학술연구과제
1991 .01
공유메모리 다중처리기 시스템에서의 혼합형 캐쉬 프로토콜에 관한 연구
한국정보과학회 학술발표논문집
1995 .04
외부환경을 고려한 ESTEREL 프로그램 검증
한국정보과학회 학술발표논문집
2007 .10
단일 공유 메모리를 가지는 다중 프로세서 시스템의 원격 캐시 일관성 유지 프로토콜
전자공학회논문지-CI
2005 .11
공유 버스를 갖는 다중 프로세서 시스템의 캐쉬 일관성 프로토콜에 관한 연구
대한전자공학회 학술대회
1993 .11
공유메모리 다중처리기에서의 동적 제어 디렉토리를 이용한 캐쉬 일관성 유지 기법 ( A Cache Coherency Method Using Dynamic Limited Directory Scheme )
대한전자공학회 학술대회
1996 .07
거짓 공유를 제거하기 위한 캐쉬 프로토콜
정보과학회논문지(A)
1996 .06
공유메모리 다중 프로세서에서 서브블록 캐쉬 프로토콜의 성능
정보과학회논문지(A)
1999 .06
계층 클러스터 구조를 위한 캐쉬 일관성 프로토콜의 설계 및 구현 ( A Design and Implementation of Cache Coherence Protocol for Hierarchical Cluster Architecture )
한국통신학회논문지
1994 .07
Esterel 기반 임베디드 소프트웨어의 신뢰성 향상을 위한 개발 기법
한국정보과학회 학술발표논문집
2005 .07
하드웨어 동기화 명령을 이용한 연성메모리 일관성모델의 구조적 지원
정보과학회논문지(A)
1997 .09
Esterel 문법구조 바탕의 오토마타 생성
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2010 .11
다중 슬롯링 다중 프로세서 시스템에서의 캐쉬 일관성 프로토콜
한국정보과학회 학술발표논문집
1997 .04
0