Showing results 101 to 120 of 4060
A formal approach to lock escalation Chang, JW; Whang, Kyu-Young; Lee, YK; Yang, JH; Oh, YC, INFORMATION SYSTEMS, v.30, pp.151 - 166, 2005-04 |
A Formal C Memory Model Supporting Integer-Pointer Casts Kang, Jeehoon; Hur, Chung-Kil; Mansky, William; Garbuzov, Dmitri; Zdancewic, Steve; Vafeiadis, Viktor, ACM SIGPLAN NOTICES, v.50, no.6, pp.326 - 335, 2015-06 |
A formal framework for prefetching based on the type-level access pattern in object-relational DBMSs Han, WS; Whang, Kyu-Young; Moon, YS, IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, v.17, pp.1436 - 1448, 2005-10 |
A Formal Representation of Platform Feature-to-Requirement Traceability for Software Product Line Development Kang, Sungwon; Kim, Jingyu; 강성주; 엄석환, Computer Software and Applications Conference (COMPSAC), pp.211 - 218, 2014-07 |
A Formant Tracking Procedure and Its Application to Korean Digits Recognition T. Agui; Oh, Yung-Hwan, THE JOURNAL OF THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS, v.63, no.5, pp.322 - 323, 1980 |
A Framework for Correction of Multi-Bit Soft Errors in L2 Caches Based on Redundancy Bhattacharya, Koustav; Ranganathan, Nagarajan; Kim, Soontae, IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, v.17, pp.194 - 206, 2009-02 |
A framework for ensuring consistency of Web Services Transactions Choi, S; Kim, H; Jang, H; Kim, J; Kim, SM; Song, Junehwa; Lee, Yoon Joon, INFORMATION AND SOFTWARE TECHNOLOGY, v.50, no.7-8, pp.684 - 696, 2008-06 |
A Framework for Measuring and Managing Value Achievement in Business Processes Kang, Sungwon; Lee, Ji Hyun; Lee, Danhyung; Baik, Jongmoon, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E95D, no.10, pp.2456 - 2468, 2012-10 |
A framework for mining interesting high utility patterns with a strong frequency affinity Ahmed, Chowdhury Farhan; Tanbeer, Syed Khairuzzaman; Jeong, Byeong-Soo; Choi, Ho-Jin, INFORMATION SCIENCES, v.181, no.21, pp.4878 - 4894, 2011-11 |
A framework for multi-agent systems with multi-modal user interfaces in distributed computing environments Park, S; Choi, Key-Sun; Kim, KHK, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.7, no.3, pp.351 - 369, 1997 |
A framework for probabilistic combination of multiple classifiers at an abstract level Kang, HJ; Kim, KW; Kim, JinHyung, ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, v.10, no.4, pp.379 - 385, 1997-12 |
A Framework for Supporting Triggers in Object-Oriented Database Systems W.Kim; Lee, Yoon Joon; J.Seo, INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, v.1, no.1, pp.127 - 143, 1992-03 |
A framework for the use of Six Sigma tools in PSP/TSP Park, Y.; Choi, H.; Baik, Jongmoon, Proceedings - SERA 2007: Fifth ACIS International Conference on Software Engineering Research, pp.807 - 814, 2007 |
A FRAMEWORK FOR TOOL-BASED SOFTWARE ARCHITECTURE RECONSTRUCTION Kang, Sungwon; Lee, Seonah; Lee, Danhyung, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.19, no.2, pp.283 - 305, 2009-03 |
A framework supporting dynamic workflow interoperation Shim, J; Kwak, M; Han, Dongsoo, ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2005: OTM 2005 WORKSHOPS, PROCEEDINGS BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.3762, pp.461 - 472, 2005 |
A Full-Coverage Two-Level URL Duplication Checking Method for a High-Speed Parallel Web Crawler Younus, Arjumand; Whang, Kyu-Young; Kwon, Hyuk-Yoon; Yeo, Yeon-Mi, JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, v.31, no.3, pp.839 - 860, 2015-05 |
A fuzzy connectionist expert system for visual pattern classification Kim, H.J.; Yang, Hyun-Seung, ROBOTICS AND COMPUTER INTEGRATED MANUFACTURING, v.11, no.3, pp.233 - 244, 1994-09 |
A GA-based fuzzy traffic controller for an intersection with time-varying flow rate Huh, NC; Kim, BM; Kim, JW; Maeng, SeungRyoul, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E86D, no.7, pp.1270 - 1279, 2003-07 |
A Generalization of Hierarchical Exchangeability on Trees to Directed Acyclic Graphs Jung, Paul Heajoon; Lee, Jiho; Sam Staton; Yang, Hongseok, Annales Henri Lebesgue, v.4, pp.325 - 368, 2021-01 |
A Generalization of the Convex Kakeya Problem Ahn, Hee-Kap; Bae, Sang Won; Cheong, Otfried; Gudmundsson, Joachim; Tokuyama, Takeshi; Vigneron, Antoine, ALGORITHMICA, v.70, no.2, pp.152 - 170, 2014-10 |
Discover