Browse "School of Computing(전산학부)" by Author 창병모
Showing results 1 to 9 of 9
| (A) proposal for formal scheme in AND parallel execution of logic programs = 논리 프로그램의 AND 병렬 수행을 위한 정형적인 제안link Chang, Byeong-Mo; 창병모; et al, 한국과학기술원, 1990 |
| Efficient bottom-up execution of logic programs using compile-time analysis = 컴파일 시간 분석을 이용한 논리 프로그램의 효율적인 상향식 수행link Chang, Byeong-Mo; 창병모; et al, 한국과학기술원, 1994 |
| Function-free 논리프로그램의 Bottom-up수행의 최적화를 위한 정적 필터의 최소 고정점 정형화 창병모; 최광무; 한태숙, 한국정보과학회1992 봄 학술발표논문집, v.19, no.1, pp.241 - 244, 한국정보과학회, 1992 |
| 국방 컴퓨터(안)의 설계 최광무; 강경우; 한태숙; 이경옥; 이수현; 이은정; 창병모, 한국정보과학회 1991년 학술발표대회, pp.1 - 15, 한국정보과학회, 1991 |
| 국방컴퓨터언어(안)의 설계 최광무; 강경우; 이경옥; 창병모; 이수현; 한태숙; 이은정, 한국정보과학회프로그래밍연구회 1991년 학술발표대회, pp.1 - 15, 한국정보과학회프로그래밍연구회, 1991 |
| 상향식 추상 해석을 이용한 논리 프로그램의 AND/0R 병렬 수행 모델 개선 창병모; 최광무; 한태숙, 정보과학회논문지, v.21, no.5, pp.792 - 800, 1994-05 |
| 순환 논리 질의 최적화를 위한 정적 필터의 고정점 계산 창병모; 최광무; 한태숙, 정보과학회논문지, v.20, no.9, pp.1391 - 1402, 1993-09 |
| 쉘로우 백트래킹을 사용한 Prolog 컴파일러의 최적화 오승환; 창병모; 신동하; 최광무, 정보과학회논문지(B), v.25, no.1, pp.160 - 171, 1998-01 |
| 추상 필터를 이용한 논리 프로그램의 상향식 수행 개선 : 실험적 고찰 김문정; 창병모; 최광무, 정보과학회논문지(B), v.24, no.10, pp.1112 - 1121, 1997-10 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,745 2020 - 2024
- 5,391 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989