Showing results 1 to 24 of 24
A bottom-up pointer analysis using the update history Kang, Hyun-Goo; Han, Taisook, INFORMATION AND SOFTWARE TECHNOLOGY, v.51, no.4, pp.691 - 707, 2009-04 |
A DESCRIPTION OF DYNAMIC BEHAVIOR FOR COMPILERS BASED ON OBJECT-ORIENTED MODELING LEE, DG; Choe, Kwang-Moo; Han, Taisook, INFORMATION PROCESSING LETTERS, v.48, no.4, pp.163 - 170, 1993-10 |
A method for detecting the theft of Java programs through analysis of the control flow information Lim, Hyun-il; Park, Heewan; Choi, Seokwoo; Han, Taisook, INFORMATION AND SOFTWARE TECHNOLOGY, v.51, no.9, pp.1338 - 1350, 2009-09 |
A path sensitive type system for resource usage verification of C like languages Kang, HG; Kim, Y; Han, Taisook; Han, H, PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS Book Series: LECTURE NOTES IN COMPUTER SCIENCE, v.3780, pp.264 - 280, 2005-11 |
A static bug detector for uninitialized field references in Java programs Seo, Sunae; Kim, Youil; Kang, Hyun-Goo; Han, Taisook, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E90D, no.10, pp.1663 - 1671, 2007-10 |
A type system for the push-enter model Choi, Kwanghoon; Han, Taisook, INFORMATION PROCESSING LETTERS, v.87, no.4, pp.205 - 211, 2003-08 |
An analytical method for parallelization of recursive functions Ahn J.; Han, Taisook, PARALLEL PROCESSING LETTERS, v.10, no.4, pp.359 - 370, 2000-12 |
AN EFFICIENT COMPUTATION OF RIGHT CONTEXT FOR LR-BASED ERROR REPAIR JUNG, MS; Choe, Kwang-Moo; Han, Taisook, INFORMATION PROCESSING LETTERS, v.49, no.2, pp.63 - 71, 1994-01 |
Analyzing Stack Flows to Compare Java Programs Lim, HI; Han, Taisook, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E95D, no.2, pp.565 - 576, 2012-02 |
Automatic generation of hardware/software interface with product-specific debugging tools Yun, Jeong-Han; Kim, Gunwoo; Son, Choonho; Han, Taisook, LECTURE NOTES IN COMPUTER SCIENCE, v.4096, pp.742 - 753, 2006-08 |
CAFE: A Virtualization-Based Approach to Protecting Sensitive Cloud Application Logic Confidentiality Park, Sungjin; Kim, Chung Hwan; Rhee, Junghwan; Won, Jong-Jin; Han, Taisook; Xu, Dongyan, IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, v.17, no.4, pp.883 - 897, 2020-07 |
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 |
Detecting Common Modules in Java Packages Based on Static Object Trace Birthmark Park, Heewan; Lim, Hyun-Il; Choi, Seokwoo; Han, Taisook, COMPUTER JOURNAL, v.54, no.1, pp.108 - 124, 2011-01 |
Detecting theft of Java applications via a static birthmark based on weighted stack patterns Lim, Hyun-il; Park, Heewan; choi, Seokwoo; Han, Taisook, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E91D, no.9, pp.2323 - 2332, 2008-09 |
EFFICIENT BOTTOM-UP EXECUTION OF LOGIC PROGRAMS USING ABSTRACT INTERPRETATION CHANG, BM; Choe, Kwang-Moo; Han, Taisook, INFORMATION PROCESSING LETTERS, v.47, no.3, pp.149 - 157, 1993-09 |
Fault Tolerant Wormhole Routing in Mesh with Overlapped Solid Fault Regions Kim, Seong-Pyo; Han, Taisook, PARALLEL COMPUTING, v.23, no.13, pp.1937 - 1962, 1997-12 |
Fault-tolerant adaptive wormhole routing in 2D mesh Kim, SP; Han, Taisook, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E81D, no.10, pp.1064 - 1071, 1998-10 |
Goal-directed Weakening of Abstract Interpretation Results Seo, Sunae; Yang, Hongseok; Yi, Kwangkeun; Han, Taisook, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.29, no.10, 2007-10 |
Iterative Inversion of Fuzzified Neural Networks Sungwoo Park; Han, Taisook, IEEE TRANSACTIONS ON FUZZY SYSTEMS, v.8, no.3, pp.266 - 280, 2000-06 |
Over-Approximated Control Flow Graph Construction on Pure Esterel Kim, Chul-Joo; Yun, Jeong-Han; Kim, Seonggun; Choe, Kwang-Moo; Han, Taisook, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E93D, pp.985 - 993, 2010-05 |
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 |
STATIC FILTERING ON STRATIFIED PROGRAMS CHANG, BM; Choe, Kwang-Moo; Han, Taisook, INFORMATION PROCESSING LETTERS, v.47, no.5, pp.237 - 244, 1993-10 |
Syntactic Error Repair Using Repair Patterns In-Sig Yun; Choe, Kwang-Moo; Han, Taisook, INFORMATION PROCESSING LETTERS, v.47, no.4, pp.189 - 196, 1993-09 |
VOQL: a visual object-oriented database query language for visualizing path expressions Kim, Jeonghee; Han, Taisook; Lee, Suk Kyoon, COMPUER SYSTEMS SCIENCE AND ENGINEERING, v.15, no.4, pp.215 - 232, 2000-07 |
Discover