지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
1. 서론
2. 컴퓨터 시스템 안정성 보장을 위한 방법
3. 모델 검증 방법을 이용한 컴퓨터 시스템의 정형 검증의 문제점
4. 검증된 시스템 설계 방법
5. 결론
참고문헌
저자소개
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
정보기기온칩을 위한 HW/SW 혼합 설계 및 검증 환경 개발
대한전자공학회 학술대회
2001 .06
Virtual Prototype for Early SW bring up & HW/SW co-verification
전자공학회지
2014 .11
하드웨어-소프트웨어 통합설계 ( HW-SW Codesign )
대한전자공학회 학술대회
1995 .01
하드웨어와 소프트웨어가 포함된 제품개발을 위한 프레임워크
대한산업공학회 춘계공동학술대회 논문집
2006 .05
A STUDY ON EMBEDDED SYSTEMS USING HW/SW CO-DESIGN
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2006 .07
HW / SW 통합설계를 위한 통합시뮬레이션 환경 ( HW / SW Cosimulation Environment for HW / SW Codesign )
대한전자공학회 학술대회
1997 .01
경험적 접근을 이용한 HW/SW 분할 방법 연구
대한전자공학회 학술대회
2002 .11
집적검증 기법을 채용한 HW / SW통합검증
대한전자공학회 기타 간행물
2001 .11
고성능 데이터 분석을 위한 HW 및 SW 기반 메모리 관리 기술 동향
정보과학회지
2018 .10
A Study on the EPL using Instructional Model of SW Major’s Programming Class
디지털콘텐츠학회논문지
2018 .05
고객 가치를 반영한 HW/SW 분할 방법론
한국정보과학회 학술발표논문집
2007 .06
초보자에 적합한 프로그래밍 언어 선택에 관한 연구
한국컴퓨터정보학회 학술발표논문집
2017 .07
초ㆍ중등 프로그래밍 기본 교육도구로서의 앱 인벤터 2 활용 방안에 대한 연구
한국정보기술학회논문지
2016 .03
프로그래밍 교육에서 2개 이상 프로그래밍 언어의 학습 전이 효과에 대한 이론적 고찰
한국컴퓨터정보학회 학술발표논문집
2018 .01
양방향 디지털 HW / SW
대한전자공학회 기타 간행물
1998 .01
임베디드 시스템을 위한 동기적 언어 기반 하드웨어/소프트웨어 통합 설계 및 검증
한국정보과학회 학술발표논문집
2006 .10
웹에 기반한 개방형 분산 HW/SW 통합설계 환경
멀티미디어학회논문지
1999 .12
HW-SW Co-Simulation and Co-Emulation for SoC Design and Verification
대한전자공학회 ISOCC
2005 .10
SW전공자 프로그래밍 입문 수업의 스크래치 활용 수업 모형 연구
융합보안논문지
2018 .01
ATM 스위치 네트워크의 HW/SW 통합 시험
한국통신학회 학술대회논문집
1997 .11
0