| 멀티코어 플랫폼에서 SCA 규격 웨이브폼의 성능 향상 기법 |
한국정보과학회 학술발표논문집 |
2008 |
29 |
2 |
0 |
0 |
2 |
2 |
23 |
| 시뮬링크를 활용한 SCA 웨이브폼의 자동 생성 방법론 |
한국정보과학회 학술발표논문집 |
2008 |
26 |
2 |
0 |
0 |
3 |
2 |
19 |
| 통신 기반 동시 스케쥴링에서 우선순위 높임 충돌 해결 기법의 구현과 이질 클러스터에서의 성능 비교 |
한국정보과학회 학술발표논문집 |
2008 |
29 |
1 |
0 |
0 |
5 |
6 |
17 |
| 파일별 로깅 기법을 이용한 멀티미디어 멀티미디어 플래시 파일 시스템 |
한국정보과학회 학술발표논문집 |
2008 |
35 |
2 |
0 |
2 |
2 |
11 |
18 |
| 확장 가능한 두 단계 프로토콜을 이용한 상호 협력 캐쉬의 쓰기 성능 향상 |
한국정보과학회 학술발표논문집 |
2005 |
13 |
1 |
0 |
0 |
2 |
1 |
9 |
| 단일 디스크 입출력 환경을 위한 EXT2의 확장 |
한국정보과학회 학술발표논문집 |
2004 |
15 |
0 |
0 |
0 |
2 |
0 |
13 |
| 단일 프로세스 공간을 제공하는 클러스터 시스템의 설계 및 구현 |
한국정보과학회 학술발표논문집 |
2004 |
5 |
1 |
0 |
0 |
2 |
0 |
2 |
| 원격 로깅 기법을 이용하는 고장 허용 소프트웨어 분산공유메모리 시스템의 구현 |
정보과학회논문지 : 시스템 및 이론 |
2004 |
38 |
3 |
3 |
2 |
6 |
3 |
21 |
| 캔 클러스터 파일 시스템의 설계 및 구현 |
한국정보과학회 학술발표논문집 |
2004 |
14 |
0 |
0 |
2 |
1 |
0 |
11 |
| 프로세스 재순서에 기반한 동시 스케쥴링 기법 |
한국정보과학회 학술발표논문집 |
2004 |
20 |
1 |
1 |
0 |
6 |
0 |
12 |
| MPI를 활용한 PI(π)값 계산 병렬화 알고리즘 |
한국정보과학회 학술발표논문집 |
2004 |
62 |
2 |
1 |
2 |
7 |
9 |
41 |
| PVFS를 위한 홈 기반 상호 협력 캐쉬의 설계 및 구현 |
한국정보과학회 학술발표논문집 |
2004 |
9 |
0 |
0 |
0 |
1 |
0 |
8 |
| SDIC에서의 디스크 이질성 지원 |
한국정보과학회 학술발표논문집 |
2004 |
4 |
0 |
0 |
0 |
1 |
0 |
3 |
| SDIO에서 RAID 레벨 5의 효율적인 구현 |
한국정보과학회 학술발표논문집 |
2004 |
19 |
1 |
0 |
1 |
1 |
2 |
14 |
| 고장을 허용하는 분산공유메모리 시스템의 성능 향상 기법 |
한국정보과학회 학술발표논문집 |
2003 |
27 |
2 |
0 |
0 |
1 |
2 |
22 |
| 그리드에서 균등 분배 MPI 병렬 프로그램을 위한 자원 선택 알고리즘 |
한국정보과학회 학술발표논문집 |
2003 |
24 |
3 |
1 |
0 |
4 |
1 |
15 |
| 단일 디스크 입출력을 위한 커널 모듈 프로토타입의 설계 및 구현 |
한국정보과학회 학술발표논문집 |
2003 |
11 |
1 |
0 |
0 |
1 |
2 |
7 |
| 두 단계 프로토콜 : PVFS를 위한 상호 협력 캐쉬에서 쓰기 성능 향상 기법 |
한국정보과학회 학술발표논문집 |
2003 |
9 |
2 |
0 |
0 |
1 |
0 |
6 |
| 리눅스에서 압축을 이용한 안정적인 네트웍 램의 설계 및 구현 |
정보과학회논문지 : 시스템 및 이론 |
2003 |
14 |
0 |
2 |
0 |
1 |
2 |
9 |
| 소프트웨어 분산공유메모리의 고장 허용을 위한 원격 로깅 기법 |
한국정보과학회 학술발표논문집 |
2003 |
13 |
2 |
2 |
0 |
1 |
0 |
8 |
| 유효 작업수를 이용한 동적 부하 분산 시스템 성능 개선 |
한국정보과학회 학술발표논문집 |
2003 |
19 |
0 |
1 |
2 |
2 |
2 |
12 |
| 주기적 추진(Peridic Boost)의 바쁜 대기를 줄이기 위한 휴리스틱 |
한국정보과학회 학술발표논문집 |
2003 |
11 |
0 |
1 |
0 |
2 |
1 |
7 |
| 콘텐츠 복제 웹 서버에서 캐쉬 복제를 통한 성능 향상 |
한국정보과학회 학술발표논문집 |
2003 |
13 |
2 |
0 |
1 |
1 |
0 |
9 |
| 클러스터 환경에서의 부하 분산 시스템 설계 및 구현 |
한국정보과학회 학술발표논문집 |
2003 |
21 |
1 |
0 |
1 |
2 |
3 |
14 |
| 효율적인 그리드 자원 동시 할당자 구현 |
한국정보과학회 학술발표논문집 |
2003 |
16 |
3 |
0 |
0 |
3 |
1 |
9 |
| P2P 방식의 웹 캐싱 시스템에 대한 효용성 분석 |
한국정보과학회 학술발표논문집 |
2003 |
12 |
3 |
0 |
1 |
1 |
0 |
7 |
| PVFS를 위한 상호협력 캐쉬의 설계 및 구현 |
한국정보과학회 학술발표논문집 |
2003 |
9 |
2 |
0 |
0 |
1 |
0 |
6 |
| SMP 클러스터를 위한 소프트웨어 분산 공유메모리의 구현 및 성능 측정 |
정보과학회논문지 : 시스템 및 이론 |
2003 |
34 |
3 |
3 |
0 |
3 |
5 |
20 |
| 유효 작업 수를 이용한 동적 부하분산 시스템 성능개선 |
한국정보과학회 학술발표논문집 |
2002 |
23 |
0 |
2 |
0 |
2 |
0 |
19 |
| KDSM(KAIST Distributed Shared Memory) 시스템의 설계 및 구현 |
정보과학회논문지 : 시스템 및 이론 |
2002 |
53 |
4 |
7 |
1 |
10 |
11 |
20 |
| VIA(Virtual Interface Architecture)를 기반으로 하는 소프트웨어 분산공유메모리 시스템의 설계 및 구현 |
한국정보과학회 학술발표논문집 |
2002 |
24 |
6 |
0 |
3 |
4 |
2 |
9 |
| 소프트웨어 분산공유메모리 시스템을 위한 적응적 선인출 기법 |
정보과학회논문지 : 시스템 및 이론 |
2001 |
22 |
1 |
1 |
0 |
6 |
6 |
8 |
| 안정적인 네트웍 램의 설계와 구현 |
한국정보과학회 학술발표논문집 |
2001 |
13 |
0 |
0 |
0 |
3 |
1 |
9 |
| Home-based Lazy Release Consistency의 락 성능 향상 |
정보과학회논문지 : 시스템 및 이론 |
2001 |
19 |
1 |
0 |
1 |
3 |
5 |
9 |
| Myrinet 상에서 VMMC를 기반으로 하는 효율적인 MPI 구현 |
정보과학회논문지 : 컴퓨팅의 실제 및 레터 |
2001 |
23 |
1 |
0 |
0 |
5 |
5 |
12 |
| 공유메모리 다중처리기에서 상호연결망의 통신량을 고려하는 선인출 기법 |
한국정보과학회 학술발표논문집 |
2000 |
7 |
0 |
0 |
0 |
2 |
0 |
5 |
| 다중 주문형 비디오 서버 시스템의 설계 및 구현 |
한국정보과학회 학술발표논문집 |
2000 |
9 |
1 |
1 |
0 |
2 |
4 |
1 |
| 디렉토리를 이용한 캐쉬 일관성 유지 기법에서 무효화 힌트를 이용한 읽기 접근 시간 감소 |
정보과학회논문지 : 시스템 및 이론 |
2000 |
29 |
0 |
6 |
3 |
2 |
6 |
12 |
| 메시지 전송계층의 현황 |
정보과학회지 |
2000 |
18 |
2 |
1 |
1 |
4 |
0 |
10 |
| 웜홀 방식 망에서의 효율적인 완전교환 통신 알고리즘 |
정보과학회논문지 : 시스템 및 이론 |
2000 |
10 |
1 |
0 |
0 |
3 |
2 |
4 |
| 저전력 캐쉬 대체 정책 |
한국정보과학회 학술발표논문집 |
2000 |
10 |
1 |
1 |
0 |
2 |
1 |
5 |
| 캐쉬 구조의 메모리 공유 패턴 예측기 설계 |
한국정보과학회 학술발표논문집 |
2000 |
9 |
1 |
0 |
0 |
2 |
1 |
5 |
| Myrinet 상에서 VMMC를 기반으로 하는 효율적인 MPI 구현 |
한국정보과학회 학술발표논문집 |
2000 |
9 |
1 |
0 |
0 |
2 |
0 |
6 |
| Virtual Interface Arnhitecture의 구현 |
한국정보과학회 학술발표논문집 |
2000 |
7 |
0 |
0 |
1 |
2 |
0 |
4 |
| 마이크로프로그램의 검증을 위한 테스트 데이타 생성 기법 |
정보과학회논문지(C) |
1999 |
23 |
1 |
0 |
0 |
1 |
3 |
18 |
| 멀티프로그래밍 환경에서의 분기 예측 |
정보과학회논문지(A) |
1999 |
36 |
2 |
9 |
0 |
3 |
3 |
19 |
| 무효화 힌트를 이용하여 읽기 접근시간을 줄이는 캐쉬 일관성 유지 프로토콜 |
한국정보과학회 학술발표논문집 |
1999 |
9 |
0 |
0 |
0 |
1 |
2 |
6 |
| [열린논단]연합 학술 대회와 발전 방향 |
정보과학회지 |
1998 |
2 |
0 |
0 |
0 |
0 |
0 |
2 |
| 멀티프로그래밍 환경에서의 분기 예측 |
한국정보과학회 학술발표논문집 |
1998 |
9 |
2 |
2 |
0 |
1 |
1 |
3 |
| 실시간 단일처리에서 비주기 태스크의 시간 제약과 결함허용을 최적화하는 스케쥴링 |
정보과학회논문지(A) |
1997 |
25 |
0 |
1 |
1 |
5 |
1 |
17 |
| 인터넷상에서의 정보상품 거래를 위한 초소액 지불시스템의 설계 |
한국정보과학회 학술발표논문집 |
1997 |
21 |
0 |
1 |
0 |
4 |
2 |
14 |
| 재귀원형군 웜홀라우터의 설계 및 구현 |
정보과학회논문지(C) |
1997 |
24 |
0 |
0 |
2 |
0 |
2 |
20 |
| 초기호출시간이 지정된 실시간 주기적 태스크의 비선점적 스케쥴링 |
정보과학회논문지(A) |
1997 |
57 |
0 |
7 |
8 |
5 |
7 |
30 |
| Generalized Rearrangeable Networks with Recursive Decomposition Structure |
Journal of Electrical Engineering and Information Science |
1997 |
4 |
0 |
0 |
0 |
1 |
1 |
2 |
| LAMP 시스템을 위한 소프트웨어 캐쉬 설계 |
한국정보과학회 학술발표논문집 |
1997 |
7 |
0 |
0 |
0 |
3 |
1 |
3 |
| SCI를 기반으로 한 공유메모리 다중처리기를 위한 PCI - SCI 브리지 |
한국정보과학회 학술발표논문집 |
1997 |
21 |
0 |
0 |
0 |
6 |
3 |
12 |
| 2차원 메쉬에서 임의의 고장에 대한 결정적 고장허용 라우팅 방법 |
한국정보과학회 학술발표논문집 |
1996 |
15 |
1 |
0 |
0 |
6 |
2 |
6 |
| 다단계 상호 연결망에 기초된 ATM 스위치에서 효율적인 두단계 멀티캐스트 알고리즘 |
정보과학회논문지(A) |
1996 |
18 |
0 |
1 |
0 |
3 |
2 |
12 |
| 새 부류의 재설정가능 다단계 상호연결망 |
정보과학회논문지(A) |
1996 |
10 |
0 |
1 |
0 |
2 |
1 |
6 |
| 초기호출시간이 지정된 실시간 주기적 태스크의 단일 프로세서 시스템 상에서의 비선점적 스케쥴링 |
한국정보과학회 학술발표논문집 |
1996 |
15 |
1 |
1 |
2 |
3 |
3 |
5 |
| SCI / 버스 브리지의 설계 및 구현 |
한국정보과학회 학술발표논문집 |
1996 |
16 |
0 |
1 |
1 |
4 |
2 |
8 |
| 웜홀 방식의 재귀 원형군 네트워크에서 완전 적응 최단 거리 라우팅의 성능 평가 |
정보과학회논문지(A) |
1995 |
28 |
0 |
0 |
0 |
4 |
1 |
23 |
| 트루타입 글자꼴을 위한 힌팅 전용 하드웨어 글자 생성기의 설계 |
(구)정보과학회논문지 |
1995 |
30 |
1 |
1 |
0 |
6 |
5 |
17 |
| GUI를 위한 그래픽 RISC 프로세서의 성능 개선 |
정보과학회논문지(A) |
1995 |
35 |
0 |
0 |
0 |
2 |
9 |
24 |
| Krypton : KAIST 재귀원형군 다중컴퓨터 |
한국정보과학회 학술발표논문집 |
1995 |
8 |
0 |
0 |
1 |
2 |
3 |
2 |
| Krypton을 위한 운영체제에 관한 연구 |
한국정보과학회 학술발표논문집 |
1995 |
16 |
0 |
0 |
1 |
2 |
5 |
8 |
| SCI를 기반으로한 분산공유메모리 다중처리기를 위한 캐쉬 제어기의 설계 및 구현 |
한국정보과학회 학술발표논문집 |
1995 |
25 |
0 |
0 |
2 |
5 |
4 |
14 |
| 2차원 메쉬에서 최대 적응도를 갖는 우회허용 적응라우팅 알고리즘 |
한국정보과학회 학술발표논문집 |
1994 |
39 |
0 |
0 |
0 |
4 |
3 |
32 |
| 대화형 멀티미디어 응용을 위한 시간적 명세에서의 수행전 오류 검출 |
한국정보과학회 학술발표논문집 |
1994 |
9 |
0 |
0 |
0 |
2 |
4 |
3 |
| 시간 제약과 신뢰성을 최적화하는 새로운 스케쥴링 문제 |
한국정보과학회 학술발표논문집 |
1994 |
20 |
0 |
1 |
1 |
4 |
9 |
5 |
| 윈도우즈 환경에서 효율적인 프린팅 작업을 위한 프린터 명령어 해석기의 구현 |
한국정보과학회 학술발표논문집 |
1994 |
28 |
0 |
0 |
0 |
2 |
9 |
17 |
| 트루타입 글자꼴을 위한 하드웨어 글자 생성기의 설계 |
한국정보과학회 학술발표논문집 |
1994 |
12 |
1 |
0 |
0 |
2 |
4 |
5 |
| 화소 정합 알고리즘을 이용한 이동 추정 |
(구)정보과학회논문지 |
1994 |
31 |
0 |
0 |
1 |
2 |
3 |
25 |
| [특별기고Ⅰ]CGI 적합성 시험전략 |
정보과학회지 |
1993 |
10 |
0 |
0 |
0 |
0 |
3 |
7 |
| 2차원 메쉬 상에서 최적의 All - to - All 방송 알고리즘 |
한국정보과학회 학술발표논문집 |
1993 |
14 |
0 |
0 |
0 |
2 |
4 |
8 |
| 광선 응집도 특성을 이용한 병렬 광선 추적법에 관한 연구 |
한국정보과학회 학술발표논문집 |
1993 |
12 |
0 |
0 |
0 |
2 |
3 |
7 |
| 그래픽 RISC 프로세서의 성능 개선을 위한 연구 |
한국정보과학회 학술발표논문집 |
1993 |
13 |
0 |
0 |
0 |
2 |
3 |
8 |
| 볼쯔만 머신 모델에 기초한 마감 시간을 갖는 다중처리기 태스크의 스케쥴링 방법 |
(구)정보과학회논문지 |
1993 |
29 |
0 |
1 |
2 |
4 |
7 |
15 |
| 화소 재귀적 알고리즘과 블럭 정합 알고리즘을 결합한 이동 추정 방법 |
한국정보과학회 학술발표논문집 |
1993 |
29 |
0 |
1 |
0 |
5 |
7 |
16 |
| DEVS에 기초한 386 PC 시스템의 기술 및 시뮬레이션 |
한국정보과학회 학술발표논문집 |
1993 |
21 |
1 |
0 |
1 |
2 |
5 |
12 |
| GISC를 위한 그래픽 응용 프로그램 개발 환경의 설계 및 구현 |
한국정보과학회 학술발표논문집 |
1993 |
10 |
0 |
0 |
0 |
2 |
6 |
2 |
| 계층적 이동 추정 기법에서의 후광효과에 관한 연구 |
한국정보과학회 학술발표논문집 |
1992 |
62 |
0 |
8 |
2 |
5 |
16 |
31 |
| 그래픽 RISC 프로세서를 위한 C 컴파일러와 그래픽 라이브러리의 최적화 기법의 설계 및 구현 |
한국정보과학회 학술발표논문집 |
1992 |
21 |
1 |
0 |
1 |
5 |
5 |
9 |
| 대화형 멀티미디어 응용의 개발을 위한 시각적 프로그래밍 환경의 설계및 구현 |
한국정보과학회 학술발표논문집 |
1992 |
11 |
0 |
0 |
0 |
3 |
4 |
4 |
| 시간적 제약을 갖는 다중처리기 태스크 스케쥴링을 위한 볼쯔만 머신 |
한국정보과학회 학술발표논문집 |
1992 |
27 |
0 |
1 |
5 |
4 |
4 |
13 |
| 역전파 신경망 모델을 위한 시스톨릭 배열의 설계 및 성능 분석 |
(구)정보과학회논문지 |
1992 |
43 |
0 |
2 |
8 |
6 |
12 |
15 |
| [特別寄稿]텍스트 처리에 있어 그립 매핑모델 |
정보과학회지 |
1991 |
4 |
0 |
0 |
0 |
1 |
0 |
3 |
| 공유 메모리 다중처리기에서의 분산 디렉토리를 갖는 캐쉬 일관성 유지 스킴에 관한 연구 |
한국정보과학회 학술발표논문집 |
1991 |
18 |
0 |
0 |
0 |
6 |
3 |
9 |
| 그래픽 RISC 프로세서의 설계 |
한국정보과학회 학술발표논문집 |
1991 |
17 |
0 |
0 |
0 |
2 |
3 |
12 |
| 멀티미디어 처리를 위한 Platform에 관한 연구 : 요구 분석 |
한국정보과학회 학술발표논문집 |
1991 |
11 |
0 |
0 |
0 |
2 |
2 |
7 |
| 역전파 신경망 모델의 내재된 병렬성을 이용한 시스톨릭 배열의 설계 |
한국정보과학회 학술발표논문집 |
1991 |
20 |
1 |
2 |
9 |
3 |
3 |
2 |
| Buchi 오토매타를 이용한 프로토콜 명세와 검증 방법 |
한국정보과학회 학술발표논문집 |
1991 |
37 |
0 |
0 |
3 |
13 |
1 |
20 |
| [論壇]폰트정보 교환과 표준화 |
정보과학회지 |
1990 |
3 |
0 |
0 |
0 |
0 |
0 |
3 |
| 다단계 신경망 모델에 대한 다중 처리기 상으로의 사상 전략과 분산 역전파 알고리즘 |
(구)정보과학회논문지 |
1990 |
25 |
0 |
0 |
3 |
0 |
10 |
12 |
| 범용적인 한글 폰트 생성 시스템에 관한 연구 |
한국정보과학회 학술발표논문집 |
1990 |
37 |
3 |
2 |
4 |
5 |
4 |
19 |
| 순환구조 오류역전파 신경회로망에 의한 음절인식 |
한국정보과학회 학술발표논문집 |
1990 |
19 |
1 |
3 |
1 |
6 |
0 |
8 |
| 신경망 모델을 위한 병렬 시뮬레이션 시스템의 개발 |
한국정보과학회 학술발표논문집 |
1990 |
29 |
1 |
2 |
3 |
6 |
7 |
10 |
| 지식 처리를 위한 Smalltalk 언어와 추상머신의 확장 |
한국정보과학회 학술발표논문집 |
1990 |
30 |
1 |
2 |
4 |
2 |
4 |
17 |
| 플리모픽 혼 논리 명세어에 있어서의 최적화 |
한국정보과학회 학술발표논문집 |
1990 |
7 |
0 |
0 |
0 |
4 |
2 |
1 |
| 한글 입출력 기술 표준화에 관한 연구 |
한국정보과학회 학술발표논문집 |
1990 |
12 |
0 |
2 |
0 |
2 |
0 |
8 |
| 함수논리 언어를 위한 순차 추상기계의 설계 및 성능평가 |
(구)정보과학회논문지 |
1990 |
15 |
0 |
0 |
1 |
1 |
4 |
9 |
| Manyg - Sorted 논리를 이용한 객체지향 프로그래밍 |
한국정보과학회 학술발표논문집 |
1990 |
11 |
0 |
0 |
0 |
2 |
4 |
5 |
| 분산 환경에서 Prolog의 OR - 병렬 구현 |
한국정보과학회 학술발표논문집 |
1989 |
13 |
0 |
0 |
0 |
3 |
2 |
8 |
| 한국어 정보처리에 관한 연구 |
한국정보과학회 언어공학연구회 학술발표 논문집 |
1989 |
49 |
5 |
5 |
9 |
9 |
6 |
15 |
| Multi - layer Perceptron을 이용한 백색잡음이 섞인 모음의 인식 |
한국정보과학회 학술발표논문집 |
1989 |
29 |
1 |
0 |
0 |
4 |
6 |
18 |
| [特輯]병렬 추론머신 X-WAM |
정보과학회지 |
1988 |
7 |
0 |
0 |
0 |
2 |
0 |
5 |
| 경험적 분류 모형에 기초한 전문가 시스템 개발 도구의 설계 |
한국정보과학회 학술발표논문집 |
1988 |
16 |
0 |
0 |
2 |
2 |
1 |
11 |
| 병렬 추론머신 X - WAM의 프로토타입 시스템의 구현 |
한국정보과학회 학술발표논문집 |
1988 |
4 |
1 |
0 |
0 |
2 |
0 |
1 |
| 인텔리전트 백트랙킹을 갖는 RAP - WAM |
한국정보과학회 학술발표논문집 |
1988 |
10 |
0 |
0 |
0 |
3 |
0 |
7 |
| 프롤로그 프로세서의 설계 및 예비 성능 평가 |
한국정보과학회 학술발표논문집 |
1988 |
7 |
0 |
0 |
0 |
3 |
0 |
4 |
| X - WAM의 성능 분석 |
한국정보과학회 학술발표논문집 |
1988 |
6 |
0 |
0 |
0 |
3 |
1 |
2 |
| [特輯]추론 컴퓨터의 최신 개발 동향 |
정보과학회지 |
1987 |
9 |
0 |
0 |
1 |
3 |
1 |
4 |
| 논리 프로그램의 병렬 수행을 위한 Abstract Machine |
한국정보과학회 학술발표논문집 |
1987 |
10 |
1 |
0 |
0 |
2 |
0 |
7 |
| 논리 프로그램의 병렬 수행을 위한 X - WAM의 구현에 관한 연구 |
한국정보과학회 학술발표논문집 |
1987 |
2 |
0 |
0 |
0 |
1 |
0 |
1 |
| 논리프로그램을 위한 AND / OR 프로세스 모델에 있어서 동적 프로세스 할당 정책 |
(구)정보과학회논문지 |
1987 |
17 |
0 |
1 |
0 |
2 |
2 |
12 |
| 제한된 AND 병렬성과 pipeline식 OR 병렬성을 갖는 수행 모델의 아키텍춰에 관한 연구 |
한국정보과학회 학술발표논문집 |
1987 |
7 |
0 |
1 |
0 |
1 |
1 |
4 |
| 컴파일시 생성된 여러개의 선형 순서를 가지는 AND / OR 프로세스 모델에 관한 연구 |
(구)정보과학회논문지 |
1987 |
7 |
0 |
0 |
0 |
2 |
2 |
3 |
| 함수 논리 언어를 위한 추상 머신의 설계 |
한국정보과학회 학술발표논문집 |
1987 |
17 |
1 |
1 |
0 |
2 |
4 |
9 |
| 혼성 지식 표현 시스템에서의 진리 유지 방식에 관한 연구 |
한국정보과학회 학술발표논문집 |
1987 |
11 |
0 |
1 |
0 |
2 |
0 |
8 |
| Heuristic 탐색 기법을 지원하는 확장된 Warren Abstract Machine |
한국정보과학회 학술발표논문집 |
1987 |
8 |
1 |
0 |
0 |
1 |
1 |
5 |
| PrologTool : Sun 워크스테이션에서의 Prolog 프로그래밍 환경 개발에 관한 연구 |
한국정보과학회 학술발표논문집 |
1987 |
10 |
0 |
0 |
0 |
2 |
3 |
5 |
| 효율적인 BACKTRACKING 을 위한 PROROG INTERPRETING |
한국정보과학회 학술발표논문집 |
1986 |
12 |
0 |
1 |
0 |
2 |
4 |
5 |
| 마이크로프로세서를 이용한 마이크로프로그램 교육 시스템 |
(구)정보과학회논문지 |
1979 |
44 |
0 |
0 |
0 |
2 |
5 |
37 |
| 한글 Color TV Graphic Terminal |
한국정보과학회 학술발표논문집 |
1979 |
7 |
0 |
0 |
1 |
0 |
2 |
4 |
| Microprocessor Controlled Microprogramming Education System |
한국정보과학회 학술발표논문집 |
1979 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |