자료유형
발행기관
- 한국식물병리학회(78)
- 대한수의학회(18)
- 한국정보처리학회(5)
- 대한신경정신의학회(3)
- 한국기초간호학회(3)
- 한국정보과학회(3)
- 대한생리학회-대한약리학회(2)
- 한국웰니스학회(2)
- 환태평양유아교육연구학회(2)
- 물리치료재활과학회(1)
- 부산대학교 교육발전연구소(1)
- 은행법학회(1)
- 이화여자대학교 교과교육연구소(1)
- 인문사회과학기술융합학회(1)
- 한국가족치료학회(1)
- 한국광고PR실학회(1)
- 한국교육방법학회(1)
- 한국교육사회학회(1)
- 한국교육학회(1)
- 한국미생물생명공학회(1)
- 한국보육지원학회(1)
- 한국어린이미디어학회(1)
- 한국정보통신학회(1)
- 한국조형교육학회(1)
- 한국헬스커뮤니케이션학회(1)
간행물
- THE PLANT PATHOLOGY JOURNAL (63)
- 식물병연구(15)
- JOURNAL OF VETERINARY SCIENCE(12)
- 정보처리학회논문지. THE KIPS TRANSACTIONS. PART A. PART A(5)
- 대한수의학회 학술대회발표집(4)
- JOURNAL OF KOREAN BIOLOGICAL NURSING SCIENCE(3)
- 신경정신의학(3)
- ASIA-PACIFIC JOURNAL OF RESEARCH IN EARLY CHILDHOOD EDUCATION(2)
- KOREAN JOURNAL OF VETERINARY RESEARCH(구 대한수의학회지)(2)
- THE KOREAN JOURNAL OF PHYSIOLOGY & PHARMACOLOGY(2)
- 정보과학회논문지. JOURNAL OF KISS (A):COMPUTER SYSTEMS AND THEORY. A(2)
- 한국웰니스학회지(2)
- JOURNAL OF MICROBIOLOGY AND BIOTECHNOLOGY(1)
- PHYSICAL THERAPY REHABILITATION SCIENCE(1)
- 가족과 가족치료(1)
- 광고PR실학연구(1)
- 교과교육학연구(1)
- 교육방법연구(1)
- 교육사회학연구(1)
- 교육혁신연구(1)
- 어린이미디어연구(1)
- 예술인문사회융합멀티미디어논문지(1)
- 은행법연구(1)
- 정보과학회논문지. JOURNAL OF KIISE. 컴퓨팅의 실제 및 레터(1)
- 한국교육학회 학술대회논문집(1)
- 한국보육지원학회지(1)
- 한국정보통신학회논문지(1)
- 한국조형교육학회 학술대회지(1)
- 헬스커뮤니케이션연구(1)
전체 선택해제
총 132건 검색
본문검색 결과만 보기
-
Can prosthetic limbs made too quickly cause kidney damage?
Jerrold S. Petrofsky, Mary Browne, Mahyar Jamshidi, Anthony Libo-on, Ha-neul Lee 물리치료재활과학회 Physical Therapy Rehabilitation Science 6 Pages
물리치료재활과학회 Physical Therapy Rehabilitation Science 2014, 제 3권 제 2호 7 119-124 (6 pages)
In this research, the off-gassing effects during the initial curing process of styrene monomer, vinyl ester resin, epoxy methacrylate resin, benzene-1, 3-dimethaneamine, trimethylhexanedlamine, and paratertiarybutylphenol were analyzed. Acid detection strips were placed inside newly fabricated mock-prosthetic sockets and left overnight in a closed environment to find out if acid was present in the invisible fumes. The plastic was worn by 9 subjects and urinalysis was made after 48 hours to test... -
공유 메모리 병렬 프로그램의 수행중 오류 탐지를 위한 루프 분리
송태섭, Song. Tae-Seob 한국정보통신학회 한국정보통신학회논문지 8 Pages
한국정보통신학회 한국정보통신학회논문지 2012, Vol.16 No.3 391-398 (8 pages)
병렬 프로그램은 의도되지 않은 비결정적인 수행을 야기하므로 공유 메모리를 사용하는 병렬 프로그램에서는 경합을 탐지하는 것은 매우 중요하다. 수행 중 기법에서 경합을 탐지하기 위해서 요구되는 기억장소의 부담은 매우크다. 특히 동기화가 있는 병렬 프로그램에서 경합 탐지에 필요한 기억 공간의 문제는 더욱 심각하다. 그래서, 본 논문에서는 원시 프로그램의 시멘틱을 유지하면서 동기화를 가지는 공유 메모리 병렬 프로그램의 디버깅을 위한 루프 분리 기법을 제시한다. 이것은 동기화를 가지는 병렬 프로그램의 수행 중 경합... -
내부적 비결정성을 가진 공유 메모리 병렬 프로그램에서 잠재적 경합탐지를 위한 전처리기
김영주, 정민섭, 전용기, Kim. Young-Joo, Jung. Min-Sub, Jun. Yong-Kee 한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 10 Pages
한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 2010, No.0 9-18 (10 pages)
OpenMP와 같은 공유 메모리 기반의 병렬 프로그램에서 발생하는 경합은 프로그래머가 의도하지 않은 비결정적인 수행 결과를 초래하므로 반드시 탐지되어야한다. 이러한 경합의 존재를 수행 중에 검증하는 기존의 기법들은 내부적 비결정성이 존재하지 않는 프로그램에 대해서만 가능하다. 하지만 이 조건을 만족하지 못한다면 경합검증을 위해서 각 임계구역마다 적어도 N! 만큼의 프로그램 수행이 필요하다. 여기서 N은 탐지 대상 프로그램이 가진 최대 병렬성을 의미한다. 본 논문에서는 프로그램 슬라이싱을 이용하여 내부적... -
내포 병렬성을 가지는 OpenMP 프로그램의 최초 경합 탐지
천병규, 우종정, 전용기, Chon. Byoung-Gyu, Woo. Jong-Jung, Jun. Yong-Kee 한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 8 Pages
한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 2001, No.0 253-260 (8 pages)
공유 변수를 가지는 병렬 프로그램의 오류 수정에서 경합 탐지는 중요하다. 왜냐하면, 경합은 프로그램의 비결정적인 수행을 유발하기 때문이다. 기존에 제시된 병렬 프로그램의 오류 수정 기법인 수행중 탐지 기법은 내포된 병렬 프로그램에서 최초 경합 탐지를 보장할 수 없다. 최초 경합을 수정하면 이후에 발생하는 경합들이 나타나지 않을 수 있으므로, 최초경합의 탐지는 중요하다. 본 논문에서는 내포 병렬 루프 프로그램을 대상으로 반복 수행을 통해서 최초경합을 탐지하는 기법을 제시한다. 반복 수행의 횟수는 최악의 경우에... -
요약보고 방법에 의해 병목현상을 개선한 최초경합의 수행중 탐지기법
김정시, 전용기 한국정보과학회 정보과학회논문지. Journal of KISS (a):computer systems and theory. A 13 Pages
한국정보과학회 정보과학회논문지. Journal of KISS (a):computer systems and theory. A 1999, Vol.26 No.9 1042-1054 (13 pages)
information called access history for checking all accesses of concurrent threads to a shared variable. Such bottleneck, however, can be improved considerably in case of detecting first races. This paper presents a new on-the-fly technique which detects the first races with reduced bottleneck through checking each accesses with private access histories and finally reporting races with shared access histories. Therefore, this technique makes on-the-fly race detection more efficient and practical. -
순서적 동기화를 포함하는 공유 메모리 병렬프로그램에서의 수행중 최초경합 탐지 기법
박희동, 전용기 한국정보과학회 정보과학회논문지. Journal of KISS (a):computer systems and theory. A 11 Pages
한국정보과학회 정보과학회논문지. Journal of KISS (a):computer systems and theory. A 1999, Vol.26 No.8 884-894 (11 pages)
및 내포 병렬성을 포함하는 공유메모리 병렬 프로그램에서의 경합(race)은 프로그램 수행에서 원하지 않은 비결정성(nondeterminism)을 야기할 수 있기 때문에 반드시 탐지되어져야 한다. 특히 프로그램 수행에서 최초경합(first race)을 탐지하는 것은 중요한데, 그 이유는 이 경합을 제거하면 다른 경합이 나타나지 않을 수도 있기 때문이다. 본 논문에서는 결정적 공유메모리 병렬프로그램을 위한 2단계 수행중 (two-pass on-the-fly) 최초경합 탐지 기법을 제시하며, 이것은 공유메모리 병렬 프로그램의 특정 수행에서 "최초로... -
병행 Java 프로그램의 확장적 경합탐지를 위한 JDI 기반의 투명한 감시도구
김영주, 구인본, 배병진, 전용기, Kim. Young-Joo, Kuh. In-Bon, Bae. Byoung-Jin, Jun. Yong-Kee 한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 6 Pages
한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 2009, No.0 55-60 (6 pages)
병행 Java 프로그램의 경합은 프로그램의 비결정성을 초래하므로 반드시 탐지되어야 한다. 이러한 경합을 수행 중에 탐지하기 위해서는 스레드에 대한 수행양상과 모든 접근사건들을 감시할 수 있어야 한다. 기존의 경합탐지 기법들은 프로그램의 수행중에 기록된 파일들을 분석하거나 대상 프로그램을 수정하여 감시하므로 스레드나 모든 접근사건들에 대한 감시가 현실적으로 어렵다. 본 연구에서는 JDI(Java Debug Interface)를 이용하여 스레드에 대한 수행양상과 모든 접근사건을 감시하여 확장적 경합탐지를 할 수 있는 투명한... -
심볼릭 링크 공격 취약성 검출을 위한 분석 기법
주성용, 안준선, 조장우, Joo. Seong-Yong, Ahn. Joon-Seon, Jo. Jang-Wu 한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 8 Pages
한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 2008, No.0 45-52 (8 pages)
본 논문에서는 심볼릭 링크 공격에 취약한 코드를 정의하고 프로그램 분석 기법을 사용하여 이를 검출하는 방법을 제안한다. 심볼릭 링크 공격을 해결하기 위한 기존의 방법들은 심볼릭 링크 공격을 방어하기 위한 기법들로써 임시 파일에 대한 접근 시 공격이 이루어졌는지에 대한 적절한 검사가 이루어져야 하나, 이를 간과할 경우 공격의 위험에 노출되게 된다. 본 논문에서 제안하는 방법은 심볼릭 링크 공격에 취약한 부분을 자동으로 모두 검출함으로써 프로그래머가 심볼릭 링크 공격을 안전하게 방어할 수 있도록 한다. 제안하는... -
병렬프로그램의 경합조건을 수행 중에 효율적으로 탐지하기 위한 레이블링 기법
박소희, 우종정, 배종민, 전용기, Park. So-Hee, Woo. Jong-Jung, Bae. Jong-Min, Jun. Yong-Kee 한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 10 Pages
한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 2002, No.0 525-534 (10 pages)
병렬프로그램에서 경합 조건은 비결정적인 수행 결과를 초래하므로 디버깅을 위해 반드시 탐지되어야 한다. 이러한 경합을 수행 중에 탐지하는 기존의 기법들은 병행성 정보 생성 시에 공유 자료구조를 사용하여 심각한 병목현상을 발생시키거나, 병행성 정보 비교 시에 내포병렬성의 정도에 의존하는 비효율적인 시간 복잡도를 가진다. 본 논문에서는 개별 자료구조를 사용함으로써 병목현상을 제거하여 병행성 정보를 확장적으로 생성하며, 생성된 병행성 정보의 비교 시간을 상수적인 복잡도로 개선한 새로운 레이블링 기법을... -
스레드 동기화가 없는 OpenMP 디렉티브 프로그램을 위한 효율적인 경합검증 도구
하옥균, 강문혜, 김영주, 전용기, Ha. Ok-Kyoon, Kang. Moon-Hye, Kim. Young-Joo, Jun. Yong-Ki 한국정보과학회 정보과학회논문지. Journal of KIISE. 컴퓨팅의 실제 및 레터 5 Pages
한국정보과학회 정보과학회논문지. Journal of KIISE. 컴퓨팅의 실제 및 레터 2008, Vol.14 No.3 301-305 (5 pages)
OpenMP 디렉티브 프로그램에서 경합은 의도하지 않은 비결정적인 수행결과를 초래하므로 디버깅을 위해서 반드시 탐지되어야 한다. 하지만 이러한 경합을 탐지하는 기존의 도구인 Intel Thread Checker는 경합의 존재를 검증하지 못하며 경합을 탐지하는 비용이 크므로 비실용적이다. 이러한 문제를 해결하기 위해서 본 연구팀은 프로그램의 특성 및 사용자 요구사항의 분석결과를 이용하여 경합을 검증하는 도구를 개발하였으나 스레드 동기화가 없는 모델에서는 최적화되지 못하였다. 본 논문에서는 이러한 선행연구의 결과를 확장하기...
