Browse "CS-Journal Papers(저널논문)" by Type Article
Showing results 2401 to 2420 of 4036
| Reducing non-deterministic loads in low-power caches via early cache set resolution Kim, Soontae; Vijaykrishnan, N; Irwin, MJ, MICROPROCESSORS AND MICROSYSTEMS, v.31, no.5, pp.293 - 301, 2007-08 |
| Reducing Redundant Test Executions in Software Product Line Testing-A Case Study Jung, Pilsu; Kang, Sungwon; Lee, Jihyun, ELECTRONICS, v.11, no.7, 2022-04 |
| Reducing the cost of accessing relations in incremental view maintenance Lee, Ki Yong; Son, Jin Hyun; Kim, Myoung Ho, DECISION SUPPORT SYSTEMS, v.43, no.2, pp.512 - 526, 2007-03 |
| Reducing the Memory Bandwidth Overheads of Hardware Security Support for Multi-Core Processors Lee, Jung Hoon; Kim, Taehoon; Huh, Jaehyuk, IEEE TRANSACTIONS ON COMPUTERS, v.65, no.11, pp.3384 - 3397, 2016-11 |
| Redundant multicast routing in multilayer networks with shared risk resource groups: Complexity, models and algorithms Liang, Zhe; Chaovalitwongse, Wanpracha Art; Cha, Meeyoung; Moon, Sue Bok, COMPUTERS OPERATIONS RESEARCH, v.37, no.10, pp.1731 - 1739, 2010-10 |
| Refined Mark(s)-Set-Based Backtrack Literal Selection for AND Parallelism in Logic Programs DO-HYUNG KIM; Choe, Kwang-Moo; Han, Taisook, PARALLEL PROCESSING LETTERS, v.2, no.1, pp.71 - 79, 1992-03 |
| Region-based parallelization of irregular reductions on explicitly managed memory hierarchies Kim, Seong-Gun; Han, Hwan-Soo; Choe, Kwang-Moo, JOURNAL OF SUPERCOMPUTING, v.56, no.1, pp.25 - 55, 2011-04 |
| Regression testing minimization, selection and prioritization: a survey Yoo, Shin; Harman, M., SOFTWARE TESTING VERIFICATION & RELIABILITY, v.22, no.2, pp.67 - 120, 2012-03 |
| Relation Based Bayesian Network for NBNN Mingyang Sun; Lee, Yoonseok; Yoon, Sung-Eui, Journal of Computing Science and Engineering, v.9, no.4, pp.204 - 213, 2015-12 |
| Relational Parametricity and Separation Logic Birkedal, Lars; Yang, Hongseok, LOGICAL METHODS IN COMPUTER SCIENCE, v.4, no.2, 2008 |
| Relational Separation Logic Yang, Hongseok, THEORETICAL COMPUTER SCIENCE, v.375, no.1-3, pp.308 - 334, 2007-05 |
| Relative computability and uniform continuity of relations Pauly, Arno; Ziegler, Martin A., Journal of Logic and Analysis, v.5, no.7, pp.1 - 39, 2013 |
| Relevance feedback using adaptive clustering for image similarity retrieval Kim, DH; Chung, Chin-Wan; Barnard, K, JOURNAL OF SYSTEMS AND SOFTWARE, v.78, no.1, pp.9 - 23, 2005-10 |
| Reliability measure for sound source localization Jeon, Hyejeong; Kim, Seungil; Kim, Lag-Yong; Lee, Hee-Youn; Yoon, Hyunsoo, IEICE ELECTRONICS EXPRESS, v.5, no.6, pp.192 - 197, 2008-03 |
| Reliable and Scalable Big-Data Applications in Edge Cloud Environments Ko, In-Young; Srivastava, Abhishek; Mrissa, Michael, JOURNAL OF WEB ENGINEERING, v.22, no.2, pp.V - VII, 2023-06 |
| Remarks on the unknown key share attacks Baek, Joonsang; Kim, Kwangjo, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, v.E83A, no.12, pp.2766 - 2769, 2000-12 |
| Remote Navigation of Turtle by Controlling Instinct Behavior via Human Brain-computer Interface Kim, Cheol-Hu; Choi, Bonjae; Kim, Dae-Gun; Lee, Serin; Jo, Sung-Ho; Lee, Phill-Seung, JOURNAL OF BIONIC ENGINEERING, v.13, no.3, pp.491 - 503, 2016-07 |
| Removing unnecessary buffers and timers in EDF scheduler with regulators in fixed-sized packet networks Pyun, KY; Song, Junehwa; Lee, Heung-Kyu, IEICE TRANSACTIONS ON COMMUNICATIONS, v.E86B, pp.3646 - 3650, 2003-12 |
| Replicated Data Types: Specification, Verification, Optimality Burckhardt, Sebastian; Gotsman, Alexey; Yang, Hongseok; Zawirski, Marek, ACM SIGPLAN NOTICES, v.49, no.1, pp.271 - 284, 2014-01 |
| Representing emotions with linguistic acuity Min, Hye-Jin; Park, Jong-Cheol, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v.4394, pp.348 - 360, 2007-02 |
Discover
Open Access
- 187 OA Article