Digital Library


Search: "[ author: Jin Young Choi ]" (5)
    Computer Graphics & Synthesizable Synchronous VHDL Code Generator Design and Implemetation from SpecCharts
    Seong Jo Yun, Jin Young Choi, Sang Yong Han, Jeong A Lee, Won Young Yoo, Jeong Il Choi, Joon Whoan Lee KIPS Transactions on Computer and Communication Systems, Vol. 7, No. 11, pp. 3566-3575, Nov. 2000
    10.3745/KIPSTE.2000.7.11.3566

    Formal Verification of RACE Protocol Using VIS
    Hyun Sun Um, Jin Young Choi, Woo Jong Han, An Do Ki, Kyu Hyun Shim KIPS Transactions on Computer and Communication Systems, Vol. 7, No. 7, pp. 2219-2228, Jul. 2000
    10.3745/KIPSTE.2000.7.7.2219

    VIP / Sim ; Design and Implementation of Virtual Prototyping Simulator based on Statecharts
    Chul Ung Kim, Sang Yong Han, Jin Young Choi, Jeong A Lee KIPS Transactions on Computer and Communication Systems, Vol. 7, No. 3, pp. 891-900, Mar. 2000
    10.3745/KIPSTE.2000.7.3.891

    A Study on the Remove Use-After-Free Security Weakness
    Yong Koo Park, Jin Young Choi KIPS Transactions on Computer and Communication Systems, Vol. 6, No. 1, pp. 43-50, Jan. 2017
    10.3745/KTCCS.2017.6.1.43
    Keywords: Security Weakness, Vulnerability, Dangling Pointer, Nullification

    Performance Evaliation of Real-Time Linux Kernel Patch for Exynos4210 Processors
    Heong Seok Kang , Joon Woo Lee , Jin Young Choi , Kang Hee Kim KIPS Transactions on Computer and Communication Systems, Vol. 2, No. 7, pp. 277-282, Jul. 2013
    10.3745/KTCCS.2013.2.7.277