http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
자료 종속 싸이클 제거를 통한 루프내 문장들의 벡터화에 관한 연구
차경권(Kyong Kwon Cha),이병관(Byung Kwan Lee),이경환(Kyong Whan Lee) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.2
루프 벡터화란 루프의 각 문장이 루프 내의 다음 문장이 실행되기 전에 인덱스 집합의 모든 값에 대하여 실행될 수 있는 지 조사하는 과정으로 정의한다. 본 연구는 루프 내의 문장들에 대한 벡터화를 최대로 하기 위하여 문장들 간의 자료 종속 싸이클을 제거하는 여러가지 변환 기법을 연구하였다.
FORTRAN 프로그램의 VECTORIZATION을 위한 NORMALIZATION에 관한 연구
차경권(Kyong Kwon Cha),이병관(Byung Kwan Lee),이경환(Kyung Whan Lee) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.1
Serial language를 vector language로 자동 변환 하여 주는 벡터 변환기에 대한 연구가 활발해 지고 있다. 그러한 변환기의 장점은 사용자가 벡터language에 대한 지식이 없이도 병렬 프로그램을 사용할 수 있다는 점이다. 그러나 여러 요인 때문에 원시 프로그램의 벡터화 율은 낮은 편이다. 본 논문에서는 벡터화 율을 높이기 위해 프로그램 normalization에 관한 연구를 하고자 한다.
시제 논리를 이용한 행위적 하위 타입 관계의 정의 및 검증
권기현(Gi-Hwon Kwon),이충호(Chung-Ho Lee),이경환(Kyong-Whan Lee),남윤석(Yoon-Suk Nam) 한국정보과학회 1997 정보과학회논문지(B) Vol.24 No.9
본 논문에서는 객체들 간의 행위적 하위 타입 관계에 관한 새로운 정의를 제시한다. 기존의 연구들은 객체의 정적 행위 제약을 기반으로 하여 행위적 하위 타입 관계를 정의하였으나, 본 연구에서는 동적 행위 제약을 기반으로 하여 행위적 하위 타입 관계를 정의한다. 만약 두 개의 객체가 본 논문에서 정의하는 행위적 하위 타입 관계를 만족한다면, 상위 타입 객체의 메소드 호출 순서가 하위 타입 객체에서 그대로 보존된다. 따라서 상위 타입 객체를 하위 타입 객체로 안전하게 대치할 수 있다. 객체의 동적 행위 제약은 시제 논리로 명세하였고, 의미적 도표법을 이용하여 행위적 하위 타입 관계의 성립 여부를 검증하였다. We propose a new definition of the behavioral subtype relation. The subtype relation is defined in terms of dynamic behavioral constraints rather than static behavioral constraints used in previous works. If two objects are satisfied with the proposed subtype relation, then the method invocation sequence of the supertype object is preserved within the subtype. Therefore, we can safely substitute the subtype object for the supertype one. Temporal logic is chosen as the specification language because it could effectively represent dynamic properties of the object behavior. With the semantic tableau we also verify whether the proposed behavioral subtype relation is satisfied or not.