• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.3
• /
• pp.391-398
• /
• 2012

Detecting races is important for debugging shared-memory parallel programs, because the races result in unintended non-deterministic executions of the programs. Previous on-the-fly techniques to detect races in parallel programs with general inter-thread coordination show serious space overhead which depends on the maximum parallelism of the program. Therefore, this paper presents a loop splitting technique for on-the-fly race detection of parallel programs which is more efficient in space complexity than previous techniques. This loop splitting technique is the debugged program which preserves semantics of the original program. Monitering loop splitting program in on-the-fly can detect first races.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.9
• /
• pp.1042-1054
• /
• 1999

공유메모리 병렬프로그램의 오류수정에서 경합의 탐지는 중요하다. 왜냐하면 경합은 잘못된 수행 결과를 초래할 뿐만 아니라, 의도하지 않은 프로그램의 비결정적인 수행을 유발하여 오류수정을 어렵게 하기 때문이다. 특히 최초경합의 탐지는 더욱 중요하다. 그 이유는 최초경합을 제거함으로써 나머지 경합들을 방지할 수도 있기 때문이다. 기존의 수행중 경합 탐지기법들은 접근별 보고방식을 기반으로 하는데, 이 기법들은 임의 공유변수에 대한 병행 쓰레드들의 모든 접근사건들을 검사하기 위해서 접근역사라는 유일한 공유정보를 이용하므로 탐지과정에 심각한 병목현상을 유발시킨다. 그러나, 최초경합 탐지를 위한 경우 이러한 병목현상은 크게 개선될 수 있다. 본 논문에서는, 각 접근사건 검사를 위해 각 쓰레드에 공유되지 않는 독립적인 접근역사를 별개로 두고, 경합을 보고하는 시점인 쓰레드 합류시점에서만 공유되는 접근역사를 이용하도록 함으로써 병목현상을 개선하여 최초경합을 탐지할 수 있는 새로운 수행중 탐지기법을 제안한다. 그러므로 본 기법은 최초경합을 보다 효율적으로 탐지할 수 있기 때문에 수행중 경합 탐지를 더욱 효율적이고 실용적으로 할 수 있다. Abstract Detecting races is important for debugging shared-memory parallel programs, because the races lead to unintended nondeterministic executions of the programs as well as erroneous result and then make debugging programs difficult. Especially, detecting the first races is more important. The reason is that the removal of the first races can make other races disappear. Most existing on-the-fly techniques to detect the races are based on per- access reporting method incurring the serious central bottleneck, because the techniques use unique shared 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.

• KLA journal
• /
• v.35 no.5 s.288
• /
• pp.34-69
• /
• 1994

본고는 도서관정보대학의 약대 수수교수가 [현대의도서관] 30권 1호(1992)에 발표한 논문을 저자의 승인을 받아 (1994.1.23) 번역한 것으로, 원문제목은「공공도서관비판론의비판적검토」이다. 본고는 일본 내에서 제기되는 공공도서관에 대한 부정적 시각을 저자가 이론적 접근 방법으로 반박한 글이다. 이는 국내 공공도서관의 역할 공유 론에 대한 문제점을 이해하는데 좋은 자료가 될 수 있을 것으로 기대된다. <역자 주>

• KLA journal
• /
• v.35 no.2 s.285
• /
• pp.47-59
• /
• 1994

본 고는 도서관정보대학의 약대 수수교수가 ‘현대의도서관’ 30권1호(1992)에 발표한 논문을 저자의 승인을 받아(1994.1.23) 번역한 것으로, 원문제목은 ‘공공도서관비판론의비판적검토’이다. 본고는 일본내에서 제기되는 공공도서관에 대한 부정적 시각을 저자가 이론적 접근 방법으로 반박한 글이다. 이는 국내 공공도서관의역활 공유론에 대한 문제점을 이해하는데 좋은 자료가 될 수 있을 것으로 기대된다.

• Electronics and Telecommunications Trends
• /
• v.26 no.4
• /
• pp.22-30
• /
• 2011

본 동향은 최근 이슈가 되고 있는 스마트TV 개발동향 및 시장전망에 대하여 알아보고, 스마트TV 검색 서비스에 대하여 소개한다. 스마트TV 검색 서비스는 사용자가 입력한 키워드 검색문의 의미를 해석하여 사용자가 의도하는 콘텐츠를 정확하게 찾아주는 시맨틱 기반 검색 서비스와 동일한 콘텐츠를 시청하고 있는 커뮤니티를 검색하여 콘텐츠에 대한 의견과 정보를 공유하는 소셜 네트워크 기반검색 서비스로 나누어 살펴본다.

• TTA Journal
• /
• s.133
• /
• pp.168-169
• /
• 2011

유명 예능 프로그램 방송작가가 한 인기 아이돌그룹을 비난한 트윗을 놓고 네티즌들의 설전이 벌어졌다. 핵심은 트위터가 무슨 말이든 쓸 수 있는 개인의 공간이냐, 아니냐는 것. 개인만의 공간이라면 어떤 비난을 한들 '당사자의 생각'일 뿐이고, 사회적 공간이라면 자신의 위치와 역할을 감안한 '의도적 행태'라는데 의견이 모아졌다. 결론은 아직 내리지 못했다. 그러나 이미 많은 이해집단들은 트위터, 페이스북, 미투데이 등 소셜 네트워크를 '소셜' 단어 자체에서 나오는 공유, 커뮤니케이션, 관계 노출, 영향력에 집중하며, 이를 통해 새로운 비즈니스 시장을 만들어내고 있다.

