• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(D)
• /
• pp.306-307
• /
• 2011

경합 상황, 교착 상태 등과 같은 동시 프로그램의 오류는 기존의 순차 프로그램에 적용되는 테스팅 방법으로는 탐지 및 재현이 힘들다. 하이젠버그라 불리는 이러한 오류는 프로그램의 안정성 및 신뢰성을 떨어뜨리는 원인이 될 수 있으므로 반드시 탐지하고 재현해야 한다. 본 논문은 SAT-solver와 경합 상태 탐지를 위한 Happens-before 알고리즘을 사용하여 ANSI-C 프로그램 내 존재하는 이러한 오류를 탐지하고 재현할 수 있는 방법을 제안한다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2001년도 춘계학술대회논문집:21세기 신지식정보의 창출
• /
• pp.300-310
• /
• 2001

본 논문에서는 가변하는 닻점을 이용하는 새로운 색역 사상 방법을 제안한다. 제안된 방법은 기존의 닻점을 사용하는 색역 사상에서 발생하는 휘도 범위의 축소를 가변하는 닻점을 이용하여 보상하여 준다. 또한 이과정에서 연속 계조 칼라를 재현하기 위하여 색역을 여러 영역으로 구분하여 각각의 영역에서 다른 닻점을 사용하는 다중 닻점 방식을 제안한다. 따라서 본 논문에서는 저가의 칼라 출력장치에서 고화질의 칼라를 재현할 수 있게 한다.

• 전자진흥
• /
• 제4권11호
• /
• pp.71-74
• /
• 1984

• 인터넷정보학회지
• /
• 제5권1호
• /
• pp.112-117
• /
• 2004

• 인터넷정보학회지
• /
• 제4권1호
• /
• pp.81-89
• /
• 2003

• 인터넷정보학회지
• /
• 제18권1호
• /
• pp.19-26
• /
• 2017

• 정보처리학회지
• /
• 제8권6호
• /
• pp.80-83
• /
• 2001

• 정보과학회지
• /
• 제12권10호
• /
• pp.101-108
• /
• 1994

• 정보과학회지
• /
• 제23권9호
• /
• pp.13-17
• /
• 2005

• 인터넷정보학회지
• /
• 제13권2호
• /
• pp.31-38
• /
• 2012