• 정보처리학회논문지D
• /
• 제18D권1호
• /
• pp.35-44
• /
• 2011

메모리 사용에 관련한 오류는 해당 프로그램뿐 아니라 시스템의 오작동을 유발할 수 있다. 특히 발생 빈도가 매우 낮은 일부 메모리 오류의 경우 제대로 된 동작 테스트를 할 수 없어, 오류에 대한 파악 및 수정이 힘들다. 이에 본 논문에서는 실행 프로그램을 역어셈블(Dis-Assemble)하여 만들어진 어셈블리어 코드를 구문 분석하여 명령어 전이도를 도출하고 이에 기반을 두어 메모리 사용 오류 가능성을 검출하는 방법을 제안하였다. 몇 가지 프로그램을 검사대상으로 선정하여 Local Memory Return Error, Null Pointer Access Error, Uninitialized Pointer Access Error를 검출하였으며 그 중 오픈 소스 프로젝트(Open Source Project)인 아파치 웹 서버와 PHP 스크립트 해석기에서도 메모리 사용 오류의 가능성이 있는 코드가 검출되었다.

• 과학기술학연구
• /
• 제19권3호
• /
• pp.1-49
• /
• 2019

2000년에 크루첸과 스토머에 의해 제안된 '인류세' 개념은 다수 학문분과에 큰 반향을 일으키고 있다. 21세기 인류(생명)가 대면하고 있는 생태-존재론적 비상상태에 대한 가장 강력한 문제제기인 인류세 담론에 대한 사회이론의 응답의 한 시도로서, 이 연구는 다음의 문제들을 다루고자 한다. 첫째, 인류세 담론의 핵심의제를 인간 행위능력의 행성적 신장과 임박한 파국이라는 관점에서 분석한다. 둘째, 인류세 담론을 들뢰즈와 가타리적 의미의 어셈블리지(문제-어셈블리지)로 이해하기를 제안한다. 셋째, 해밀턴과 차크라바티의 테제들을 분석함으로써, 인류세가 인문, 사회과학에 가져온 충격을 진단한다. 넷째, 발터 벤야민의 '역사의 천사' 이미지를 분석하고, 파국에 내포된 변형적 생성의 가능성을 감수능력, 혹은 페이션시(patiency) 개념을 중심으로 진단한다. 다섯째, 재귀적/성찰적 파국주의 개념을 제시하고, 파국에 대한 새로운 관점을 제안한다.

• 한국정밀공학회지
• /
• 제18권4호
• /
• pp.9-18
• /
• 2001

• 한국마린엔지니어링학회:학술대회논문집
• /
• 한국마린엔지니어링학회 2011년도 전기공동학술대회 논문집
• /
• pp.305-305
• /
• 2011

• 정보과학회지
• /
• 제31권7호
• /
• pp.41-46
• /
• 2013

• 한국주조공학회지
• /
• 제32권6호
• /
• pp.296-304
• /
• 2012

• 한국표면공학회:학술대회논문집
• /
• 한국표면공학회 2011년도 춘계학술대회 및 Fine pattern PCB 표면 처리 기술 워크샵
• /
• pp.86-86
• /
• 2011

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 1998년도 춘계종합학술대회
• /
• pp.377-382
• /
• 1998

본 논문에서는 암호화 알고리즘인 IDEA(International Data Encryption Algorithm)를 분석하고 TMS320C542 EVM 보드에서 어셈블리 언어로 구현하였다. 또한 수행 속도에 매우 큰 영향을 미치는 핵심 연산인 모듈러 곱셈 연산에 대한 고속 알고리즘을 채택하여 속도 개선을 이루었다.

• 한국전자통신학회논문지
• /
• 제15권1호
• /
• pp.101-106
• /
• 2020

본 연구는 다양한 어셈블리 부품의 용접부 내부결함을 검사하기 위한 초음파 탐상 장비 개발에 관한 것이다. 본 연구에서는 초음파 탐상을 위하여 시스템의 모션제어 S/W, 초음파 송수신기 제어, 결함 판정 기준 설정 등의 계측 S/W 등이 설계되었으며, 양품과 불량품의 비교분석을 하기 위하여 용접결함 불량품 샘플워크 등도 제작되었다. 이와 같은 구성으로 이루어진 시스템을 통하여 어셈블리 부품 용접부의 결함 위치 및 깊이에 대한 자동검사 기능을 수행할 수 있었으며, 종전에 전문가에 의해 이루어졌던 용접부의 내부결함에 대한 판단을 시스템이 수행하도록 하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권5호
• /
• pp.403-410
• /
• 2010

하스켈의 모나드는 순수 함수형 프로그래밍뿐만 아니라 명령형 형태의 프로그래밍도 가능케 하고 있다. 본 연구에서는 순수 함수형 프로그래밍 방식으로 코딩된 어셈블리 언어 인터프리터 구현을 모나드 방식으로 재 구성함으로써 모나드 추상화와 프로그래밍 기법의 특성을 부각시킨다. 모나드 프로그래밍은 스택과 심볼 테이블에 상태 모나드를 적용하는 것과, 이 모나드들을 상태 모나드 트랜스포머를 이용하여 통합 구성하는 두 단계로 이루어진다. 결과적으로, 모나드 프로그래밍에 의한 코드는 순수 함수형 스타일의 코드보다 훨씬 더 간결하고 직관적임을 볼 수 있다.