지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
Abstract
1. 서론
2. 병행 프로그램 실행 모델
3. 결정적 재실행 구현 방법
4. 사건 포획 및 기록
5. 결정적 재실행
6. 구현 및 실험
7. 결론
참고문헌
저자소개
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
MPI 병렬 프로그램의 순환 디버깅을 위한 인과관계 재실행
정보과학회논문지 : 시스템 및 이론
2001 .10
사건 이력을 이용한 병행 프로그램 디버깅 시스템의 설계 및 구현
한국정보과학회 학술발표논문집
1993 .04
쓰레드 프로그램의 디버깅을 위한 재실행 기법 ( Replay for Debugging Multi-Threaded Programs )
대한전자공학회 학술대회
1996 .11
쓰레드 프로그램의 디버깅을 위한 재실행 기법
대한전자공학회 학술대회
1996 .11
병행언어 디버깅을 위한 비결정적 프로그램 실행의 고정화
한국정보과학회 학술발표논문집
1991 .04
병렬 프로그램 디버깅을 위한 실행 패턴의 특성화 및 인식 기법
한국정보과학회 학술발표논문집
1995 .10
병행 설계 공정 시스템 ( Concurrent Design/Process System )
대한기계학회지
1994 .03
병행 프로그램의 테스트 케이스 생성 방법에 관한 연구
한국정보과학회 학술발표논문집
1993 .04
검출 후 재수행 기법을 이용한 메시지 기반 병렬 프로그램의 디버깅
정보과학회논문지(B)
1996 .02
정적 분석 정보를 이용한 병행 프로그램 재수행 방법
한국정보과학회 학술발표논문집
1994 .10
병행 프로그램으로 구성된 통신 소프트웨어의 정지점 기반 교차 디버깅을 위한 디버그 서버
한국통신학회 학술대회 및 강연회
1998 .12
프로그램 변환을 통한 Java 다중 스레드 프로그램의 결정적 테스팅
정보과학회논문지 : 소프트웨어 및 응용
2000 .06
병행 Java 프로그램의 수행 감시를 위해서 사건순서 정보를 생성하는 기법
한국정보과학회 영남지부 학술발표논문집
2003 .12
오토마타기반의 병행 프로그램을 위한 결정적 수행 테스팅 기법
정보과학회논문지 : 소프트웨어 및 응용
2001 .10
다단계 프로그램을 위한 타입 기반의 실행흐름 분석
한국정보과학회 학술발표논문집
2007 .06
시스템 콜을 통한 사용자 입력의 기록 및 재현 방법
한국정보과학회 학술발표논문집
2017 .12
정보이론을 이용한 병행 프로그램의 복잡도 척도
(구)정보과학회논문지
1993 .08
0