25

     임베디드 컴퓨팅 연구실
    연구실   강의실   모임터   구성원   연결방  
    연구실
논문
이제만, 신동하, 메모리 중심 컴퓨터 구조에서 MPI 병렬 프로그램의 효율적인 수행, 한국컴퓨터정보학회, 2019.7.12.
이승철, 신동하, Zephyr 커널에서 Zero-Copy 네트워크 서브시스템 구현, 대한임베디드공학회, 2018.11.17.
김은영, 신동하, Zephyr 커널에서 커널 공간과 사용자 공간의 분리 구현, 대한임베디드공학회, 2017.11.10
이동재, 신동하, 저사양 임베디드 기기를 위한 테이블 기반 멀티쓰레딩 도구 구현, 대한임베디드공학회, 2017.11.10
정주영, 신동하, Zephyr 커널의 파이버 스케줄링 개선 방안, 대한임베디드공학회, 2016.11.12
정주영, 신동하, Zephyr 나노커널에서 효율적인 동기식 IPC 구현, 대한임베디드공학회, 2016.11.12
정주영, 신동하, 운영체제 커널에서 문맥교환 구현 및 분석, "2015 대한임베디드공학회 추계학술대회", 대한임베디드공학회, 2015.11. (우수논문발표상)
김은영, 신동하, 운영체제 커널에서 Direct Thread Switching을 사용한 IPC 구현 및 분석, "2015 대한임베디드공학회 추계학술대회", 대한임베디드공학회, 2015.11.
황병주, 신동하, L4 마이크로커널의 주요 기술 분석, "2014 대한임베디드공학회 추계학술대회", 대한임베디드공학회, 2014.11.
오승재, 신동하, ARMv7 구조를 위한 가상 머신 모니터 구현, "대한임베디드공학회논문지", 8/3, 대한임베디드공학회, 2013.6.
신동하, 김지현, C 응용 프로그램의 동적 소프트웨어 업데이트 시스템 개발, "한국컴퓨터정보학회논문지", 18/4, 한국컴퓨터정보학회, 2013.4.
오승재, 신동하, ARM 구조의 전가상화를 위한 TLB 관리 명령어를 사용한 섀도 페이지 테이블 구현, "한국차세대컴퓨팅학회논문지", 8/6, 한국차세대컴퓨팅학회, 2012.12.
오승재, 신동하, ARM 구조를 위한 가상 머신 모니터 구현, "2012 대한임베디드공학회 추계학술대회", 대한임베디드공학회, 2012.11. (우수논문발표상)
김지현, 신동하, ARM 리눅스 상에서 동적 소프트웨어 업데이트 시스템의 구현, "2012 대한임베디드공학회 추계학술대회", 대한임베디드공학회, 2012.11.
이창훈, 신동하, KVM/ARM의 가상화 민감 명령어에 대한 개선된 처리 방법, "한국차세대컴퓨팅학회논문지", 8/2, 한국차세대컴퓨팅학회, 2012.4.
신동하, 윤경언, 컴파일 시간 명령어 디코딩을 통한 가상화 민감 명령어 에뮬레이션 성능 개선, "한국컴퓨터정보학회논문지", 17/2, 한국컴퓨터정보학회, 2012.2.
조지만, 이창훈, 신동하, ARM 구조의 메모리 가상화를 위한 쉐도우 페이지 테이블 구현, "2011 대한임베디드공학회 추계학술대회", 대한임베디드공학회, 2011.11. (우수논문발표상)
오승재, 윤경언, 신동하, ARMv7 리눅스 커널에서 모든 가상화 민감 명령어를 탐지하는 방법, "2011 대한임베디드공학회 추계학술대회", 대한임베디드공학회, 2011.11.
Dongha Shin and Changhoon Lee, Encoding Virtualization Sensitive Instructions on ARM Architecture, "International Transaction on Computer Science & Engineering", ISSN 1738-6438, ISBN 89-953729-5-8, Vol.63, No.1, 2011.2.
조지만, 김지현, 신동하, ARM 리눅스의 선행 가상화 구현을 위한 민감 명령어 변환 방법, "2010 대한임베디드공학회 추계학술대회", 대한임베디드공학회, 2010.10.
이창훈, 신동하, ARM 구조에서 가상화 민감 명령어를 예외 발생 명령어로 인코딩하는 방법, "2010 대한임베디드공학회 추계학술대회", 대한임베디드공학회, 2010.10.
윤경언, 신동하, KVM/ARM 리눅스의 월드 스위칭 방법 연구, "2010 대한임베디드공학회 추계학술대회", 대한임베디드공학회, 2010.10.
신동하, 윈도우 운영체제에서 레지스트리 가상화 구현, "한국컴퓨터정보학회논문지", 15/2, 한국컴퓨터정보학회, 2010.2.
Dongha Shin, Application Virtualization on Windows, "Virtualization Technology Workshop 2009", ETRI, 2009.11.
Dongha Shin, A File Virtualization Scheme on Windows, "International Transaction on Computer Science & Engineering", Vol.52, No.2, 2009.2.
신동하, 김지연, uC/OS-II 실시간 커널의 가상화를 위한 하이퍼바이저 구현, "한국컴퓨터정보학회논문지", 12/5, 한국컴퓨터정보학회, 2007.11.
Dongha Shin and Yuncheol Baek, Instruction-Level Power Estimation Tool Based On GDB, "International Transaction on Computer Science & Engineering", Vol.43, No.1, 2007.9.
Muhammad Ali Malik and Dongha Shin, Collision Free and Energy Efficient MAC Protocol for Wireless Networks, "International Journal of Computer Science and Network Security", 2007.9.
김기영, 손성훈, 신동하, 플래시 메모리 파일 시스템을 위한 가비지 콜렉터 설계 및 구현, "한국정보처리학회논문지A", 14-A/1, 한국정보처리학회, 2007.2.
정훈, 신동하, 손성훈, 명령어 집합 시뮬레이터를 이용한 임베디드 소프트웨어 디버거, "한국시뮬레이션학회논문지", 한국시뮬레이션학회, 2006.12.
신동하, 강경희, 임베디드 마이크로프로세서에서 산술 및 논리 명령어에 대한 전력 예측 모델, "한국해양정보통신학회논문지", 10/8, 한국해양정보통신학회, 2006.8.
Jinoo Joung, Dongha Shin, Felix. F. Feng, and Hongkyu Jeong, Instant Service Policy and Its Aapplication to Defict Round Robin, "Proceedings of International Conference on Algorithmic Aspects in Information and Management", LNCS 4041, Springer-Verlag, 2006.6.
So-Young Park, Dongha Shin, and Ui-Sung Song, Sentence Segmentation Model to Improve Tree Annotation Tool, "Proceedings of Conference on Intelligent Text Processing and Computational Linguistics", LNCS 3878, Springer-Verlag, 2006.2.
신동하, 손성훈, 공개 집합 제한 논리 언어의 구현 방법, "한국정보처리학회논문지A", 12-A/5, 한국정보처리학회, 2005.11.
신동하, 백윤철, 비혼 논리 프로그램의 효율적 수행, "한국해양정보통신학회논문지", 9/4, 819-823, 한국해양정보통신학회, 2005.9.
이우철, 신동하, 공개 소프트에어 디지털 비디오 레코더 구현, "추계학술대회논문집", 11/2, 한국정보처리학회, 2004.11.
신동하, 김인영, (Ab)(Cl) 집합 일치화의 구현에 관한 연구, "한국해양정보통신학회논문지", 8/5, 한국해양정보통신학회, 2004.8.
강선례, 신동하, 내장형 시스템용 웹 서버 개발, "추계학술대회논문집", 10/2, 한국정보처리학회, 2003.11.
김인영, 신동하, Prolog 언어를 사용한 집합 제한 논리 언어의 구현, "추계학술대회논문집", 한국해양정보통신학회, 2003.10.
Woochul Lee and Dongha Shin, Webox for Embedded Linux Systems, "Proceedings of The 2003 International Conference on Embedded Systems and Applications", 2003.6.
김인영, 신동하, Prolog 언어를 사용한 집합 일치화의 구현, "춘계학술대회논문집", 10/1, 한국정보처리학회, 2003.5.
신동하, C 및 Prolog 언어용 웹 입출력 라이브러리, "한국해양정보통신학회논문지", 6/5, 한국해양정보통신학회, 755-761, 2002.9.1.
M. Kang, J. Kwon, Y, Kwon, O. Lee and D. Shin, WEBIO Library for Executing Application Programs on the Internet, "Proceedings of IEEE Region 10 Conference", IEEE, 1510-1513, 1999.9.15.
이옥선, 권유경, 신동하, 웹 브라우저 상에서 수행되는 Linux 기반 C 프로그래밍 실습 시스템, "99 추계합동학술발표회논문집", 한국정보과학회, 25-33, 1999.9.10.
신동하, 조상 계열 증명 절차를 이용한 비혼 논리 프로그램의 컴파일 방법, "정보과학회논문지(B)", 26/7, 한국정보과학회, 917-930, 1999.7.1.
강명화, 권지숙, 신동하, 인터넷 상에서 논리 언어 Prolog 프로그램 수행을 위한 도구 개발, "99 봄학술발표논문집(A)", 26/1, 한국정보과학회, 81-83, 1999.4.23.
권유경, 이옥선, 신동하, C 언어 웹 입출력 라이브러리 개발, "99 춘계학술발표논문집(하)", 6/1, 한국정보처리학회, 785-788, 1999.4.9.
신동하, 비혼 논리 프로그램의 혼 논리 프로그램으로의 변환, "98 봄학술발표회논문집", 25/1, 한국정보과학회, 62-64, 1998.4.24.
신동하, 변석우, 이접 논리 언어와 등식 논리 언어의 통합, "정보과학회논문지(B)", 25/2, 한국정보과학회, 357-366, 1998.2.1.
오승환, 창병모, 신동하, 최광무, 쉘로우 백트래킹을 사용한 Prolog 컴파일러의 최적화, "정보과학회논문지(B)", 25/1, 한국정보과학회, 160-171, 1998.1.1.
신동하, 창병모, 제한 논리 프로그래밍 언어, "정보과학회지", 15/1, 한국정보과학회, 29-36, 1997.1.1.
D. Shin, Semantics and Proof Procedure of Equational Disjunctive Logic Language, "Proceedings of Korea-Japan Joint Workshop on Algorithms and Computation", KISS SIGTCS, 137-144, 1996.8.23.
D. Shin and M. L. Hilton, Compilation of Disjunctive Logic Programs Using an Extended WAM, "Proceedings of the 20th Annual International Software and Applications Conference", IEEE, 138-144, 1996.8.21.
  Copyright ⓒ 1997-2023 Dongha Shin