Showing results 3181 to 3200 of 16112
Composition of Schedulability Analyses for Real-Time Multiprocessor Systems Lee, Jin-Kyu; Shin, Kang G.; Shin, In-Sik; Easwaran, Arvind, IEEE TRANSACTIONS ON COMPUTERS, v.64, no.4, pp.941 - 954, 2015-04 |
Composition-based Cache simulation for structure reorganization Shin, Keon-Cheol; Han, Hwan-Soo; Choe, Kwang-Moo, JOURNAL OF SYSTEMS ARCHITECTURE, v.56, no.2-3, pp.136 - 149, 2010-02 |
Compositional bottom-up type inference algorithm using type scheme = 타입스킴을 이용한 합성적인 상향성 타입 유추 알고리즘link Kim, Se-Won; 김세원; et al, 한국과학기술원, 2005 |
Compositional question answering: A divide and conquer approach Oh, Hyo-Jung; Sung, Ki-Youn; Jang, Myung-Gil; Myaeng, Sung-Hyon, INFORMATION PROCESSING & MANAGEMENT, v.47, no.6, pp.808 - 824, 2011-11 |
Compositional real-time scheduling framework with periodic model Shin, Insik; Lee, Insup, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, v.7, no.3, 2008 |
Compositional Shape Analysis by Means of Bi-Abduction Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter W.; Yang, Hongseok, JOURNAL OF THE ACM, v.58, no.6, 2011-12 |
Compositional Shape Analysis by means of Bi-Abduction Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter; Yang, Hongseok, ACM SIGPLAN NOTICES, v.44, no.1, pp.289 - 300, 2009-01 |
Compound Noun Indexing in Korean Using an Information Theoretic Metric Hyouk R. Park; Young S. Han; Choi, Key-Sun, LITERARY AND LINGUISTIC COMPUTING, v.12, no.2, pp.87 - 93, 1997-06 |
Comprehensive analysis of FBD test coverage criteria using mutants Shin, Donghwan; Jee, Eunkyoung; Bae, Doo-Hwan, SOFTWARE AND SYSTEMS MODELING, v.15, no.3, pp.631 - 645, 2016-07 |
Compressed High Definition Television (HDTV) over IPv6 Lee J.; Chon, Kil Nam, 2006 International Symposium on Applications and the Internet Workshops, SAINT 2006 Workshops, pp.22 - 25, 2006-01-23 |
Compressing the Graphs in the G-machine by Tag-Forwarding Woo, Gyun; Han, Taisook, JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING, v.3, no.1, pp.112 - 138, 1998-01 |
Compression Schemes with Data Reordering for Ordered Data Lee, Chun-Hee; Chung, Chin-Wan, JOURNAL OF DATABASE MANAGEMENT, v.25, no.1, pp.1 - 28, 2014-01 |
Compression-based architecture design through cross-layer optimizations = 계층 교차 최적화를 통한 압축 기반 아키텍처 설계link Kim, Jinkwon; 김진권; et al, 한국과학기술원, 2024 |
Computability in linear algebra Brattka, V; Ziegler, M, THEORETICAL COMPUTER SCIENCE, v.326, no.1-3, pp.187 - 211, 2004-10 |
Computability of the Solutions to Navier-Stokes Equations via Effective Approximation Sun, Shu-Ming; Zhong, Ning; Ziegler, Martin A., International Workshop on Complexity and Approximation, 2019, pp.80 - 112, Springer International Publishing, 2019-04 |
Computability on regular subsets of Euclidean space Ziegler, M, MATHEMATICAL LOGIC QUARTERLY, v.48, pp.157 - 181, 2002 |
Computable operations on compact subsets of metric spaces with applications to fréchet distance and shape optimization Park, Chansu; Park, Ji-Won; Park, Sewon; Seon, Dongseong; Ziegler, Martin A, 14th International Conference on Computability and Complexity in Analysis, CCA 2017, pp.37, KAIST School of Computing, 2017-07 |
Computable operators on regular sets Ziegler, M, MATHEMATICAL LOGIC QUARTERLY, v.50, no.4-5, pp.392 - 404, 2004 |
Computation of non-dominated points using compact Voronoi diagrams Bhattacharya, Binay; Bishnu, Arijit; Cheong, Otfried; Das, Sandip; Karmakar, Arindam; Snoeyink, Jack, 4th International Workshop on Algorithms and Computation, WALCOM 2010, pp.82 - 93, 4th International Workshop on Algorithms and Computation, WALCOM 2010, 2010-02-10 |
Computation of spatial skyline points Bhattacharya, Binay; Bishnu, Arijit; Cheong, Otfried; Das, Sandip; Karmakar, Arindam; Snoeyink, Jack, COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, v.93, pp.101698, 2021-02 |
Discover