X - WAM의 성능 분석

류기열 ,  김형철 ,  김승범 외 2명

한국정보과학회 학술발표논문집

1988 .04

논리 프로그램의 병렬 수행을 위한 X - WAM의 구현에 관한 연구

박승운 ,  류기열 ,  이헌길 외 3명

한국정보과학회 학술발표논문집

1987 .04

[特輯]병렬 추론머신 X-WAM

박승운 ,  류기열 ,  김승범 외 2명

정보과학회지

1988 .12

함수논리 언어를 위한 순차 추상기계의 설계 및 성능평가

낭종호 ,  신동욱 ,  맹승렬 외 1명

(구)정보과학회논문지

1990 .02

X-WAM 의 구현에 관한 연구 ( Implementation of X-WAM ( Extended Warren Abstract Machine ) )

김승범 ,  맹승렬

한국통신학회 학술대회논문집

1987 .01

국내 전력계통의 개선된 WAMS 구축과 적용

강성범 ,  고백경 ,  남수철 외 2명

대한전기학회 학술대회 논문집

2019 .04

함수 논리 언어를 위한 추상 머신의 설계

낭종호 ,  신동욱 ,  김승범 외 1명

한국정보과학회 학술발표논문집

1987 .10

시간 동기 데이터를 이용한 광역계통 감시시스템 "K-WAMS" 구현

김상태 ,  김지영 ,  이동철 외 3명

대한전기학회 학술대회 논문집

2008 .11

광역 전력계통 감시시스템 구축 및 실증

김상태 ,  김지영 ,  송완석 외 3명

대한전기학회 학술대회 논문집

2009 .07

K-WAMS와 9.15 순환정전시 저주파진동 해석

심관식 ,  김상태 ,  남해곤 외 2명

대한전기학회 학술대회 논문집

2012 .07

공력저항에 따른 기동저지탄의 거동해석

홍준호 ,  최우천

한국정밀공학회 학술발표대회 논문집

2016 .10

제한된 AND 병렬성과 pipeline식 OR 병렬성을 갖는 수행 모델의 아키텍춰에 관한 연구

김형철 ,  이헌길 ,  김승범 외 1명

한국정보과학회 학술발표논문집

1987 .10

음해법을 이용한 WAM모형의 태풍파랑 수치모의

천제호 ,  안경모 ,  윤종태

한국해안·해양공학회논문집

2006 .12

쉘로우 백트래킹을 사용한 Prolog 컴파일러의 최적화

오승환 ,  창병모 ,  신동하 외 1명

정보과학회논문지(B)

1998 .01

동해 폭풍파랑의 통계적 특성과 파랑 후측모의 실험에 관한 연구

천후섭 ,  강태순 ,  안경모 외 3명

한국해안·해양공학회논문집

2014 .04

Texas WAM(Water Availability Modeling) system 소개 -WRAP(Water Rights Analy sis Package)과 Input data-

이치현

한국방재학회지

2011 .01

공유기억장치 구조의 다중처리기에서 Prolog의 OR - 병렬 구현

서대화 ,  임영환 ,  류기열 외 2명

한국정보과학회 학술발표논문집

1989 .04

인텔리전트 백트랙킹을 갖는 RAP - WAM

신성엽 ,  김승범 ,  맹승렬

한국정보과학회 학술발표논문집

1988 .04

천해에 적용가능한 태풍 해일-조석-파랑 수치모델 개발 2. 태풍 매미에 의한 해일-조석-파랑 모델의 정확성 검토

천제호 ,  안경모 ,  윤종태

한국해안·해양공학회논문집

2009 .02

항공용 다변측정감시 시스템 설계 및 성능분석

김태식 ,  장재원 ,  정연득 외 1명

한국항공우주학회 학술발표회 초록집

2014 .11