Showing results 1 to 9 of 9
(An) efficient debugging method for message-based parallel programs using static analysis information = 정적 분석 정보를 이용한 메시지 기반 병렬 프로그램의 디버깅link Bae, Hyun-Seop; 배현섭; et al, 한국과학기술원, 1995 |
MSC 명세를 기반으로 한 병렬 프로그램 테스팅 환경의 개발 김현수; 배현섭; 정인상; 권용래; 정영식; 이병선; 이동길, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.6, no.2, pp.135 - 149, 2000-04 |
MSC 명세에 기반한 병렬 프로그램 간 테스팅 배현섭; 정인상; 김현수; 권용래; 정영식; 이병선, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.2, pp.108 - 119, 2000-02 |
Validation of timing and communication constraints in real-time parallel programs = 실시간 병렬 프로그램에 대한 시간 및 통신 제약 조건의 검증link Bae, Hyun-Seop; 배현섭; et al, 한국과학기술원, 1999 |
검출 후 재수행 기법을 이용한 메시지 기반 병렬 프로그램의 디버깅 배현섭; 김현수; 권용래; 김한경, 정보과학회논문지 : 소프트웨어 및 응용, v.23, no.2, pp.146 - 157, 1996-02 |
기능 파악을 기초로 한 프로그램의 재구성 방법 김현수; 정인상; 배현섭; 권용래, 정보과학회논문지 : 소프트웨어 및 응용, v.23, no.1, pp.50 - 63, 1996-01 |
명세 변경 후 병행 프로그램의 순서 제약조건 기반 회귀 테스팅 김현수; 정인상; 배현섭; 권용래, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.4, pp.370 - 383, 2000-04 |
요구분석 단계에서의 원영화를 위한 CASE도구 권용래; 홍형석; 배현섭; 차신; 이완권, 한국정보과학회 학술발표, 1994 |
퍼지 이론을 이용한 실시간 시스템의 모델링 및 검증 정인상; 배현섭; 권용래, 정보과학회논문지 : 소프트웨어 및 응용, v.25, no.6, pp.893 - 905, 1998-06 |
Discover