http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 유원희(Weonhee Yoo) (검색결과 19 건)
- 무료
- 기관 내 무료
- 유료
-
양창모(Changmo Yang),유원희(Weonhee Yoo) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.1
본 논문에서는 고급 데이타 플로우 언어로 부터 데이타 플로우 그래프를 생성하는 방법을 보여준다. 그래프 모델로 부터 시작된 데이타 플로우 모델은 기계어 수준이므로 사용자가 고도의 병렬성을 얻기 힘드므로 고급 데이타 플로우 언어를 개발하여 이를 데이타 플로우 그래프로 변환하여야 한다. 본 논문에서 사용될 고급 데이타 플로우 언어는 스칼라 자료, 구조형 자료, 함수 값을 자료 형으로 갖으며, 파싱 방법은 재귀적 하강 방법을 사용한다.
-
분리집합을 이용한 Nonstrict 프로그램의 스레드 분할
양창모(Changmo Yang),유원희(Weonhee Yoo) 한국정보과학회 1997 정보과학회논문지(B) Vol.24 No.8
Nonstrict 언어는 nonstrict 어의로 인하여 병렬기계에서 수행될 때 미세수준의 동적 스케줄링과 동기화가 필요하다. 다중스레드 기계를 위하여 nonstrict 프로그램을 번역할 때 동적 스케줄링이 스레드사이에서만 발생하도록 nonstrict 프로그램에서 순차적으로 수행될 부분을 찾아 스레드로 분할하는 방법이 중요하다. 본 논문에서는 기존의 분할 방법에서 병합할 수 없는 스레드를 병합하여 더 큰 스레드를 만드는 분리 집합 분할이라는 스레드 분할 알고리즘을 제안하고 분할 알고리즘의 타당성을 보인다. 분리집합 분할 알고리즘은 노드가 결과를 얻기 위하여 사용하는 모든 입력명을 원소로 갖는 참여집합과 노드에 의존하는 출력을 얻는데 사용되지 않는 입력명의 집합인 분리집합을 이용하여 nonstrict 프로그램을 스레드로 분할한다. 이 방법은 요구집합 분할이나 종속집합 분할 방법에서 실패하는 스레드의 병합이 가능하며, 분리제약 분할 알고리즘보다 적은 수의 노드를 방문하여 적당한 분할을 얻어낸다. The semantics of nonstrict functional languages require fine-grain dynamic schedulings and synchronizations, making an efficient implementation on conventional parallel machines hard. In compiling these languages, the most important step is to extract the sequentially executable portions of a program and to group them into a scheduling unit. This process is called partitioning. In this paper, we propose another partitioning algorithm, Separation Set Partitioning for partitioning nonstrict programs into threads using participation set and separation set and show the correctness of our algorithm. Participation set of a node is a set of inputs that are used to compute results. Separation set of a node is a set of inputs that the are not used by outputs that depend on the node. The algorithm proposed in this paper merges the threads that do not require dynamic scheduling. Our algorithm can merge threads which dependence set partitioning and demand set partitioning algorithm may fail to merge and visits the smaller number of nodes to get an appropriate partition than separation constraint partitioning algorithm.
-
김홍읍(Hongeub Kim),주형석(Hyungseok Joo),유원희(Weonhee Yoo) 한국정보과학회 1992 한국정보과학회 학술발표논문집 Vol.19 No.2
함수언어의 결합자 그래프 감축에서의 문제점은 매번 수행해야 할 결합자 노드를 찾기 위한 그래프 탐색과 그로인한 경우분석, 그리고 감축과정에서 많은 공간을 추가적으로 할당함으로써 garbage collector의 호출횟수의 증가에 따른 시간지연이 발생한다는 것이다. 따라서, 본 논문에서는 함수언어의 지연평가를 이용하여 결합자 감축과정에서 실행되어야 할 결합자 노드를 찾기 위한 그래프 탐색시간과 그래프를 탐색할 때의 경우분석에 소모되는 시간지연을 줄이기 위하여, 실행되어야 할 결합자 노드가 항상 그래프상의 근에 위치하도록 감축방법을 변환하여 수행성을 향상시킨 감축기계를 제안하고 구현하였다. 아울러, garbage collector의 수행에 따른 수행성 저하를 줄이기 위해 각 노드를 결합자 종류에 따라 다양한 크기를 가지는 가변크기노드로 구성하여 필요한 공간을 미리 부여함으로써 감축과정에서 기억장소 할당 요구를 억제하도록 하였다. 그리고 본 논문에서 제안한 방법과 기존 감축방법을 Turner set 결합자에 대하여 탐색, 판독, 기록횟수 및 노드크기를 비교한 결과를 기록하였다.
-
김윤정(Yunjeong Kim),김상도(Sangdo Kim),유원희(Weonhee Yoo) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.2
본 논문에서는 고계 함수를 사용하는 함수 언어의 strictness 분석 방법을 기술한다. 고계 함수는 인자로서 함수가 전달되므로 함수 정의의 형식 매개변수에 대한 strictness 특성 뿐만아니라 함수 적용시의 특성도 필요로 하게된다. 고계 함수 사용시 결정되지 않은 함수의 관련성을 나타내기 위해 종속 집합을 제안하고, 이 종속 집합을 이용한 고계 함수의 strictness 분석 규칙을 제시한다. 또한 이를 함수 언어에 적용하여 strictness 분석 알고리즘을 제안함으로써 함수 언어의 해석 영역을 확장한다.
-
신승철(Seungcheol Shin),김상도(Sangdo Kim),유원희(Weonhee Yoo) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.1
함수 프로그램의 형추론 시스템은 에러검출과 디버깅을 위해 매우 가치있는 도구이다. 특히 형을 갖지않는 다형함수 프로그램에 형을 할당하는 시스템에 대한 연구가 계속되어 왔다. 이것은 프로그래머에게 형이 필요하지 않은 환경을 제공하기 위해 실행연산에 필요한 형정보를 추론해내는 시스템이다. 본 논문에서는 다형 언어가 제공하던 함수 언어의 융통성을 확대하기 위해 다중형 시스템을 도입하였다.
-
안선경(Seonkyung Ahn),신승철(Seungcheol Shin),유원희(Weonhee Yoo) 한국정보과학회 1992 한국정보과학회 학술발표논문집 Vol.19 No.2
형 시스템이 수행하는 일은 일반적으로 실행 시간 동안의 발생할 오류를 예상하여 수정하는 일과 실시간에 예상되는 표현식의 형을 추론하는 일로 나누어 볼 수 있다. 다형성을 갖는 무형 언어에서는 무엇보다도 형 추론의 일이 중요하다. 다형성을 갖는 모든 함수들이 principal 형 스킴을 갖도록 형 추론에 일반성을 부여하는 일과 무형 언어에서의 형 추론의 일이 필수적이기 때문이다. 본 논문에서는 함수 정의로 부터 직접 형을 추론하는 것을 바탕으로 형이 일반성을 갖도록 다형 시스템을 제안한다. 즉 subtyping의 관계를 inclusion 부등식을 이용하여 일반적인 형을 추론할 수 있게 한다. 또한, 일반적인 무형의 식에 이러한 형 시스템을 사용할 수 있도록 레코드와 가변 레코드 형에 대한 형 추론 규칙을 제안한다.
-
논리 프로그램의 병렬 처리를 위한 PRUNING AND / OR 프로세스 모델
이갑래(kablae Lee),김상도(Sangdo Kim),유원희(Weonhee Yoo) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.2
논리 프로그램의 병렬 처리를 위한 많은 모델들이 제안되어왔다. 그중에서 Conery의 AND/OR 프로세스 모델과 Kale의 REDUCE/OR 프로세스 모델이 대표적이다. 본 논문은 두 모델에 기반을 둔 새로운 병렬 수행 모델인 PRUNING AND/OR 프로세스 모델을 제안하고 이를 분석한다. 기존의 AND/OR 프로세스 모델에서는 AND 병렬성을 지원하고 OR 병렬성을 제한하지만 본 논문에서 제시된 모델은 보다 완전한 OR 병렬성을 시도하였다. 또한 이 모델을 이용할 경우 논리 프로그램 수행의 신뢰도를 향상시킬 수 있다.
-
손수호(Sooho Sohn),주형석(Hyungseok Joo),유원희(Weonhee Yoo) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.2
본 논문은 Register Window에서 블럭 구조 언어의 비지역 변수 처리에 관하여 논하고 있다. 기존의 방식은 비지역 변수를 메모리에서 디스플레이나 링크를 사용하여 처리함으로써 성능을 저하시킨다. 비지역 변수를 Register Window내에서 처리하기 위해 Window에 번호를 부여하고 현 Window에서 상위 Window의 레지스터를 억세스할 수 있게 한다. 이를 위해 Mapping Stack이라 불리는 레지스터와 이 처리를 위한 알고리즘을 제안한다.
-
SMT-Solver 를 사용한 자바바이트코드의 배열 오버플로우 검증
이상협 ( Sanghyup Lee ),김제민 ( Jemin Kim ),박준석 ( Joonseok Park ),유원희 ( Weonhee Yoo ) 한국정보처리학회 2011 한국정보처리학회 학술대회논문집 Vol.18 No.1
자바프로그램 검증은 안전하고 정확한 프로그램을 만들기 위한 필수적인 조건이지만 자바언어로 작성된 프로그램은 바이트코드로 작성되어 있는 클래스 파일로 배포되기 때문에 바이트코드에 대한 검증이 필요하다. 하지만 자바 바이트코드는 가독성이 떨어져 중간언어로 변환을 하고 그 중간코드에서 검증에 필요한 조건들을 작성 해야 한다. 이 논문에서는 새로 정의된 중간언어인 BIRS 을 통해 컴파일시 검증이 되지 않는 배열 오버플로우에 대한 정적검증을 설명하고 검증 절차에 필요한 명제의 정의와 검증 시 사용되는 SMT-Solver 인 Z3 의 사용법에 대하여 서술하였다.
-
An Efficient Application of Static Single Assignment Form
두리단(Lidan Du),김기태(Kitae Kim),김재민(Jemin Kim),유원희(Weonhee Yoo) 한국정보과학회 2007 한국정보과학회 학술발표논문집 Vol.34 No.1C
Static Single Assignment (SSA) form is an intermediate representation which encodes information about data and control flow that is used to facilitate program analysis and optimization. SSA form simplifies this process with its size linear to program size. Thus we use SSA form to efficiently facilitate bytecode level analysis and optimizations in our CTOC program processor project. In this paper, we illustrate the application and implementation of SSA form using an example. We give the conclusion after experimental results.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
