HOME > 공학 > 전자계산 > 한국정보과학회 > 한국정보과학회 학술발표논문집
Comparative Analysis on Tools for Verifying Multithreaded Applications -
분야 공학 > 전자계산
저자 Abdul Rahim Mohamed Ariffin Gayeon Kim Scott Uk-Jin Lee
발행기관 한국정보과학회
간행물정보 한국정보과학회 학술발표논문집 2015년, 한국정보과학회 2015년 동계학술발표회 논문집, 470page~472page(총3page)
파일형식 2889573 [다운로드 무료 PDF 뷰어]
판매가격 1,000원
적립금 30원 (구매자료 3% 적립)
이 자료를
해당논문은 미리보기를 지원하지 않습니다.
 
연관 논문
A Study on Application of Sensor Fusion to Collision Avoidance System for Ships -
A Soundness Verification Tool Based on the SPIN Model Checker for Acyclic Workflow Nets -
Use of genomic techniques to screen for potential immunotoxic effects
Investigation of the Thermal Mode-based Thermal Error Prediction for the Multi-heat Sources Model -
THE EMPIRICAL STUDY ON SOFTWARE ESTIMATING MODEL FOR DEVELOPMENT PERIOD BASED ON FUNCTION POINT ANALYSYS -
 
 
목차
부제 : 멀티쓰레드 어플리케이션 검증을 위한 도구의 비교분석
 
 
도움말
본 논문은 참고용 논문으로 수정 및 텍스트 복사가 되지 않습니다.
 
 
추천자료
한성대 경영정보시스템 과제
[공동주거관리론]효율적인 예산편성에 관한 사례 연구 및 국내 대학시설 적용 방안 분석(영문)
전자 정보통신 약어집입니다
[컴공] PHP3 이란
어드밴스드 유닉스 프로그래밍-리차드 스티븐 저
[기타] bc4.5 한글매뉴얼입니다v
[마케팅] Effect of price promotion on the perceived price(영문)
[마케팅] Effect of price promotion on the perceived price(영문)
WMD의 확산(영문)
[관리회계] 풀무원 경영전략(영문)
오늘 본 자료
오늘 본 자료가 없습니다.
장바구니 담은 자료
장바구니가 비어 있습니다.
이 간행물 인기자료
점진적 프로토타입 구성에 의한 사례 ...
오픈소스 기반의 딥러닝 알고리즘을 ...
Java 안드로이드 & C 안드로이드 -
비트코인 취약점 및 현 대응방안의 한...
Spark Streaming 기반 시스템에서 실...
이 간행물 신규자료
지진 가속도 계측을 위한 다양한 디바...
A Proposed Hybrid Video Encoding in...
자동 앱 상태분석을 통한 편리한 스마...
RFID 기술을 활용한 시각장애인용 사...
오라클 서버 장애에 대비한 데이터베...
저작권 정보
본 학술논문은 ㈜누리미디어와 각 학회간에 저작권 계약이 체결된 것으로 HAPPY학술이 제공하고 있습니다. 본 저작물을 불법적으로 이용시는 법적인 제재가 가해질 수 있습니다.
 
서비스이용약관 | 개인정보취급방침 | E-mail 수집 거부 | 제휴 및 광고문의 | FAQ
이메일 무단 수집 거부
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나 그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며, 이를 위반시 정보통신망법에 의해 형사처벌됨을 유념하시기 바랍니다. [게시일 2003년 4월 2일]