http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 주형석(Joo Hyung Seok) (검색결과 7 건)
- 무료
- 기관 내 무료
- 유료
-
할당공간의 크기 변화를 통한 세대별 메모리 재활용 알고리즘
주형석(Hyung Seok Joo),유원희(Weon Hee Yoo) 한국정보과학회 1996 정보과학회논문지(B) Vol.23 No.11
세대별 메모리 재활용(generational garbage collection) 방법[2]은 일반적인 복사 방법에 비해 프로그램의 실행시간을 단축시킬 수 있는 장점을 갖고 있으나 할당공간(allocation space)과 복사공간(copy space)을 고정된 크기로 운영하기 때문에 메모리의 이용효율이 저하된다. 따라서, 효율적인 기억장소 운영을 위하여 복사공간의 사용되지 않는 공간을 줄이기 위한 방안이 필요하다. 본 논문에서는 세대별 메모리 재활용 방법을 개선하기 위하여 전-세대로 부터 발생되는 활성노드량, 활성노드의 증감율, 안정적 증감율 등의 경험적 정보를 이용하여 효율적인 메모리 운영을 위한 알고리즘을 제안한다. 개선된 알고리즘에 의해 메모리 이용효율이 향상되며, 메모리 재활용을 위한 호출을 줄일 수 있다. 제안된 방법은 결합자 그래프 감축기(combinator graph reduction machine) 상에서 구현하며, 이에 대한 성능 평가를 보인다. Generational garbage collection has an advantage of faster program execution time than general copying garbage collection. But, it suffers poor performance in memory management, because it allocates free space to allocation space and copy space in same size. For efficient memory usage, we need to reduce unused space in copy space. To improve generational garbage collector, we extract heuristic information from pre-generation, such as amount of active node, variation of active node, and safety variation, So, we propose algorithm for efficient memory management using this information. This algorithm enhances performance in memory management, and reduces invocation of garbage collector. Proposed mechanism is implemented on a combinator graph reduction machine, and performance evaluation of the result is given.
-
주형석(Joo Hyung Seok),김홍읍(Kim Hong Eub),유원희(Yoo Weon Hee) 한국정보처리학회 1997 정보처리학회논문지 Vol.4 No.3
Despite elegant semantics and a lot of features, pure functional programming language do not provide an efficient way of representing states. Many researches have been done to resolve the problem, however, another problem arises that it is hard to implement because of the complex type system and reduction rule. Therefore, the scheme which simplifies the reduction rule and maintains states efficiently needed to have the implementation effective. This paper proposes st-calculus, the execution model of a functional language with states, and proves that the proposed model satisfies the Church-Rosser theorem. It has simple reduction rules and the ability of representing states without compromizing the properties of pure functional languages. The expressiveness can be increased through this model, and the difficulties with implementation may be reduced by simplifying the reduction rules.
-
함수언어의 스트릭트성 분석을 위한 고정점 탐색 방법의 개선
정용석(Yong-Seok Jeong),주형석(Hyung-Seok Joo),유원희(Weon-Hee Yoo) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.1
함수언어의 스트릭트성 분석 과정에서 추상해석을 통하여 재귀함수에 대한 정확한 스트릭트성 정보를 찾는 방법은 재귀함수의 인수에 대하여 지수적인 탐색공간을 보인다. 따라서, 이의 개선에 관한 연구가 진행되어 왔으며, 그 중 대표적인 것이 경계 알고리즘이다. 그러나, 경계 알고리즘도 사용하는 격자의 크기가 인수의 증가에 따라 빠른 속도로 커지는 경향을 보인다. 본 연구에서는 추상함수 생성시 함수정의 분석을 통하여 구성되는 유한격자를 부분유한격자로 구분하여 탐색공간을 줄임으로써 스트릭트성 분석의 효율성을 증대시키는 방안을 제안한다.
-
비평가인자 함수 프로그램의 스레드 분할 향상을 위한 자료형 분리 집합 분할 알고리즘
양창모(Yang Chang Mo),주형석(Joo Hyung Seok),유원희(Yoo Weon Hee) 한국정보처리학회 1998 정보처리학회논문지 Vol.5 No.8
The semantics of non-strict functional languages require fine-grain dynamic scheduling and synchronization, making an efficient implementation on conventional parallel machine difficult. 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 Typed Separation Set Partitioning algorithm for partitioning non-strict functional programs into threads using type information of input names and output names. Any input cannot be indirectly dependent on outputs whose types are incompatible to those of inputs. This algorithm can generate the longer threads than other partitioning algorithms can do.
-
유원희(Yoo Weon Hee),주형석(Joo Hyung Seok) 한국정보처리학회 1996 정보처리학회논문지 Vol.3 No.5
Pure functional languages have the referential transparency feature so that all objects cannot be updated destructively. Once an aggregated data structure such as array is updated, both the original and newly updated array must be preserved to maintain referential transparency. Thus, it is required to develop an efficient mechanism with which can reduce the maintenance cost while maintaining referential transparency for whole data.This study is to suggest a functional array to solve the problem, and then test it. For that, the proposed mechanism was implemented on a combinator graph reduction machine. The result shows that proposed mechanism reduces traversal time for array operations. Also, updating all versions and accessing the recent version are achieved in constant time without reconstruction of updated data in execution time.
-
조선문(Sun-Moon Jo),주형석(Hyung-Seok Joo),유원희(Weon-Hee Yoo) 한국콘텐츠학회 2007 한국콘텐츠학회논문지 Vol.7 No.11
접근 제어 기법은 아주 작은 단위의 보호 수준을 지원할 만큼 충분히 유연해야 한다. 또한 접근 제어정책은 문서 타입과 관련하여 명세될 가능성이 매우 높으므로 문서가 기존의 접근 제어 정책에 의해 다루어지지 않는 상황을 적절하게 관리해야 한다. 기존의 접근 제어는 HTML의 근본적인 한계 때문에 정보구조와 의미론을 충분히 고려하지 못하였다. 또한 XML 문서에 대한 접근 제어는 읽기 실행만을 제공하며, 복잡한 권한의 평가 과정 때문에 시스템 성능이 저하되는 문제점이 존재한다. 이러한 문제점을 해결하기 위해 본 논문에서는 미세 접근 제어가 가능한 XML 접근 제어 관리 시스템을 설계한다. 접근 제어시스템을 개발함에 있어 어떤 권한부여를 명세하고 어떤 접근 제어를 실행해야 하는가와 관련하여 XML 문서 권한부여 주체와 객체 정책에 관하여 기술한다. Access control techniques should be flexible enough to support all protection granularity levels. Since access control policies are very likely to be specified in relation to document types, it is necessary to properly manage a situation in which documents fail to be dealt with by the existing access control policies. The existing access control has not taken information structures and semantics into full account due to the fundamental limitations of HTML. In addition, access control for XML documents allows only read operations, and there exists the problem of slowing down system performance due to the complex authorization evaluation process. In order to resolve this problem, this paper designs a XML Access Control Management System which is capable of making fined-grained access control. And then, in developing an access control system, it describes the subject and object policies of authorization for XML document on which authorization levels should be specified and which access control should be performed.
-
경험적 정보를 이용한 결합자 감축기의 세대별 가베지 수집기 개선
김성배(Sung-Bae Kim),김홍읍(Hong-Eub Kim),이갑래(Gab-Rae Lee),주형석(Hyung-Seok Joo),유원희(Won-Hee Yoo) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.2B
세대별 가베지 수집기를 이용함으로써 일반적인 복사 방법에 의한 가베지 수집 보다는 실행 프로그램이 중단되는 시간을 줄일 수 있는 장점을 가지지만, 최적의 ‘복사공간’ 크기를 알 수 없어서 ‘복사공간’을 필요 이상으로 크게 운영하므로써 기억장소의 이용 효율이 떨어지는 문제점을 지니고 있다. 본 논문에서는 세대별 가베지 수집기의 이러한 문제점을 개선하여 ‘할당공간’의 크기를 가능한 한 크게 함으로써 기억장소 이용 효율을 향상시킨 가베지 수집 방법을 제안한다. 이와같이 하기 위해서 ‘할당공간’과 ‘복사공간’을 고정된 같은 크기로 분할하지 않고, 할당된 노드와 가베지 수집 후 회수된 기억장소로부터 얻어지는 경험적 정보를 이용하여 다음 단계의 ‘할당공간’과 ‘복사공간’의 크기를 가변적으로 운영하는 알고리즘과 실험 결과를 보인다.
ScienceON연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
