Repository at Hanyang University

Browsing "COMPUTER SCIENCE AND ENGINEERING(컴퓨터공학과)" byAuthor이욱세

Jump to:
All A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
가 나 다 라 마 바 사 아 자 차 카 타 파 하
  • Sort by:
  • In order:
  • Results/Page
  • Authors/Record:

Showing results 1 to 11 of 11

Issue DateTitleAuthor(s)
2008-02Applying Dataflow Analysis to Detecting Software Vulnerability이욱세
2008-02APROV: Another Program Verifier for Embedded Linux Device Drivers이욱세
2007-06Automatic Extraction of Semantic Relationships from Images Using Ontologies and SVM Classifiers이욱세
2005-04Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis이욱세
2004-10Experiments on the Effectiveness of an Automatic Insertion of Memory Reuses into ML-like Programs이욱세
2006-11A Practical String Analyzer by the Widening Approach이욱세
2008-07Scalable Shape Analysis for Systems Code이욱세
2005-10Static insertion of safe and effective memory reuse commands into ML-like programs이욱세
2006-11가벼운 모양분석을 통한 메모리 누수 탐지이욱세
2009-02소프트웨어 가치와 품질에 대한 인식전환이욱세
2006-09힙 메모리 분석 및 검증의 연구 동향이욱세
1

BROWSE