Hong, Jaemin; Shim, Sunghwan; Park, Sanguk; Kim, Tae Woo; Kim, Jungwoo; Lee, Junsoo; Ryu, Sukyoung; Kang, Jeehoon, SCIENCE OF COMPUTER PROGRAMMING, v.238, 2024-12
Jeong, Hoyong; Chung, Kiwon; Hwang, Sung Ju; Son, Sooel, COMPUTERS SECURITY, v.144, 2024-09
Jung, Gyuwon; Park, Sangjun; Ma, Eun-Yeol; Kim, Heeyoung; Lee, Uichin, ACM COMPUTING SURVEYS, v.56, no.9, 2024-09
Kim, Minsu; Hwang, Jinwoo; Heo, Guseul; Cho, Seiyeon; Mahajan, Divya; Park, Jongse, PROCEEDINGS OF THE VLDB ENDOWMENT, v.17, no.8, pp.1802 - 1815, 2024-08
HA, TAEWOOK; Kim, Myoung Ho, 정보과학회 컴퓨팅의 실제 논문지, v.30, no.8, pp.347 - 353, 2024-08
Wang, Pei; Zhu, Yu; Xue, Danna; Yan, Qingsen; Sun, Jinqiu; Yoon, Sung-Eui; Zhang, Yanning, COMPUTER VISION AND IMAGE UNDERSTANDING, v.245, 2024-08
Yi, Shinyoung; Kim, Donggun; Na, Jiwoong; Tong, Xin; Kim, Min Hyuk, ACM Transactions on Graphics, v.43, no.4, 2024-07
Son, Sunmin; Jung, Jingun; Ham, Auejin; Lee, Geehyuk, INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION, v.40, no.13, pp.3539 - 3551, 2024-07
Kim, Mincheul; Kwon, Youngsun; Lee, Sebin; Yoon, Sung-Eui, IEEE ROBOTICS AND AUTOMATION LETTERS, v.9, no.6, pp.5767 - 5774, 2024-06
Hwang, Soojin; Baek, Daehyeon; Park, Jongse; Huh, Jaehyuk, ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, v.21, no.2, 2024-06
SoftInfra21: 소프트웨어 기반 및 응용 기술 기획 사업 황규영, 정보과학회지, v.17, no.10, pp.12 - 21, 1999-10 |
Fault Tolerant Wormhole Routing in Mesh with Overlapped Solid Fault Regions Kim, Seong-Pyo; Han, Taisook, PARALLEL COMPUTING, v.23, no.13, pp.1937 - 1962, 1997-12 |
Action compilation - Preprocessing temporal constraints in planning 최호진, TECHNICAL REPORT, v.0, no.0, pp.0 - 0, 1996-01 |
Expressiveness vs. efficiency in temporal specification for planning 최호진, TECHNICAL REPORT, v.0, no.0, pp.0 - 0, 1996-01 |
MAPS: A framework and language for multi-agent planning 최호진, DTI/EPSRC DELIVERABLE, v.0, no.0, pp.0 - 0, 1996-01 |
오퍼레이셔널 의미에 기반한 일차 함수형 언어의 정적 분할 안준선; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.8, pp.877 - 885, 2000-08 |
대형 지리 정보 데이타베이스를 위한 객체 지향 GIS 엔진 황규영; 송주원, 한국정보과학회논문지, v.13, no.3, pp.77 - 87, 1995-03 |
Analysis of left ventricular wall motion based on volumetric deformable models and MRI-SPAMM Park, Jinah; Metaxas, Dimitri; Axel, Leon, Medical Image Analysis, v.1, no.1, pp.53 - 71, 1996 |
Interoperability and Conformance Relations of Communicating Systems 강성원, 한국정보과학회논문지(A), v.24, no.12, pp.1358 - 1366, 1997-12 |
PIECEWISE-LINEAR PATHS AMONG CONVEX OBSTACLES DEBERG, M; MATOUSEK, J; Cheong, Otfried, DISCRETE COMPUTATIONAL GEOMETRY, v.14, no.1, pp.9 - 29, 1995-07 |
BOUNDS ON THE SIZE OF MERGING NETWORKS AIGNER, M; Cheong, Otfried, DISCRETE APPLIED MATHEMATICS, v.61, no.3, pp.187 - 194, 1995-08 |
다단계 상호 연결망에서 제한-주소 부호화를 이용한 재귀적 멀티캐스트 알고리즘 Park, Jae-Hyung; Yoon, Hyun-Soo, 한국정보과학회 논문지(A), v.24, no.7, pp.667 - 674, 1997-07 |
An efficient bottom-up tree pattern matching that performs dynamic programming for code generation Kang, KW; Choe, Kwang-Moo; Jung, MS; Shin, HC, JOURNAL OF PROGRAMMING LANGUAGES, v.5, no.1, pp.189 - 199, 1997 |
MULTIPLE MESSAGE BROADCASTING IN COMMUNICATION-NETWORKS Chwa, Kyung Yong, NETWORKS, v.26, no.4, pp.253 - 261, 1995 |
ATM 망의 MPEG 서비스에서 셀 손실이 화질에 미치는 영향 분석 진성기; 박재형; 윤현수, 한국정보과학회 논문지 (A), v.24, no.12, pp.1324 - 1336, 1997-12 |
메쉬 구조 다중 컴퓨터에서 응용 프로그램 통신 특성을 고려한 정적 웜홀 라우팅 알고리즘 송효정; 은성배; 윤현수, 한국정보과학회 논문지 , v.23, no.6, pp.661 - 668, 1996-06 |
모듈라 멱승 연산의 빠른 수행을 위한 덧셈사슬 휴리스틱과 모듈라 곱셈 알고리즘들 홍성민; 오상엽; 윤현수, 한국정보보호학회 논문지, v.7, no.2, pp.73 - 92, 1997-06 |
Two real-time flow controls in wormhole networks Song, H; Kwon, B; Kim, JY; Yoon, Hyunsoo, INTERNATIONAL JOURNAL OF HIGH SPEED COMPUTING, v.9, no.3, pp.237 - 255, 1997-09 |
An Approach for Testing Asynchronous Communicating Systems 강성원, KT JOURNAL, v.0, no.0, pp.0 - 0, 1996-01 |
ATM 망에서의 MPEG 전송을 위한 전송률 기반 혼잡 제어 기법 안병찬; 조기호; 이우섭; 윤현수; 조정완, 한국정보과학회 논문지 (A), v.25, no.3, pp.322 - 330, 1998-03 |
Discover