본문 바로가기
HOME> 논문 > 논문 검색상세

논문 상세정보

MPSoC용 임베디드 소프트웨어 설계 및 검증을 위한 모델기반 프레임워크

하순회   (서울대학교UU0000691  );
  • 초록

    초록이 없습니다.


  • 참고문헌 (9)

    1. 정영범, 김재황, 신재호, 이광근, "자동 오류 검출을 위한 프로그램 분석기 - 아이락", 마이크로 소프트웨어, pp.178-186, 2005년 6월 
    2. http://peace.snu.ac.kr/research/peace 
    3. OpenMP C and C++ API, version 1.0, http://www.openmp.org, 1998 
    4. Chanik Park, Jaewoong Chung and Soonhoi Ha, "Extended Synchronous Dataflow for Efficient DSP System Prototyping," Design Automation for Embedded Systems, Kluwer Academic Publishers Vol.3, pp. 295-322, March, 2002 
    5. D. Frankel, Model Driven Architecture: Applying MDA to Enterprise Computing, John Wiley & Sons, 2003 
    6. Edward A. Lee and Stephen Neuendorffer, "Concurrent Models of Computation for Embedded Software," IEE Proceedings, Computers and Digital Techniques, Vol. 152, Issue 2, pp.239-250, March, 2005 
    7. Dohyung Kim, Soonhoi Ha, "Static Analysis and Automatic Code Synthesis of flexible FSM Model," ASP-DAC 2005 Jan 18-21 2005 
    8. Kiseun Kwon, Youngmin Yi, Dohyung Kim, Soonhoi Ha, "Embedded Software Generation from System Level Specification for Multi- Tasking Embedded Systems", ASP-DAC'05 Vol. 1 pp 145-150 Jan 18-21 2005 
    9. http://www.mathworks.com/products/rtw/ 
  • 이 논문을 인용한 문헌 (1)

    1. Song, In-Gwon ; Oh, Gi-Young ; Hong, Jang-Eui ; Bae, Doo-Hwan 2007. "Modeling and Simulation of Platform Specific Model in MPSoC Environment" 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용, 34(8): 697~707     

 저자의 다른 논문

  • 하순회 (23)

    1. 1996 "미로 환경에서의 네트워크 가상현실 응용의 구현" 컴퓨터그래픽스학회논문지 = Journal of the Korea Computer Graphics Society 2 (2): 37~44    
    2. 1997 "미로 환경에서의 네트워크 가상현실 응용의 구현" 방송공학회지 = Korea society broadcast engineers magazine 2 (3): 40~48    
    3. 1999 "백플레인에 기반한 제어 부분과 데이터 처리 부분의 통합적 명세" 電子工學會論文誌. Journal of the Korean Institute of Telematics and Electronics. C c36 (12): 36~46    
    4. 2000 "VIA 기반의 병렬 라이브러리 구현에 관한 연구" 정보과학회지 = Communications of the Korean Institute of Information Scientists and Engineers 18 (3): 28~39    
    5. 2000 "BILI-하드웨어/소프트웨어 분할 휴리스틱" 電子工學會論文誌. Journal of the Institute of Electronics Engineers of Korea. SD, 반도체 37 (9): 66~77    
    6. 2004 "지연 시간 및 화질 제약이 있는 비디오 응용을 위한 에너지 최적화 기법" 정보과학회논문지. Journal of KIISE. 시스템 및 이론 31 (10): 543~552    
    7. 2004 "Exploring On-Chip Bus Architectures for Multitask Applications" Journal of semiconductor technology and science 4 (4): 286~292    
    8. 2005 "빠른 하드웨어/소프트웨어 통합합성을 위한 데이타플로우 명세로부터의 하드웨어 합성" 정보과학회논문지. Journal of KIISE. 시스템 및 이론 32 (5): 232~242    
    9. 2005 "평탄화를 이용한 계층형 상태 기계의 단계 의미 정의" 정보처리학회논문지. The KIPS transactions. Part D. Part D d12 (6): 863~868    
    10. 2005 "효과적인 임베디드 소프트웨어 설계를 위한 제어흐름 모델의 자동 검증" 정보처리학회논문지. The KIPS transactions. Part A. Part A a12 (7): 563~570    

 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역

원문보기

무료다운로드
  • NDSL :
유료다운로드

유료 다운로드의 경우 해당 사이트의 정책에 따라 신규 회원가입, 로그인, 유료 구매 등이 필요할 수 있습니다. 해당 사이트에서 발생하는 귀하의 모든 정보활동은 NDSL의 서비스 정책과 무관합니다.

원문복사신청을 하시면, 일부 해외 인쇄학술지의 경우 외국학술지지원센터(FRIC)에서
무료 원문복사 서비스를 제공합니다.

NDSL에서는 해당 원문을 복사서비스하고 있습니다. 위의 원문복사신청 또는 장바구니 담기를 통하여 원문복사서비스 이용이 가능합니다.

이 논문과 함께 이용한 콘텐츠
이 논문과 함께 출판된 논문 + 더보기