Showing results 921 to 940 of 4147
Concolic Testing 도구 KLEE의 다양한 탐색 방법 비교 김영주; 김문주; 김윤호; 정의준, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.18, no.4, pp.321 - 325, 2012-04 |
Concolic 테스팅 도구 CROWN의 적용 가능성 및 사용성 개선 연구 김현우; 김윤호; 김문주, 정보과학회논문지, v.45, no.10, pp.1071 - 1079, 2018-10 |
CONCURRENCY AND INHERITANCE IN ACTOR-BASED OBJECT-ORIENTED LANGUAGES RYU, K; Maeng, SeungRyoul; Cho, Jung Wan, JOURNAL OF SYSTEMS AND SOFTWARE, v.20, no.1, pp.53 - 67, 1993-01 |
Concurrency Control and Recovery in Multi Database Systems Lee, Yoon Joon, JOURNAL OF COMPUTER AND SOFTWARE ENGINEERING, v.3, no.1, pp.101 - 131, 1995-01 |
Concurrency Control for Nested Transactions in Multidatabase Systems W.S.Choe; Kim, Myoung Ho; Lee, Yoon Joon, JOURNAL OF COMPUTING AND INFORMATION, v.1, no.2, pp.649 - 668, 1995-01 |
Concurrency model for distributed systems Kim, Myungchul; Chanson, ST; Vuong, ST, JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, v.59, no.3, pp.445 - 464, 1999-12 |
Confidence interval approach to feature re-weighting Lee, RS; Chung, Chin-Wan; Lee, SL; Kim, SH, MULTIMEDIA TOOLS AND APPLICATIONS, v.40, pp.385 - 407, 2008-12 |
Configuration Guidance Framework for Molecular Dynamics Simulations in Virtualized Clusters Han, Jaeung; Kim, Changdae; Huh, Jaehyuk; Jang, Gil-Jin; Choi, Young-ri, IEEE TRANSACTIONS ON SERVICES COMPUTING, v.10, no.3, pp.366 - 380, 2017-05 |
CONFIGURATION MANAGEMENT OF OBJECT GROUPS PARK, HJ; Lee, DongMan; LEE, K; Chon, Kil Nam, AUSTRALIAN COMPUTER JOURNAL, v.23, no.4, pp.148 - 158, 1991-11 |
Conformance Relation that Preserves Interoperability of Communicating Systems 강성원; Junhwan Yang; Sukhyun Shin, KT JOURNAL, v.6, no.1, pp.4 - 10, 2001-09 |
Confronting the tensions where UX Meets AI Cramer H.; Kim, Juho, Interactions, v.26, no.6, pp.69 - 71, 2019-11 |
Congestion control for sudden bandwidth changes in TCP Ko, Eui-Yul; An, Dong-Hyeok; Yeom, Ik-Jun; Yoon, Hyun-Soo, INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, v.25, no.12, pp.1550 - 1567, 2012-12 |
Connecting Tweakable and Multi-Key Blockcipher Security![]() Lee, Jooyoung; Luykx, Atul; Mennink, Bart; Minematsu, Kazuhiko, DESIGNS CODES AND CRYPTOGRAPHY, v.86, no.3, pp.623 - 640, 2018-03 |
ConnectomeNet: A Unified Deep Neural Network Modeling Framework for Multi-Task Learning Lim, Heechul; Chon, Kang-Wook; Kim, Min-Soo, IEEE ACCESS, v.11, pp.34297 - 34308, 2023-03 |
Consistent Community Identification in Complex Networks Kwak, Hae-Woon; Moon, Sue-Bok; Eom, Young-Ho; Choi, Yoon-Chan; Jeong, Ha-Woong, JOURNAL OF THE KOREAN PHYSICAL SOCIETY, v.59, no.5, pp.3128 - 3132, 2011-11 |
Constrained energy allocation for mixed hard and soft real-time tasks Doh, Y; Kim, Daeyoung; Lee, YH; Krishna, CM, REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.2968, pp.371 - 388, 2003 |
Constraint-based human resource allocation in software projects Kang, Dong-Won; Jung, Jin-Hwan; Bae, Doo-Hwan, SOFTWARE-PRACTICE EXPERIENCE, v.41, no.5, pp.551 - 577, 2011-04 |
Constructing a paraphrase database for agglutinative languages Park, Hancheol; Oh, Kyo-Joong; Choi, Ho-Jin; Gweon, Gahgene, DATA & KNOWLEDGE ENGINEERING, v.123, pp.1 - 20, 2019-09 |
Constructing levels in arrangements and higher order Voronoi diagrams Agarwal, PK; de Berg, M; Matousek, J; Cheong, Otfried, SIAM JOURNAL ON COMPUTING, v.27, no.3, pp.654 - 667, 1998-06 |
CONSTRUCTING OPTIMAL HIGHWAYS Ahn, HK; Alt, H; Asano, T; Bae, SW; Brass, P; Cheong, Otfried; Knauer, C; et al, INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, v.20, no.1, pp.3 - 23, 2009-02 |
Discover