지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 1997.3
- 수록면
- 312 - 325 (14page)
이용수
초록· 키워드
오류제보하기
Burstall과 Darlington이 개발한 펴기/접기 프로그램 변환 시스템은, 적용되는 변환규칙의 수에 의하여 결정되는 search 공간의 크기를 제한하기 위한 전략을 필요로 한다. 이를 위하여 tupling전략은 아주 효과적이다. 이 전략은 성공적으로 적용될 때 시간과 공간의 복잡도에 있어서 극적인 개선을 보이는 중복계산이 제거된 프로그램을 가져온다. 그러나 이 전략은, 이항함수를 계산하는 프로그램과 같은 종류의 비선형적(non-linear) 프로그램을 선형적 혹은 반복적(iterative) 프로그램으로 변환시킬 수는 없다. 이 논문에서 우리는 먼저 일차 (first-order) 등식언어를 list comprehension을 포함하도록 확장하고 이를 위한 문맥에 기초한 변환규칙을 개발한다. 그리고, 이 장치를 사용하여 tupling전략이 그러한 변환을 가능하게 하는 기법으로 일반화될 수 있음을 보인다.
목차
요약
Abstract
1. Introduction
2. The Recursion Equations Language and Transformation Rules
3. The Tupling Strategy
4. Context-based Transformation Rules and List Comprehensions
5. The Transformation
6. An Application of the Transformation Method
7. Conclusion
References
Appendix
저자소개
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
프로그램 변형에 의한 중복계산을 가진 프로그램의 최적화
한국정보과학회 학술발표논문집
1993 .10
-
펴기/접기 변환에의한 내포된 순환호출을 가진 프로그램의 변환
(구)정보과학회논문지
1994 .01
-
유전자 알고리즘을 이용한 n-tuple 필터링
한국정보과학회 학술발표논문집
2004 .10
-
Tuple Pruning Using Bloom Filters for Packet Classification
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2009 .07
-
함수프로그램의 모델검사를 위한 변환
프로그래밍언어논문지
2000 .12
-
전력계통 측정데이터 중 Critical k-tuple의 Bad Data 특성 고찰
대한전기학회 학술대회 논문집
2019 .07
-
최적 분류 변환을 이용한 음성 개성 변환
한국음향학회지
2004 .01
-
입출력 변환을 이용한 선형 시변 시스템의 제어기 설계
전자공학회논문지-IE
2006 .09
-
입출력 변환을 이용한 선형 시변 시스템의 선형 시불변 변환
대한전자공학회 학술대회
2007 .07
-
입출력 변환을 이용한 선형 시변 시스템의 선형 시불변 변환
대한전자공학회 학술대회
2007 .07
-
Transformation
대한전자공학회 단기강좌
1987 .01
-
선형 변환과 비선형 변환의 결합에 의한 개선된 프랙탈 영상 압축 ( Improved Fractal Image Compression by a Combination of Linear and Nonlinear Transformation )
대한전자공학회 학술대회
1996 .01
-
t-tuple 엔트로피 추정방법과 LRS 엔트로피 추정방법에 대한 실험적 분석
한국통신학회 학술대회논문집
2019 .01
-
이산 선형 시스템의 등가 모델 변환에 관한 연구 ( A study on the Equivalent Model Transformation of the Discrete Linear Systems )
한국통신학회 학술대회논문집
1991 .01
-
튜플 블룸 필터를 이용한 패킷 분류 성능 개선
정보과학회논문지 : 정보통신
2012 .02
-
반복 변환을 이용한 준최적 프랙탈 부호화 기법
한국통신학회논문지
2002 .03
-
불확실성을 갖는 선형 시변 시스템의 선형 시불변 시스템 변환을 위한 불확실성 유계 해석
전자공학회논문지-IE
2007 .12
-
반사변환 ( Reflection Transformation )
대한기계학회 춘추학술대회
1991 .01
-
공간정보의 측지기준체계 변환 방법 연구
한국측량학회 학술대회자료집
2020 .07
-
프로그램 변환 시스템의 무한 재생 변환 검출을 위한 IRD 시스템의 설계 및 구현
한국정보과학회 학술발표논문집
1988 .10
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017747836