Digital Library


Search: "[ keyword: Optimization ]" (50)
    A Backtracking Search Framework for Constraint Satisfaction Optimization Problems
    Surg Won Sohn KIPS Transactions on Software and Data Engineering, Vol. 18, No. 3, pp. 115-122, Mar. 2011
    10.3745/KIPSTA.2011.18.3.115


    Compiler triggered C Level error check
    Zhi Wen Zheng , Jong Hee M. Youn , Jong Won Lee , Yun Heung Paek KIPS Transactions on Software and Data Engineering, Vol. 18, No. 3, pp. 109-114, Mar. 2011
    10.3745/KIPSTA.2011.18.3.109


    Boolean Extraction Technique Using Two-cube Divisors and Complements
    Oh Hyeong Kwon , Im Geol Oh KIPS Transactions on Software and Data Engineering, Vol. 15, No. 1, pp. 9-16, Jan. 2008
    10.3745/KIPSTA.2008.15.1.9


    Virtual Machine Code Optimization using Profiling Data
    Yang Hoon Shin , Chang Hwan Yi , Se Man Oh KIPS Transactions on Software and Data Engineering, Vol. 14, No. 3, pp. 167-172, Mar. 2007
    10.3745/KIPSTA.2007.14.3.167


    Automatic Generation of Code Optimizer for DFA Pattern Matching
    Sung Lim Yun , Se Man Oh KIPS Transactions on Software and Data Engineering, Vol. 14, No. 1, pp. 31-38, Jan. 2007
    10.3745/KIPSTA.2007.14.1.31


    An Algorithm of Solution for the Exceptional Field Problem in the Speculative Partial Redundancy Elimination(SPRE) Optimization
    Hyun Deok Shin , Heui Hak Ahn KIPS Transactions on Software and Data Engineering, Vol. 13, No. 6, pp. 489-494, Jun. 2006
    10.3745/KIPSTA.2006.13.6.489


    Improved Ant Colony System for the Traveling Salesman Problem
    In Kyeom Kim , Min Young Yun KIPS Transactions on Software and Data Engineering, Vol. 12, No. 7, pp. 823-828, Jul. 2005
    10.3745/KIPSTB.2005.12.7.823


    A Model-based Methodology for Application Specific Energy Efficient Data path Design Using FPGAs
    Ju Wook Jang , Mi Sook Lee , Seon Il Choi KIPS Transactions on Software and Data Engineering, Vol. 12, No. 5, pp. 451-460, May. 2005
    10.3745/KIPSTA.2005.12.5.451


    Evolutionary Multi-Objective Optimization Algorithms for Uniform Distributed Pareto Optimal Solutions
    Su Hyun Jang , Byung Joo Yoon KIPS Transactions on Software and Data Engineering, Vol. 11, No. 7, pp. 841-848, Jul. 2004
    10.3745/KIPSTB.2004.11.7.841


    A Feedback Buffer Control Algorithm for H.264 Video Coding
    Nam Rye Son , Guee Sang Lee KIPS Transactions on Software and Data Engineering, Vol. 11, No. 6, pp. 625-632, Jun. 2004
    10.3745/KIPSTB.2004.11.6.625