http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 엄현선 (검색결과 3 건)
- 무료
- 기관 내 무료
- 유료
-
엄현선,최진영,한우종,기안도,심규현,Um, Hyun-Sun,Choi, JIn-Young,Han, Woo-Jong,Ki, An-Do,Shim, Kyu-Hyun 한국정보처리학회 2000 정보처리논문지 Vol.7 No.7
다중 프로세서 시스템에서 각각의 프로세서에 할당되어 있는 지역 캐쉬에 데이터의 복사본이 분산 공유되어 있는 경우 데이터의 일관성 유지가 필요하다. 따라서 캐쉬 일관성 유지 프로토코콜은 공유 메모리 다중 프로세서 시스템의 정확하고 효율적인 작동이 중요하다. 그러므로 시스템이 복잡해짐과 비례하여 현재 사용되고있는 무작위적 테스트나 시뮬레이션은 프로토콜의 정확성을 확인하기에 충분하지 못하므로 보다 효율적이고 믿을 만한 검증 방법이 필요하다. 본 논문은 ETRI에서 개발된 캐쉬 일관성 프로토콜인 RACE(Remote Access Cache coherent Enforcement)프로토콜의 몇 가지 특성(property)들을 정형기법에 쓰이는 도구 중이 하나인 VIS(Verification Interacting with Synthesis)를 이용하여 검증한다. Caches in a multiprocessing environment introduce the cache coherence problem. When multiple processors maintain locally cached copies of a unique shared-memory location, any local modification of the location can result in a globally inconsistent view of memory. Cache coherence protocols are important to operate a shared-memory multiprocessor system with efficiency and correctness. Since random testing and simulations are not enough to validate correctness of protocols, it is necessary to develop efficient and reliable verification methods. In this appear we present our experience in using VIS (Verification Interacting with Synthesis), a tool of formal method, to analyze a number of property of a cache coherence protocol, RACE (Remote Access Cache coherent Enforcement).
-
엄현선(Hyun Sun Um),최진영(Jin Young Choi),한우종(Woo Jong Han),기안도(An Do Ki),심규현(Kyu Hyun Shim) 한국정보처리학회 2000 정보처리학회논문지 Vol.7 No.7
Caches in a multiprocessing environment introduce the cache coherence problem. When multiple processors maintain locally cached copies of a unique shared-memory location, any local modification of the location can result in a globally inconsistent view of memory. Cache coherence protocols are important to operate a shared-memory multiprocessor system with efficiency and correctness. Since random testing and simulations are not enough to validate correctness of protocols, it is necessary to develop efficient and reliable verification methods. In this paper we present our experience in using VIS (Verification Interacting with Synthesis), a tool of formal method, to analyze a number of property of a cache coherence protocol, RACE (Remote Access Cache coherent Enforcement).
-
김다희(Da Hee Kim),최리진(Ri Jin Choi),김주현(Ju Hyun Kim),엄현선(Hyun Saun Um),류한영(Han Young Ryoo) 한국HCI학회 2008 한국HCI학회 학술대회 Vol.2008 No.2
WCDMA 의 등장으로 영상통화를 지원하는 휴대폰의 보급은 빠르게 확산되고 있다. 하지만 예상과 달리 사용자들의 실제 영상통화 이용률은 그리 활성화 되지 못하고 있는 실정이다. 본 연구자들은 이러한 현상이 나타나게 된 원인이 영상통화 기능이 단순한 통화기능으로만 활용될 뿐 그 실질적 효용성이 높지 못하기 때문이라 판단하여, 영상 통화를 활성화 시킬 수 있는 방안에 대한 연구를 진행하였다. 오늘날 IT 기반의 서비스 중에 매우 활성화 된 것이 쇼핑 관련 서비스이다. 무선 인터넷과 모바일 환경에서 금융과 통신의 융합이 사회적 화두로 떠오르고, 이러한 이유로 영상통화 기능을 쇼핑과 연계한다면 그 효용성이 매우 커질 것으로 판단하였다. 그리하여 본 연구에서는 사용자 행태 조사을 통해 그들의 needs 를 범주화하고 분석하여 영상통화 쇼핑 서비스 어플리케이션을 도출하였다. 그리고 도출된 어플리케이션의 세부적 절차와 원활한 인터페이스의 설계를 위해 시나리오 형식으로 개발하여 그 형태를 구체화시키고자 하였다.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
