지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
Abstract
1. 서론
2. 프로그램 유도 컴비네이터의 최적화
3. 유출과 유입을 이용한 완전지연성 보장
4. 공통부분식 제거와 병렬성 보장을 위한 최적화
5. 프로그램 유도 컴비네이터 생성 알고리즘
6. 실험 및 평가
7. 결론
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
프로그램 변환을 이용한 병렬수행 컴비네이터의 생성
한국정보과학회 학술발표논문집
1994 .04
순차 컴비네이터를 기반으로 하는 병렬 그래프 리덕션 ( Parallel Graph Reduction Based on Serial Combinator )
대한전자공학회 학술대회
1991 .11
SK컴비네이터를 확장한 KS?컴비네이터
한국정보과학회 학술발표논문집
1992 .10
함수 언어의 combinator 변환에 관한 연구
한국정보과학회 학술발표논문집
1990 .10
람다 계산법에 관한 퍼즐
프로그래밍언어연구회지
1999 .12
람다 패시브하우스를 통해 살펴본 Energy# 적용 사례
태양에너지
2018 .06
프리캐스트 콘크리트 포장 시공 시 최적 슬래브 리프팅 위치
한국도로학회논문집
2007 .01
고계 함수와 컴비네이터의 프로그래밍 원리
프로그래밍언어논문지
2002 .02
람다 센서의 외부 오염에 따른 출력 데이터
대한설비공학회 학술발표대회논문집
2019 .06
Motion JPEG2000을 위한 리프팅 프로세서의 ASIC 설계
한국통신학회논문지
2005 .05
Motion JPEG2000을 위한 리프팅 프로세서의 ASIC 설계
한국통신학회논문지
2005 .07
적응 리프팅을 이용한 잡음제거 ( Denoising based on the adaptive lifting )
대한전자공학회 학술대회
1998 .01
Pattern 을 이용한 보다 빠른 Combinator 변환 방법
한국정보과학회 학술발표논문집
1986 .04
데크 크레인의 리프팅 설치 작업에 대한 안전성 평가
한국산학기술학회 논문지
2015 .06
다중필터 리프팅 방식을 이용한 고성능 라인기반 필터링 구조
전자공학회논문지-SD
2004 .08
람다익 비행체에서 Pitch-up 지연을 와류 발생기의 최적 설계
한국전산유체공학회 학술대회논문집
2018 .05
함수언어의 효과적인 구현을 위한 Combinatory Reduction System의 설계
한국정보과학회 학술발표논문집
1985 .10
람다익 항공기에서 종축 안정성의 비선형성 완화를 위한 와류 발생기의 최적 설계
한국항공우주학회 학술발표회 초록집
2019 .04
터널 내 콘크리트궤도 리프팅 시공사례
지반(한국지반공학회지)
2020 .05
람다-이중 삼각익 날개를 가진 비행체의 유동 해석
한국항공우주학회 학술발표회 초록집
2019 .11
0