Digital Library


Search: " keyword: SMT" (6)
    A Distributed Architecture Based SMTP Server for Large Email Service
    Young Jong Kim , Hu Keun Kwak , Kyu Sik Chung KIPS Transactions on Software and Data Engineering, Vol. 16, No. 5, pp. 597-604, May. 2009
    10.3745/KIPSTC.2009.16.5.597


    The Method to Reduce the Driving Time of Gentry
    Kim Soon Ho, Kim Chi Su KIPS Transactions on Software and Data Engineering, Vol. 7, No. 11, pp. 405-410, Nov. 2018
    10.3745/KTSDE.2018.7.11.405
    Keywords: SMT, SMD, Gantry, Vision Inspection, Driving Time

    Model-Based Automatic Test Data Generation Method Using Custom Parser and SMT Solver
    Ki-Wook Shin, Dong-Jin Lim KIPS Transactions on Software and Data Engineering, Vol. 6, No. 8, pp. 385-390, Aug. 2017
    10.3745/KTSDE.2017.6.8.385
    Keywords: test case generation, Model-Based Development, Custom Parser, SMT Solver

    A Confirmation of the Minimum Moving Time to the Stop-Motion in the (sLa-Camera-pLa)Type
    Kim Soon Ho, Kim Chi Su KIPS Transactions on Software and Data Engineering, Vol. 6, No. 5, pp. 223-228, May. 2017
    10.3745/KTSDE.2017.6.5.223
    Keywords: SMT, Gantry, SMD, Vision Inspection, Moving Time

    A Comparison of the Moving Time about Gantry
    Kim Soon Ho, Kim Chi Su KIPS Transactions on Software and Data Engineering, Vol. 6, No. 3, pp. 135-140, Mar. 2017
    10.3745/KTSDE.2017.6.3.135
    Keywords: SMT, Gantry, SMD, Vision Inspection, Moving Time

    Design and Implementation of IMAP Server Supporting E-mail Address Internationalization(EAI) in a Mobile Environment
    Jin-kyu Lee , Kyongsok Kim KIPS Transactions on Software and Data Engineering, Vol. 4, No. 10, pp. 343-348, Oct. 2015
    10.3745/KTCCS.2015.4.10.343