CS-Journal Papers(저널논문)
- Browse
- Issue Date Author Title Subject Type
Recent Items
-
1
GPUTucker: Large-Scale GPU-Based Tucker Decomposition Using Tensor Partitioning
Lee, Jihye; Han, Donghyoung; Kwon, Oh-Kyoung; Chon, Kang-Wook; Kim, Min-Soo, EXPERT SYSTEMS WITH APPLICATIONS, v.237, 2024-03
-
2
SuM: Efficient shadow stack protection on ARM Cortex-M
Choi, Wonwoo; Seo, Minjae; Lee, Seongman; Kang, Brent Byunghoon, COMPUTERS & SECURITY, v.136, 2024-01
-
3
Inverse Constraint Learning and Generalization by Transferable Reward Decomposition
Jang, Jaehwi; Song, Minjae; Park, Daehyung, IEEE ROBOTICS AND AUTOMATION LETTERS, v.9, no.1, pp.279 - 286, 2024-01
-
4
Microphone Pair Training for Robust Sound Source Localization With Diverse Array Configurations
An, Inkyu; An, Guoyuan; Kim, Taeyoung; Yoon, Sung-eui, IEEE ROBOTICS AND AUTOMATION LETTERS, v.9, no.1, pp.319 - 326, 2024-01
-
5
Hardware-hardened Sandbox Enclaves for Trusted Serverless Computing
박중언; 강승효; 이상현; 김태훈; 박종세; 권영진; Huh J., ACM Transactions on Architecture and Code Optimization, v.21, no.1, 2024-01
-
6
Highly VM-Scalable SSD in Cloud Storage Systems
Lee, Wonyoung; Kang, Mincheol; Kim, Soontae, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, v.43, no.1, pp.113 - 126, 2024-01
-
7
Zero and Narrow-Width Value-Aware Compression for Quantized Convolutional Neural Networks
Jang, Myeongjae; Kim, Jinkwon; Nam, Haejin; Kim, Soontae, IEEE Transactions on Computers, v.73, no.1, pp.249 - 262, 2024-01
-
8
EC: A Tool for Guiding Chart and Caption Emphasis
Kim, Dae Hyun; Choi, Seulgi; Kim, Juho; Setlur, Vidya; Agrawala, Maneesh, IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, v.30, no.1, pp.120 - 130, 2024-01
-
9
Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case study
Song, Jiyoung; Bae, Doo-Hwan, JOURNAL OF SYSTEMS AND SOFTWARE, v.206, 2023-12
-
10
An effective approach to improve the performance of eCPDP (early cross-project defect prediction) via data-transformation and parameter optimization
Kwon, Sunjae; Ryu, Duksan; Baik, Jongmoon, SOFTWARE QUALITY JOURNAL, v.31, no.4, pp.1009 - 1044, 2023-12
Collection's Items (Sorted by Submit Date in Descending order): 3401 to 3420 of 4024
| 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
Open Access
- 187 OA Article