Browse "CS-Journal Papers(저널논문)" by Author 한태숙
Showing results 1 to 39 of 39
| Automatic Hardware/Software Interface Generation for Embedded System 손춘호; 윤정한; 강현구; 한태숙, INTERNATIONAL JOURNAL OF INFORMATION PROCESSING SYSTEMS, v.2, no.3, pp.137 - 142, 2006-12 |
| Esterel 문법구조 바탕의 오토마타 생성 이철우; 윤정한; 한태숙; 최광무; 김철주, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.16, no.11, pp.1136 - 1140, 2010-11 |
| Esterel에서 근사-제어흐름그래프의 효율적인 생성 김철주; 서선애; 한태숙; 윤정한; 최광무, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.15, no.11, pp.876 - 880, 2009-11 |
| Esterel에서 동기장치 중복사용 문제 검출시 과잉 경보 줄이기 윤정한; 김철주; 김성건; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.37, no.8, pp.647 - 652, 2010-08 |
| Eval-Apply 모델의 STGM에 기반하여 지연 계산 함수형 프로그램을 자바로 컴파일하는 기법 남병규; 최광훈; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.6, pp.326 - 335, 2002-06 |
| Hybrid Deforestation : foldr/build 변환과 Deforestation의 결합을 이용한 접근 임현일; 한태숙, 정보과학회논문지(B) , v.25, no.2, pp.367 - 375, 1998-02 |
| nML 프로그래밍 환경에서 SOAP 클라이언트 구현 권오경; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.30, no.2, pp.164 - 172, 2003-02 |
| Windows 프로그램 도용 탐지를 위한 기능 단위 동적 API 버스마크 한태숙; 최석우; 조우영, 정보과학회논문지 : 소프트웨어 및 응용, v.36, no.9, pp.767 - 776, 2009-09 |
| ZG-machine에서 기억 장소 재활용 체계의 영향 우균; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.7, pp.759 - 768, 2000-07 |
| 가상 머신 기반으로 난독화된 실행파일의 구조 및 원본의미 추출 동적 방법 이성호; 한태숙, 정보과학회논문지, v.41, no.10, pp.859 - 869, 2014-10 |
| 가상화 기법으로 난독화된 실행 파일의 동적 분석 방법 전준수; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.1, pp.61 - 71, 2013-01 |
| 가상화를 이용하여 난독화된 바이너리의 제어 흐름 재건 황준형; 한태숙, 정보과학회논문지, v.42, no.1, pp.44 - 53, 2015-01 |
| 그래프 축약 기계에서 수행 시간을 고려한 루트 최적화 방법 최광훈; 한태숙, 정보과학회논문지(B), v.25, no.5, pp.841 - 853, 1998-05 |
| 네트워크를 고려한 프로그래밍언어의 설계와 구현 원유훈; 한태숙, 정보과학회논문지(B), v.26, no.11, pp.1359 - 1371, 1999-11 |
| 레코드 접합연산을 포함한 다형적 레코드 계산 김상오; 한태숙, 정보과학회논문지(B), v.23, no.11, pp.1194 - 1203, 1996-11 |
| 반응형 시스템의 시뮬레이션을 위한 환경 속성의 명세 황준형; 윤정한; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.39, no.7, pp.593 - 603, 2012-07 |
| 사용할 변수의 예측에 사용되는 반복적 알고리즘의 계산순서 재정렬을 통한 수행 속도 개선 윤정한; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.32, no.8, pp.795 - 807, 2005-08 |
| 상향식 추상 해석을 이용한 논리 프로그램의 AND/0R 병렬 수행 모델 개선 창병모; 최광무; 한태숙, 정보과학회논문지, v.21, no.5, pp.792 - 800, 1994-05 |
| 선택적 레덱스 트레일 기반의 디버거 박희완; 한태숙, 정보과학회논문지:소프트웨어 및 응용, v.27, no.9, pp.973 - 985, 2000-09 |
| 소프트웨어 몽타주: 디지털 포렌식 수사를 위한 유사 소프트웨어 탐지 대상의 필터링 박희완; 한태숙, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.16, no.4, pp.497 - 501, 2010-04 |
| 순환 논리 질의 최적화를 위한 정적 필터의 고정점 계산 창병모; 최광무; 한태숙, 정보과학회논문지, v.20, no.9, pp.1391 - 1402, 1993-09 |
| 스타일을 설정할 수 있는 웹 기반 문서 편집 환경 황준형; 윤정한; 최석우; 한태숙, 프로그래밍언어논문지, v.23, no.1, pp.29 - 36, 2009-12 |
| 액티베이션 레코드를 이용한 그래프 축약기계 안준선; 한태숙, 정보과학회논문지(B), v.22, no.10, pp.1459 - 1469, 1995-10 |
| 에스테렐 프로그램 디버깅을 위한 테스트 데이터 자동 생성 한태숙; 서선애; 조민경; 윤정한, 정보과학회논문지 : 소프트웨어 및 응용, v.36, no.10, pp.793 - 799, 2009-10 |
| 오퍼레이셔널 의미에 기반한 일차 함수형 언어의 정적 분할 안준선; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.8, pp.877 - 885, 2000-08 |
| 자바스크립트에 특화된 프로그램 종속성 그래프를 이용한 표절 탐지 한태숙; 김신형, 정보과학회논문지 : 소프트웨어 및 응용, v.37, no.5, pp.394 - 402, 2010-05 |
| 재귀적 자료구조에 대한 재귀함수의 병렬화 안준선; 한태숙, 정보과학회논문지(B), v.26, no.12, pp.1542 - 1552, 1999-12 |
| 정적 API 트레이스 버스마크를 이용한 자바 클래스 도용 탐지 박희완; 최석우; 임현일; 한태숙, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.14, no.9, pp.911 - 915, 2008-12 |
| 제어 및 데이터 신호에 의한 Esterel에서의 새로운 회로 중복사용 문제 윤정한; 김철주; 김성건; 최광무; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.37, no.4, pp.311 - 316, 2010-04 |
| 제어 흐름 그래프 매칭 기반 자바 버스마크 한태숙; 최석우; 임현일; 박희완, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.15, no.11, pp.871 - 875, 2009-11 |
| 중간언어 L-코드를 이용한 Haskell-Java 언어 번역기 구현 최광훈; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.28, no.12, pp.955 - 965, 2001-12 |
| 태그 옮기기에 의한 G-machine 그래프의 압축 우균; 한태숙, 정보과학회논문지(B), v.26, no.5, pp.702 - 712, 1999-05 |
| 포인터와 자료를 중복하여 공간효율을 높인 G-machine 박홍영; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.28, no.8, pp.593 - 602, 2001-08 |
| 프로그램의 구조와 상수 값을 이용하는 바이너리 실행 파일의 차이점 분석 박희완; 최석우; 서선애; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.35, no.7, pp.452 - 461, 2008-07 |
| 하드웨어 암호화 함수를 이용한 스크립트 응용 프로그램의 보안성 향상 최창기; 한태숙, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.18, no.4, pp.259 - 265, 2012-04 |
| 하드웨어/소프트웨어 동시검증을 위한 합성 가능한 인터페이스 검증 기법 이재호; 한태숙; 윤정한, 정보과학회논문지 : 소프트웨어 및 응용, v.37, no.4, pp.323 - 339, 2010-04 |
| 함수 수준에서 프로파일 정보를 이용한 ARM과 Thumb 명령어의 선택 소창호; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.32, no.3, pp.227 - 235, 2005-03 |
| 함수 요약을 이용한 모듈단위 포인터분석 박상운; 강현구; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.35, no.10, pp.636 - 652, 2008-10 |
| 흐름 그래프 형태를 이용한 함수형 프로그램 유사성 비교 서선애; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.32, no.4, pp.290 - 299, 2005-04 |
Discover
Open Access
- 187 OA Article