지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. 캐쉬 일관성 프로토콜
3. 정형 기법 도구
4. MESI 프로토콜의 정형 명세 및 검증
5. 결론 및 향후 과제
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
MESI 캐쉬 일관성 유지 프로토콜의 성능 향상에 관한 연구
한국정보과학회 학술발표논문집
1995 .04
개선된 MESI 쓰기 - 무효화 스누핑 캐쉬 일관성 프로토콜
(구)정보과학회논문지
1994 .11
ESTEREL을 이용한 Cache Coherency Protocol의 정형 설계 및 검증
한국정보과학회 학술발표논문집
2002 .04
Futurebus+를 사용하는 멀티프로세서 시스템에서 MESI 프로토콜의 성능 분석
대한전자공학회 학술대회
1992 .06
Futurebus +를 사용하는 멀티프로세서 시스템에서 MESI 프로토콜의 성능 분석 ( Performance Analysis of Mesi Protocol for a Futurebus + Bsed Multiprocessor )
대한전자공학회 학술대회
1992 .07
MESI 캐쉬 코히어런스 프로토콜을 사용하는 Futurebus+ 기반 멀티프로세서 시스템의 성능평가 ( Performance Analysis of Futurebus+ based Multiprocessor Systems with MESI Cache Coherence Protocol )
한국통신학회논문지
1993 .12
통신 프로토콜 검증을 위한 Esterel 정형검증 연구
한국정보과학회 학술발표논문집
2002 .04
Performance Analysis of Futurebus+ based Multiprocessor System with MESI Cache Coherence Protocol
ICEIC : International Conference on Electronics, Informations and Communications
1993 .08
공유버스 다중 프로세서 시스템의 성능 및 시험성 향상
정보과학회논문지(C)
1996 .12
Esterel 문법구조 바탕의 오토마타 생성
한국정보과학회 학술발표논문집
2010 .06
외부환경을 고려한 ESTEREL 프로그램 검증
한국정보과학회 학술발표논문집
2007 .10
프로토콜 정확성 검증에 관한 연구
한국통신학회 전기통신학술연구과제
1991 .01
Esterel에서 근사-제어흐름그래프의 효율적인 생성
한국정보과학회 학술발표논문집
2009 .06
다중 프로세서 시스템용 캐쉬 메모리 설계에 관한 연구
전자진흥
1988 .01
NUMA 다중 프로세서에서의 캐쉬 일관성 프로토콜
[ETRI] 전자통신동향분석
1998 .10
SSM을 이용한 RACE protocol의 검증
한국정보과학회 학술발표논문집
1999 .04
소프트웨어 분산 공유 메모리 환경에서 해제 일관성을 위한 효율적인 프로토콜
한국정보과학회 학술발표논문집
1996 .04
Esterel 문법구조 바탕의 오토마타 생성
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2010 .11
Esterel 기반 임베디드 소프트웨어의 신뢰성 향상을 위한 개발 기법
한국정보과학회 학술발표논문집
2005 .07
정형 명세를 통한 보안 프로토콜 코드 생성
한국정보과학회 학술발표논문집
2004 .10
0