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
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
Lee, Juho; Choi, Jin Woo; Jo, Sung-Ho, IEEE TRANSACTIONS ON COGNITIVE AND DEVELOPMENTAL SYSTEMS, v.16, no.3, pp.923 - 934, 2024-06
TCP 상호운용성 시험스위트의 도출 설순욱; 김명철; 강성원; 진병문; 현순주, 정보과학회논문지(A), v.26, no.11, pp.1414 - 1428, 1999-11 |
논리적 셀 기반의 로봇 소프트웨어 컴포넌트 저장소 고인영; 구형민, 정보과학회논문지 : 소프트웨어 및 응용, v.34, no.8, pp.731 - 742, 2007-08 |
A local decision test for sparse polynomials Grigorescu, E; Jung, Kyomin; Rubinfeld, R, INFORMATION PROCESSING LETTERS, v.110, no.20, pp.898 - 901, 2010-09 |
A landmark-based scalable semantic resource discovery scheme Kang, S; Lee, Young-Hee; Lee, DongMan; Youn, HY, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E90D, pp.986 - 989, 2007-06 |
An approach for testing asynchronous communicating systems Kim, Myungchul; Shin, J; Chanson, ST; Kang, Sungwon, IEICE TRANSACTIONS ON COMMUNICATIONS, v.E82B, no.1, pp.81 - 95, 1999-01 |
Specification Error Detection of Structured Workflow Definition Using Set Constraint System Shim, Jaeyong; Lee, Minkyu; Han, Dongsoo, IEICE Transaction of Information & System, Vol.E00-D, 2004-12 |
An energy-efficient dispersion method for deployment of mobile sensor networks Ghim, Hojin; Kim, Namgi; Kim, Dongwook; Choi, Min; Yoon, Hyunsoo, IEICE ELECTRONICS EXPRESS, v.7, no.10, pp.722 - 727, 2010-05 |
Using formal modeling with an automated analysis tool to design and parametrically analyze a multirobot coordination protocol: A case study Esposito, JM; Kim, Moonzoo, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, v.37, pp.285 - 297, 2007-05 |
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study Kim, Moon-Zoo; Kim, Yun-Ho; Kim, Ho-Tae, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.37, no.2, pp.146 - 160, 2011 |
Mesh layouts for block-based caches Yoon, Sung-Eui; Lindstrom, Peter, IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, v.12, no.5, pp.1213 - 1220, 2006 |
A Pre-Whitening Scheme in a MIMO-Based Spectrum-Sharing Environment Kang, Min Suk; Jung, Bang Chul; Sung, Dan Keun; Choi, Wan, IEEE COMMUNICATIONS LETTERS, v.12, no.11, pp.831 - 833, 2008-11 |
미래인터넷 서비스 기술 동향 이동만; 이영희; 고양우; 김도현, 전자공학회지, v.34, no.4, pp.31 - 40, 2007-04 |
모델기반의 커널 테스팅 프레임워크 김문주; 홍신, 정보과학회논문지 : 소프트웨어 및 응용, v.36, no.7, pp.523 - 530, 2009-07 |
A dynamic protocol conformance test method Kim, Myungchul; Yoo, Sangjo; Park, Jinhee; Kang, Sungwon; Hyun, Soon-Joo; Lee, HyuckJae, JOURNAL OF SYSTEMS AND SOFTWARE, v.67, no.1, pp.31 - 43, 2003-07 |
Modeling and interoperability test case generation of a real-time QoS monitoring protocol Chin, BM; Kim, SU; Kang, Sungwon; Park, CH, ETRI JOURNAL, v.21, no.4, pp.52 - 64, 1999-12 |
On Task Relocation in Two-Dimensional Meshes Yoo, Seong-Moo; Choo, Hyunseung; Youn, Hee Yong; Yu, Chansu; Lee, Younghee, Journal of Parallel and Distributed Computing, Vol.60, pp.616-638, 2000 |
vPMM: A value based process maturity model Lee, J.; Lee, Danhyung; Kang, Sungwon, STUDIES IN COMPUTATIONAL INTELLIGENCE, v.208, no.0, pp.193 - 202, 2009 |
Design of a universal middleware bridge for device interoperability in heterogeneous home network middleware Moon, KD; Lee, Young-Hee; Lee, CE; Son, YS, IEEE TRANSACTIONS ON CONSUMER ELECTRONICS, v.51, no.1, pp.314 - 318, 2005-02 |
Fully automated interoperability test suite derivation for communication protocols Ryu, H; Seol, S; Kim, Myungchul; Kang, Sungwon, COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, v.43, no.6, pp.735 - 759, 2003-12 |
SIGNALING NETWORK OPERATIONS SYSTEM (SIGNOS) IN KOREA Kim, Misoon; Kang, Sanghwan; Lee, Younghee, 2010-12-02 |
Discover