Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lee, Scott Uk-Jin | - |
dc.date.accessioned | 2019-05-03T07:58:39Z | - |
dc.date.available | 2019-05-03T07:58:39Z | - |
dc.date.issued | 2017-06 | - |
dc.identifier.citation | 한국정보과학회 2017년 한국컴퓨터종합학술대회 논문집, Page. 519-521 | en_US |
dc.identifier.issn | 2466-0825 | - |
dc.identifier.uri | http://www.dbpia.co.kr/Journal/ArticleDetail/NODE07207291 | - |
dc.identifier.uri | https://repository.hanyang.ac.kr/handle/20.500.11754/103406 | - |
dc.description.abstract | 현대사회에서 소프트웨어 시장 규모가 거대해지면서 대규모 리소스를 효율적으로 사용하는 것이 필요하기 때문에 멀티스레드를 효과적으로 사용하는 것이 중요하다. 하지만 멀티스레드는 소프트웨어 안정성을 저해할 수 있는 Deadlock, Data race 등의 문제가 발생할 수 있으므로 검증이 필요하다. 효과적인 멀티스레드 문제 해결을 위해 많은 검증 도구들이 개발되었다. 하지만 대부분의 검증 도구는 사용자들이 사용하기에 접근성이 떨어지는 문제점이 있다. 따라서 본 논문은 대표적인 검증 도구인 SPIN의 문제점을 분석하고 이를 해결할 수 있는 검증 도구의 자동화 방안을 제시하여 멀티스레드 프로그램 검증에 취약한 산업체들의 관련기술 개발기간 단축 및 비용 감소로 산업체의 기술적 미래 성장 동력 확보에 기여하고자 한다. | en_US |
dc.description.sponsorship | 본 연구는미래창조과학부 및 정보통신기술진흥센터의정보통 신·방송연구개발사업의일환으로수행하였음. [2014-0-00670, ICT 장비용 SW 플랫폼 구축] | en_US |
dc.language.iso | ko_KR | en_US |
dc.publisher | 한국정보과학회 | en_US |
dc.title | 멀티스레드 분석을 위한 검증도구의 자동화 | en_US |
dc.title.alternative | Automation of verification tools for Multi-Thread Analysis | en_US |
dc.type | Article | en_US |
dc.relation.page | 519-521 | - |
dc.contributor.googleauthor | 이학진 | - |
dc.contributor.googleauthor | 김형락 | - |
dc.contributor.googleauthor | 이욱진 | - |
dc.sector.campus | E | - |
dc.sector.daehak | COLLEGE OF COMPUTING[E] | - |
dc.sector.department | DIVISION OF COMPUTER SCIENCE | - |
dc.identifier.pid | scottlee | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.