KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

 
  • 2017

  • Security analysis of end-to-end encryption in Telegram

    Jeeun Lee, Rakyong Choi, SungSook KIM, Kwangjo Kim
    2017 Symposium on Cryptography and Information Security (SCIS 2017)
    2017

    []

  • Selective AP probing for indoor positioning in a large and AP-dense environment

    Jeon, Seokseong, Jeong, Jae-Pil, Suh, Young-Joo, Yu, Chansu, Dongsoo Han
    JOURNAL OF NETWORK AND COMPUTER APPLICATIONS
    2017

    []

  • Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis

    Heo Kihong, Oh, Hakjoo, Yi, Kwangkeun
    SOFTWARE-PRACTICE & EXPERIENCE
    2017

  • Semantic virtualization for edge-IoT cloud: Issues and challenges

    SiYoung Jang, Choi, Hayoung, Lee, Yoonhyung, Byoungheon Shin, Dongman Lee
    2nd Cloud-Assisted Networking Workshop, CAN 2017
    2017

    []

  • Shortcuts for the Circle

    Otfried Cheong, Bae, Sang Won, Berg, Mark de, Gudmundsson, Joachim, Levcopoulos, Christos
    The 28th International Symposium on Algorithms and Computation
    2017

    [] []

  • ShuffleDog: Characterizing and Adapting User-Perceived Latency of Android Apps

    Huang, Gang, Xu, Mengwei, Lin, Felix Xiaozhu, Liu, Yunxin, Ma, Yun, Saumay Pushp, Liu, Xuanzhe
    IEEE TRANSACTIONS ON MOBILE COMPUTING
    2017

  • Simultaneous Processing of Multi-Skyline Queries with MapReduce

    Kim, Junsu, Lee, Kyong-Ha, Myoung Ho Kim
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
    2017

    []

  • Single channel blind source separation based on probabilistic matrix factorisation

    HANGYU KIM, Jang, Gil-Jin, Park, Jeong-Sik, Yung-Hwan Oh, Ho-Jin Choi
    ELECTRONICS LETTERS
    2017

  • Single channel blind source separation based on probabilistic matrix factorization

    HANGYU KIM, 장길진, 박정식, Yung-Hwan Oh, Ho-Jin Choi
    ELECTRONICS LETTERS
    2017

    [] []

  • Smart ECC Allocation Cache Utilizing Cache Data Space

    Jeongkyu Hong, Soontae Kim
    IEEE TRANSACTIONS ON COMPUTERS
    2017

    []

  • Smartwatch Wearing Behavior Analysis: A Longitudinal Study

    Jeong, Hayeon, Kim, Heepyung, Kim, Rihun, Lee Uichin, Jeong, Y
    Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies
    2017

  • SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS

    JIYOUNG SONG, Young-Min Baek, MINGYU JIN, 지은경, Doo-Hwan Bae
    Asia-Pacific Software Engineering Conference (APSEC)
    2017

    []

  • Sound Non-Statistical Clustering of Static Analysis Alarms

    Lee, Woosuk, Lee, Wonchan, Kang, Dongok, Heo Kihong, Oh, Hakjoo, Yi, Kwangkeun
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
    2017

  • Sparse :PLS: Group-Sparse Dirty Models: Statistical Guarantees without Unreasonable Conditions and a Case for Non-Convexity.

    Eunho Yang, Lozano, A
    International Conference on Machine Learning(ICML)
    2017

    []

  • Spatially Cohesive Service Discovery and Dynamic Service Handover for Distributed IoT Environments

    KYEONGDEOK BAEK, In-Young Ko
    17th International Conference on Web Engineering (ICWE 2017)
    2017

    []

  • Speckle noise reduction in optical diffraction tomography using convolutional neural network

    Hwang, Inwoo, Jinah Park
    BIEN 2017
    2017

    []

  • SystemC UART 시뮬레이터 구현

    노정민, 한욱현, 이길호, 신인식
    2017 한국소프트웨어종합학술대회(KSC)
    2017

    []

  • TLB Index-Based Tagging for Reducing Data Cache and TLB Energy Consumption

    JESUNG KIM, Lee, Jongmin, Soontae Kim
    IEEE TRANSACTIONS ON COMPUTERS
    2017

    []

  • Technology Supported Behavior Restriction for Mitigating Self-Interruptions in Multi-device Environments

    Kim, J, Cho, Chiwoo, Lee Uichin
    PACM on Interactive, Mobile, Wearable and Ubiquitous Technologies
    2017

  • Testing Intermediate Representations for Binary Analysis

    SOOMIN KIM, Faerevaag, Markus, Jung, Minkyu, Jung, Seungil, Oh, DongYeop, Lee, JongHyup, Sang Kil Cha
    International Conference on Automated Software Engineering
    2017

    [] []