지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 2011한국컴퓨터종합학술대회 논문집 제38권 제1호(C)
- 발행연도
- 2011.6
- 수록면
- 458 - 461 (4page)
이용수
초록· 키워드
오류제보하기
Fortress 언어는 고성능 컴퓨팅을 대상으로 개발되었으며, 성능과 확장성이 뛰어난 프로그램을 편리하게 작성할 수 있게 하는 특징이 많이 있다. Fortress 언어는 암시적 병렬성을 제공하는데, 이는 프로그램의 대표적인 언어 구조와 자료 구조가 기본적으로 병렬 수행되도록 설계되었음을 의미한다. Fortress 구현은 병렬 수행을 지원하기 위해 스케줄링과 병행성 제어 기법을 제공한다. 우리는 SAT 문제 해결에 널리 쓰이는 알고리듬인 DPLL 알고리듬을 Fortress 언어로 구현하였고, 여러 상황에서 성능을 측정하였다. 실험결과 Fortress 언어를 이용하면 병렬 수행을 쉽게 구현할 수 있음을 확인할 수 있었으며, 문제 유형, 구현기법, 성능 사이의 관계를 찾을 수 있었다.
목차
요약
1. 서론
2. Fortress 언어
3. SAT 문제와 DPLL 알고리듬
4. 구현과 실험 결과
5. 결론과 앞으로 연구할 과제
참고문헌
참고문헌 (0)
참고문헌 신청이 논문의 저자 정보
이 논문과 함께 이용한 논문
SAFE: 확장 가능한 JavaScript 분석 프레임워크
이홍기
,
진준호
,
원순철
외 3명
정보과학회논문지 : 소프트웨어 및 응용
2013
.05
자바스크립트 품질 및 테스팅 기술 동향과 안전한 자바스크립트 프로그램 개발을 위한 ‘SAFE’사례
류석영
정보과학회지
2013
.05
Assert로 자바스크립트 프로그램 분석의 정확도 높이기
이홍기
,
고윤석
,
류석영
한국정보과학회 학술발표논문집
2012
.11
자바스크립트 인터프리터 성능 최적화 기법
원순철
,
류석영
한국정보과학회 학술발표논문집
2012
.11
가상화 기법으로 난독화된 실행 파일의 동적 분석 방법
전준수
,
한태숙
정보과학회논문지 : 소프트웨어 및 응용
2013
.01
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-569-000356728