• Review of KIISC
• /
• v.12 no.5
• /
• pp.17-26
• /
• 2002

P2P(peer to peer)는 인터넷에서 중간에 서버 컴퓨터를 거치지 않고 정보를 찾는 사람과 정보를 가지고 있는 사람의 컴퓨터를 직접 연결시켜 데이터를 공유할 수 있게 해주는 기술과 그 기술을 응용해서 제공되는 서비스를 말한다. P2P 서비스는 서버 없이 컴퓨터와 컴퓨터간에 데이터를 전송함으로서 의도적이거나 고의적인 공격자에 의해 정보보호 위협에 상당히 노출되어 있는 실정이다. 본 연구는 P2P 서비스 모델의 분류와 현재 제공되고 있는 대표적인 P2P 서비스인 냅스터와 그누텔라의 어플리케이션 구조에 대해 분석하였고 P2P 환경에서 발생할 수 있는 정보보호 위협과 안전한 통신을 위해 요구되는 정보보호 서비스에 대해 고찰하였다.

• Review of KIISC
• /
• v.21 no.4
• /
• pp.47-56
• /
• 2011

개인화 기술은 사용자의 취향과 의도를 분석하여 많은 정보와 서비스 중에서 사용자에게 필요한 부분을 선별해준다. 이를 위해서는 사용자의 개인정보가 요구되는데, 지금까지의 기업 위주로 개인정보를 관리하는 방식은 다양한 문제를 야기했다. VRM은 사용자가 본인의 정보를 직접 관리하는 기술로 필요에 따라 기업이나 친구 같은 제3자와 개인정보를 공유할 수 있는 기술이다. 본 논문에서는 VRM 기술을 소개하고, 관련된 오픈소스 프로젝트 동향을 정리 분석하였다.

• The Journal of the Korea Contents Association
• /
• v.19 no.5
• /
• pp.82-93
• /
• 2019

Fashion cannot encourage co-consumption with other people as a personal item, but it can lead to new consumer needs if fashion sharing service can professionally replace the time and cost of purchasing and managing goods. The purpose of this study is to empirically investigate the factors influencing the acceptance of fashion-sharing services based on the integration theory of user acceptance and utilization (UTAUT), and to discuss the virtuous cycle and sustainability pursuit of resources through the activation of the sharing. In this study, the research model for the acceptance of fashion sharing applications is schematized, and the survey was conducted 300 women aged 20~49 years. The screens of 'Project Anne', a representative fashion sharing service in Korea, were provided as a visual data. Reliability analysis, correlation analysis, confirmatory factor analysis, structural equation analysis, and multiple group analysis were performed using SPSS 23.0 and AMOS 22.0 statistical package for statistical analysis. As a result, efficiency and social influence positively influenced behavioral intention to use, and age has found that efficiency and social influences modulate the intensity of behavioral intention to use. Therefore, for the consumer acceptance and activation of fashion sharing services, marketing activities emphasizing efficiency and strengthening social influence factors are essential. Also, it is necessary to maintain the existing target group, 30~40s, and also construct additional products and price services for the 20s. This study is of academic significance in presenting basic data for empirical research on consumer acceptance of fashion sharing, and suggests a study on the influence relationship among user experience components for real users in the future.

• Journal of Korea Society of Industrial Information Systems
• /
• v.22 no.5
• /
• pp.85-100
• /
• 2017

The Delivery Companies are Facing the Difficulty in their Delivery Services due to the Continuously Increasing Delivery Demand and Insufficient Supply of Delivery Persons to Satisfy the Demand. In Such Circumstances, the Delivery Companies have been Implementing the CSV Service by Introducing the Senior Parcel Delivery Service Creating Jobs for Senior Citizens. This Paper Investigated the Impact of the Quality of Senior Parcel Delivery Service, CSV Activities, and Individual Characteristic Factors of Consumers on the Customers' Confidence and Intention to Use the Delivery Service of Delivery Companies. For the Empirical Analysis, the Online/Offline Questionnaire Survey was Executed with the Individuals who used the Delivery Service and 216 Samples were Finally Selected for Empirical Analysis. In Accordance with the Analysis Results, the Speed, the Quality of Senior Parcel Delivery Service, had Significant Impact on the Customers' Confidence, but Safety had no Significant Impact on it. Next, the Sincerity of CSV Activity by Senior Parcel Delivery Service Companies Showed the Significant Impact on the Customers' Confidence. However, the Adequacy of CSV Activity had No Significant Impact on the Customers' Confidence. Furthermore, the Consumption Value and Ethical Consumption Propensity, the Individual Features of Consumers, Demonstrated the Significant Impact on the Customers' Confidence and also on the Customers' Confidence on and their Intention to use Senior Parcel Delivery Service Companies.