Digital Library

Search: "[ keyword: Verification ]" (27)
    Computer Graphics & Topology of High Speed System Emulator and Its Software
    Nam Do Kim, Sei Yang Yang The KIPS Transactions:PartA, Vol. 8, No. 4, pp. 479-488, Dec. 2001
    10.3745/KIPSTA.2001.8.4.479

    Prediction-Based Parallel Gate-Level Timing Simulation Using Spatially Partial Simulation Strategy
    Jaehoon Han, Seiyang Yang KIPS Transactions on Computer and Communication Systems, Vol. 8, No. 3, pp. 57-64, Mar. 2019
    https://doi.org/10.3745/KTCCS.2019.8.3.57
    Keywords: Verification, Event-Driven Logic Simulation, Parallel Logic Simulation, Timing Simulation

    Performance Improvement of Prediction-Based Parallel Gate-Level Timing Simulation Using Prediction Accuracy Enhancement Strategy
    Seiyang Yang KIPS Transactions on Computer and Communication Systems, Vol. 5, No. 12, pp. 439-446, Dec. 2016
    10.3745/KTCCS.2016.5.12.439
    Keywords: Verification, Event-Driven Logic Simulation, Parallel Logic Simulation

    A New Prediction-Based Parallel Event-Driven Logic Simulation
    Sei Yang Yang KIPS Transactions on Computer and Communication Systems, Vol. 4, No. 3, pp. 85-90, Mar. 2015
    10.3745/KTCCS.2015.4.3.85

    An Study on the Impact of N/A Check Item on the Security Level Result through Empirical Verification
    Jun Ho Lee , Kyung Sang Sung , Hea Seok Oh KIPS Transactions on Computer and Communication Systems, Vol. 3, No. 8, pp. 271-276, Aug. 2014
    10.3745/KTCCS.2014.3.8.271

    A Practical Approach to Incremental Event-driven HDL Simulation
    Sei Yang Yang , Kyu Ho Shim KIPS Transactions on Computer and Communication Systems, Vol. 3, No. 3, pp. 73-80, Mar. 2014
    10.3745/KTCCS.2014.3.3.73

    A Proposal for "Security Verification Method for Implementation of Secure Android Mobile Application"
    Hur Hwan Seok , Kang Sung Hoon , Kim Seung Joo KIPS Transactions on Computer and Communication Systems, Vol. 2, No. 10, pp. 445-460, Oct. 2013
    10.3745/KTCCS.2013.2.10.445

Forms



Category Search

Publications


Old Journals


Indexing


All publications of KTCCS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

KTCCS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Organization


Related Journals