Domestic Journals (in Korean)

• 박소연, 김영재, 맹승렬, "원격로깅기법을 이용하는 고장 허용 소프트웨어 분산공유메모리 시스템의 구현," 정보과학회논문지:시스템 및 이론, vol. 31, no. 6, pp. 328-334, June 2004.

• 이동현, 이상권, 박소연, 맹승렬, "SMP클러스터를 위한 소프트웨어 분산 공유메모리의 구현 및 성능측정," 정보과학회논문지:시스템 및 이론, vol. 30, no. 7, pp. 331-340, August 2003.

• 황인철, 정한조, 맹승렬, 조정완, "리눅스에서 압축을 이용한 안정적인 네트웍 램의 설계 및 구현," 정보과학회논문지:시스템 및 이론, vol. 30, no. 5, pp. 232-238, June 2003.

• 김영재, 박소연, 맹승렬, "고장을 허용하는 가상 공유 메모리의 성능 향상을 위한 로그 활용 기법," 정보과학회논문지(A), April 2003.

• 이종민, 권보섭, 맹승렬, "개인휴대 통신망에서 공간적 국부성을 이용한 위치 추적방법," 한국정보처리학회논문지, vol. 10-C, no. 2, pp. 191-198, April 2003.

• 이종민, 권보섭, 맹승렬, "호도착기록에 기반한 위치갱신 알고리즘의 성능 분석," 한국정보처리학회논문지, vol. 10-A, no. 4, pp. 381-388, January 2003.

• 이상권, 윤희철, 이준원, 맹승렬, "KDSM(KAIST Distributed Shared Memory) 시스템의 설계 및 구현," 정보과학회논문지:시스템 및 이론, vol. 29, no. 5, pp. 257-264, June 2002.

• 윤희철, 이상권, 이준원, 맹승렬, "Home-based lazy Release Consistency 의 락 성능 향상," 정보과학회논문지(A), vol. 28, no. 9, pp. 513-519, January 2001.

• 이상권, 윤희철, 이준원, 맹승렬, "소프트웨어 분산공유메모리 시스템을 위한 적응적 선인출 기법," 정보과학회논문지(A), vol. 28, no. 9, pp. 416-468, January 2001.

• 김호중, 맹승렬, "Myrinet 상에서 VMMC를 기반으로 하는 효율적인 MPI 구현," 정보과학회논문지:컴퓨팅의 실제, vol. 7, no. 5, January 2001.

• 오승택, 맹승렬, 이준원, "디렉토리를 이용한 캐쉬 일관성 유지 기법에서 무효화 힌트를 이용한 읽기 접근 시간 감소," 정보과학회논문지:시스템 및 이론, vol. 27, no. 4, pp. 408-415, April 2000.

• 손영철, 김호중, 맹승렬, "메시지 전송계층의 현황," 한국정보과학회지, vol. 18, no. 3, pp. 39-40, March 2000.

• 이문상, 강영재, 맹승렬, "멀티프로그래밍 환경에서의 분기 예측," 정보과학회논문지(A), vol. 26, no. 9, pp. 1158-1126, Fall 1999.

• 박상현, 김진석, 은성배, 맹승렬, 조정완, "마이크로프로그램의 검증을 위한 테스트 데이타 생성기법," 정보과학회논문지:정보통신, vol. 5, no. 4, pp. 526-532, August 1999.

• 이종민,김지윤,권보섭,맹승렬,윤현수, "재귀원형군 웜홀라우터의 설계 및 구현," 정보과학회논문지:시스템 및 이론, vol. 3, no. 2, April 1997.

• 길아라, 맹승렬, "초기호출시간이 지정된 실시간 주기적 태스크의 비선점적 스케줄링," 정보과학회논문지:시스템 및 이론, vol. 24, no. 4, pp. 321-331, April 1997.

• M. Kim, H. Yoon, and S.R. Maeng, "Generalized Rearrangeable Networks with Recursive Decomposition Structure," Journal of Electrical Engineering and Information Science, vol. 2, no. 5, pp. 121-128, 1997.

• 박재형, 유동호, 윤현수,맹승렬,은성배, "다단계 상호연결망에 기반을 둔 ATM 스위치를 위한 효율적 멀티케스트 기법," 정보과학회논문지:시스템 및 이론, vol. 23, no. 12, pp. 1238-1248, December 1996.

• 유동호, 길아라, 정내훈, 김지윤, 맹승렬, "GUI를 위한 그래픽 RISC 프로세서의 성능개선," 정보과학회지, vol. 22, no. 9, pp. 1364-1372, Fall 1995.

• 박재형, 윤현수, 맹승렬, "웜홀방식의 재귀원형군 통신망에서 최대 적응라우팅의 성능평가," 정보과학회지, vol. 22, no. 11, pp. 1638-1646, November 1995.

• 정의훈, 길아라, 김병호, 유동호, 맹승렬, "트루타입 글자꼴을 위한 힌팅전용 하드웨어 글자 생성기의 실계," 정보과학회논문지, vol. 22, no. 6, January 1995.

• 김규택 ,김형철 ,맹승렬 ,조정완, "화소 정합 알고리즘을 이용한 이동 추정," 정보과학회논문지, January 1994.

• 김진석 ,낭종호 ,윤현수 ,맹승렬, "볼쯔만 머신 모델에 기초한 마감시간을 갖는 다중처리기 태스크의 스케쥴링 방법," 정보과학회논문지, vol. 20, no. 9, Fall 1993.

• 정재훈 ,윤현수 ,맹승렬, "역전파 신경망 모델을 위한 시스톨릭 배열의 설계 및 성능 분석," 정보과학회논문지, vol. 19, no. 4, July 1992.

• 낭종호 ,최선민 ,이상훈 ,윤현수 ,맹승렬, "다단계 신경망 모델에 대한 처리기 상으로의 사상 전략과 분산 역전도 학습 알고리즘," 정보과학회논문지, vol. 17, no. 3, May 1990.

• 낭종호 ,신동욱 ,맹승렬 ,조정완, "함수 논리 언어를 위한 순차 추상 기계의 설계 및 성능 평가," 정보과학회논문지, vol. 17, no. 1, 1990.

• 박승운 ,류기열 ,김승범 ,맹승렬 ,조정완, "병렬 추론 머신 X-WAM," 정보과학회지, vol. 6, no. 6, 1988.

• 조정완 ,맹승렬, "추론 컴퓨터의 최신 개발 동향," 정보과학회지, vol. 5, no. 1, 1987.

• 박승운 ,김승범 ,맹승렬, "컴파일시 생성된 여러개의 선형 순서를 가지는 AND/OR 프로세스 모델에 관한 연구," 정보과학회논문지, vol. 14, no. 2, 1987.

• 은성배 ,정태충 ,맹승렬 ,조정완, "논리 프로그램을 위한 AND/OR 프로세스 모델에 있어서 동적 프로세스 할당 정책," 정보과학회논문지, vol. 14, no. 3, 1987.

• J.W.Cho ,S.R.Maeng, "Microprocessor Controlled Microprogramming Education System," 정보과학회지, vol. 6, no. 2, December 1979.