Browse "School of Computing(전산학부)" by Title
Showing results 321 to 340 of 15971
| 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 C memory model supporting integer-pointer casts Kang, Jeehoon; Hur, Chung-Kil; Mansky, William; Garbuzov, Dmitri; Zdancewic, Steve; Vafeiadis, Viktor, 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015, pp.326 - 335, ACM Special Interest Group on Programming Languages (SIGPLAN), 2015-06-16 |
| 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 modeling and analysis framework for software product line of preemptive real-time systems Kim, Jin Hyun; Legay, Axel; Traonouez, Louis-Marie; Acher, Mathieu; Kang, Sungwon, 31st Annual ACM Symposium on Applied Computing, SAC 2016, pp.1562 - 1565, ACM Special Interest Group on Applied Computing (SIGAPP), 2016-04 |
| 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 Formal Representation of Platform Feature-to-Requirement Traceability for Software Product Line Development Kang, Sung-Won; Kim, Jingyu; Kang, Sungju; Eom, Seokhwan, 2014 IEEE 38th Annual Computer Software and Application Conference (COMPSAC), IEEE, 2014-07-21 |
| 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 Forward-Secure Blind Signature Scheme Based on the Strong RSA Assumption Duc, DN; Cheon, JH; Kim, Kwangjo, ICICS03, v.2971, no.0, pp.11 - 21, Springer-Verlag, 2003-10 |
| A Four-Frames Differencing Technique for Moving Objects Detection in Wide Area Surveillance Abdelli, Ahmed; Choi, Ho-Jin, IEEE International Conference on Big Data and Smart Computing (BigComp), pp.210 - 214, Institute of Electrical and Electronics Engineers Inc., 2017-02-13 |
| A Fragile Watermakring Scheme For Binary Image Authentication using Hamming Code Lee, Y; Kim, H; Park, Y; Chung, B; Yoon, Hyunsoo, 6th Asia Pacific International Symposium on Information Technology, pp.445 - 448, IEEE, 2007-01 |
| A Framework for analyzing activity time data Ibrahim, Ahmad; Choi, Ho-Jin, Fourth IEEE International Symposium on Service-Oriented System Engineering (SOSE2008), pp.14 - 18, IEEE, 2008-12-18 |
| 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 dynamic inter-device task dispatch with eventual consistency Park, Jihyeok; Park, Joonyoung; Lee, Yoonkyong; Kim, Chul-Joo; Kim, Byoungoh; Ryu, Sukyoung, 2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018, pp.63 - 68, Association for Computing Machinery, 2018-04-12 |
| 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 Exchanging Heterogeneous Messages based-on Ontology Mapping 윤은채; 강성원, 2007 한국 소프트웨어공학 학술대회, pp.0 - 0, 2007 |
| A framework for handling dependencies among web services transactions Choi, Seunglak; Kim, Jungsook; Jang, Hyukjae; Kim, Su Myeon; Song, Junehwa; Kim, Hangkyu; Lee, Yoon Joon, 14th International World Wide Web Conference, WWW2005, pp.1130 - 1131, Association for Computing Machinery (ACM), 2005-05-10 |
| 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 Optimization in Expert System-DBMS Interface Whang, Kyu-Young; Brady, S, pp.126 - 133, 1988-02 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,745 2020 - 2024
- 5,391 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989