31 | Coloured petri nets을 이용하는 안전성 분석 = Safety analysis using coloured petri netslink 조승모; Cho, Seung-Mo; 차성덕; Cha, Sung-Deok, 한국과학기술원, 1996 |
32 | 2차원 메쉬에서 패킷버퍼를 이용한 고장허용 라우팅 = Fault tolerant routing with packet buffers in 2D-mesh networkslink 손영철; Sohn, Young-Chul; 맹승렬; Maeng, Seung-Ryoul, 한국과학기술원, 1996 |
33 | 한국어/영어 병렬 코퍼스에 대한 단어단위 및 구단위 정렬 모델 = Aligning a parallel Korean-English corpus at word and phrase levellink 신중호; Shin, Jung-Ho; 최기선; Choi, Key-Sun, 한국과학기술원, 1996 |
34 | Integrated concurrency control allowing per-object heterogeneity = 자료당 이형관리를 허용하는 통합된 동시성 제어방법link Kwak, Tae-Yeong; 곽태영; Lee, Yoon-Joon; 이윤준, 한국과학기술원, 1996 |
35 | 입력버퍼 ATM 스위치에서 대역폭 보장에 관한 연구 = Bandwidth guarantee in input buffered ATM switcheslink 김현곤; Kim, Hyun-Gon; 윤현수; Yoon, Hyun-Soo, 한국과학기술원, 1996 |
36 | 마코프랜텀필드를 이용한 영어 품사태깅 시스템 = Markov random field based english part-of-speech tagging systemlink 정성영; Jung, Sung-Young; 최기선; Choi, Ki-Sun, 한국과학기술원, 1996 |
37 | 무선 정보 시스템에서의 데이타 방송 = Data broadcasting in wireless information systemslink 정연돈; Chung, Yon-Dohn; 김명호; Kim, Myoung-Ho, 한국과학기술원, 1996 |
38 | 동적 마르코프 모델을 이용한 모델링과 생물 유전정보에서의 종 구별에의 응용 = Modeling using dynamic markov model and its application to the species identification on DNA sequenceslink 윤동빈; Youn, Dong-Bin; 이광형; 원광연; Lee, Kwang-Hyung; Won, Kwang-Yeon, 한국과학기술원, 1996 |
39 | Task allocation based on precedence relations for distributed real-time systems = 분산 실시간 시스템에서의 선후관계를 고려한 태스크 할당link Lim, Yong-Seop; 임용섭; Kwon, Yong-Rae; 권용래, 한국과학기술원, 1996 |
40 | 지리 정보 시스템을 지원하는 공간 객체 저장 시스템의 설계와 구현 = Design and implementation of a geographical object storage system for geographical information systemslink 탁보훈; Tak, Bo-Hoon; 황규영; Whang, Kyu-Young, 한국과학기술원, 1996 |