http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 한태숙(Tai-Sook Han) (검색결과 5 건)
- 무료
- 기관 내 무료
- 유료
-
Eval-Apply 모델의 STGM에 기반하여 지연 계산 함수형 프로그램을 자바로 컴파일하는 기법
남병규,최광훈,한태숙,Nam, Byeong-Gyu,Choi, Kwang-Hoon,Han, Tai-Sook 한국정보과학회 2002 정보과학회논문지 : 소프트웨어 및 응용 Vol.29 No.5
최근에 지연 계산 함수형 언어를 자바 프로그램으로 변환함으로써 지연 계산 함수형 언어 프로그램에 대해 코드 이동성을 제공하려는 연구가 있었다. 이러한 연구들은 자바와 지연 계산형 함수형 언어의 추상 기계가 가지는 구조적 유사성에 바탕을 두고 있다. 지연 계산 함수형 언어에 대한 추상 기계인 STGM(Spineless Tagless G-machine)과 자바 언어에 대한 추상 기계인 JVM(Java Virtual Machine)은 기억장소 재활용 체계와 스택 기계 구조를 가진다는 점에서 공통된 특징을 가지고 있다. 그러나 현재가지의 지연 계산 함수형 언어로부터 자바로의 변환 구조는 이와 같은 추상 기계 구조상의 공통점을 충분히 이용하지 못하였다. 본 논문에서는 STGM의 계산 모델을 eval-apply 모델로 새로이 정의함으로써 STGM과 JVM의 공통점을 충분히 이용하는 새로운 변환 구도를 제안한다. 새로이 제안된 변환 구도에서는 자바 스택(Java Virtual Machine Stack)을 사용하여 함수 계산을 수행하도록 함으로써 스택 시뮬레이션으로 인해 나타나는 자바에서의 배열 접근 부담을 제거하였다. 본 논문의 변환 구도에 의해 자바로 변환된 벤치마크 프로그램들은 기존의 변환 구도에 의해 변환된 경우보다 JDK 1.3에서 빠르게 동작한다. Recently there have been a number of researches to provide code mobility to lazy functional language (LFL) programs by translating LFL programs to Java programs. These approaches are basically baled on architectural similarities between abstract machines of LFLs and Java. The abstract machines of LFLs and Java programming language, Spineless Tagless G-Machine(STGM) and Java Virtual Machine(JVM) respectively, share important common features such as built- in garbage collector and stack machine architecture. Thus, we can provide code mobility to LFLs by translating LFLs to Java utilizing these common features. In this paper, we propose a new translation scheme which fully utilizes architectural common features between STGM and JVM. By redefining STGM as an eval-apply evaluation model, we have defined a new translation scheme which utilizes Java Virtual Machine Stack for function evaluation and totally eliminates stack simulation which causes array manipulation overhead in Java. Benchmark program translated to Java programs by our translation scheme run faster on JDK 1.3 than those translated by the previous schemes.
-
박홍영(Hong-Young Park),한태숙(Tai-Sook Han) 한국정보과학회 2000 한국정보과학회 학술발표논문집 Vol.27 No.2Ⅰ
G-Machine은 수행하는데 있어서 그래프를 표현하기 위해 많은 그래프 공간을 필요로 한다. 이를 줄이기 위한 노력으로 최근 태그 옮김을 이용한 ZGM이 설계되었다. 하지만, ZGM은 태그와 자료의 분리로 인하여 많은 상대 주소를 갖게 되어 실행 시간 부담이나 공간 활용 부담이 된다. 본 논문에서 우회 노드 장소에 자료를 중복 사용하는 방법을 이용하여 G-Machine에서 필요로 하는 그래프 공간을 절약한 poGM(Pointer Overlapped GM)을 제안한다. poGM은 ZGM과 같이 상대 주소를 사용하지만, 일반적인 노드 나타내는데 ZGM과 달리 자료의 분리가 일어나지 않고, 상대 주소를 줄일 수 있으며, 실험을 통하여 공간 효율과 시간 효율이 높은 것을 보인다.
-
하드웨어/소프트웨어 동시검증을 위한 합성 가능한 인터페이스 검증 기법
이재호(Jaeho Lee),한태숙(Tai Sook Han),윤정한(Jeong-Han Yun) 한국정보과학회 2010 정보과학회논문지 : 소프트웨어 및 응용 Vol.37 No.4
임베디드 시스템은 오늘날 우리 일상에서 널리 사용되고 있고 그 중요성은 더욱 증대되고 있다. 이에 비례하여 임베디드 시스템의 복잡도와 이를 개발하려는 노력 또한 더욱 더 증가하고 있다. 하드웨어와 소프트웨어로 구성되어 있는 임베디드 시스템의 이질적인 특성은 시스템 개발 및 통합 시에에러를 야기하는 주원인이 된다. 그 중에서도, 하드웨어와 소프트웨어 간의 인터페이스에서 발생하는 에러가 시스템 에러의 13%를 차지하고 있으며 이 비율은 더욱 증가하는 추세이다. 우리는 하드웨어와 소프트웨어 동시설계를 위한 실제적인 인터페이스 동시 검증 기법을 제안하고 이를 지원하는 도구를 구현하였다. 먼저, 이 논문은 하드웨어와 소프트웨어간의 상호작용을 기술할 수 있는 인터페이스 명세를 정의한다. 이 명세 방법은 하드웨어와 소프트웨어 서로간의 특성을 잘 표현할 수 있고, 소프트웨어 명세로부터 하드웨어 명세로의 변환이 가능하여 전체 시스템이 소프트웨어의 입장에서 기술될 수 있도록 한다. 둘째, 작성된 하드웨어 설계와 소프트웨어 설계에 대해 명시된 인터페이스의 의미대로 동작하는지를 검증하는 기법을 제시한다. 주어진 명세로부터 소프트웨어의 동작을 가정하고 이를 하드웨어 설계로 모델링하여 하드웨어 인터페이스에 대한 모델검증을 수행하고, 그 후 소프트웨어의 동작에 대해 검증을 수행하는 가정-보증 추론(assume-guarantee reasoning) 방식의 검증을 수행한다. 마지막으로 기존의 검증 연구들이 저수준의 인터페이스를 추상화하여 현실적 적용이 힘들었던 반면 우리는 디바이스 API, 디바이스 드라이버, 디바이스 컨트롤러 등의 저수준의 인터페이스 코드들을 자동으로 생성하여 검증된 하드웨어와 소프트웨어 코드가 바로 통합되어 시스템을 구축할 수 있는 실제적인 해결책을 제시한다. The complexity of embedded systems and the effort to develop them has been rising in proportion with their importance. Also, the heterogeneity of the hardware and software parts in embedded systems makes it more challenging to develop. Errors caused by hardware/software interfaces, especially, account for up to 13 percent of failures with an increasing trend. Therefore, verifying the interface between hardware and software in embedded system is one of the most important research areas. However, current approaches such as co-simulation method and model checking have explicit limitations. In this paper, we propose the synthesizable interface co-verification framework for hardware/software co-design. Firstly, we introduce the separate interface specifications for the heterogeneous components to describe hardware design and software design. Our specifications are expressive enough to describe both. We also provide the transformation rules from the software specification to the hardware specification so that the whole system can be described from the software view. Secondly, we address the solution of verifying the interface of the software and hardware design by adopting and extending existing verification-techniques and extending them. In hardware interface verification, we exploit the model checking technique and provide more efficient verification by closing the hardware design from the assumption of the software behavior which is ensured by software verification step. Lastly, we generate the interface codes such as device APIs, device driver, and device controller from the specification so that verified hardware and software codes can be synthesized without extra efforts.
-
KMEDIA - 2 : 지능형 입출력을 지원하는 PC용 하이퍼미디어 시스템 및 멀티미디어 저작도구
황규영(Kyu-Young Whang),오영환(Yung-Hwan Oh),양현승(Hyun-Seung Yang),한태숙(Tai-Sook Han),최기선(Key-Sun Choi),이흥규(Heung-Kyu Lee),노웅기(Woong-Kee Loh),최환진(Hwan-Jin Choi),고병기(Byong-ki Ko),우균(Gyun Woo),서광준(Kwang-Jun Seo 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.2A
본 논문에서는 PC용 하이퍼미디어 시스템인 KMEDIA-1을 확장하여 지능형 입출력을 지원하는 KMEDIA-2 (KAIST Hyper MEDIA-2)에 대하여 기술한다. 지능형 입출력이란 자연언어 질의를 통한 정보 검색, 음성 명령어 인식 및 음성 합성, 영상 인식 인터페이스를 의미한다. KMEDIA-2는 이외에 멀티미디어 객체 동기화, 스크립트 언어, wavelet 변환을 이용한 정영상 압축 및 복원 기능과 디지탈 동영상을 지원하며, 하부 저장 구조로서 객체지향 저장 시스템인 KAIST-MMDB를 사용하여 하이퍼미디어 정보를 저장한다.
-
Function - free 논리 프로그램의 Bottom - up 수행의 최적화를 위한 정적 필터의 최소 고정점 정형화
창병모(Byeong-Mo Chang),최광무(Kwang-Moo Choe),한태숙(Tai-sook Han) 한국정보과학회 1992 한국정보과학회 학술발표논문집 Vol.19 No.1
필터링을 이용한 논리 프로그램의 bottom-up 수행은 논리 프로그램 수행의 최적화를 위한 강력한 방법이다. 본 논문에서는 정적 필터의 계산을 연립 방정식 형태로 정형화하고 그 최소 고정점(least fixed point)이 구하고자하는 정적 필터가 되도록 한다. 정적 필터의 계산 과정은 연립 방정식의 최소 고정점을 구하는 과정으로써 설명된다. 여기서 구한 정적 필터를 일반화하여 각 rule의 sideways passing graph(SPG)를 고려하여 부분 정적 필터(partial static filter)를 계산할 수 있으며 동적 필터는 부분 정적 필터로부터 시작하여 단계적으로 계산할 수 있다. 이를 위한 방법이 [CCH92]에 설명되어 있으며 정적 필터만을 이용할 때보다 효율적임이 증명되었고 그 방법의 completeness가 증명되었다.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
