• Journal of KIISE:Software and Applications
• /
• v.36 no.7
• /
• pp.590-606
• /
• 2009

We present a static analyzer that detects memory leaks in C programs. It achieves relatively high accuracy at a relatively low cost on SPEC2000 benchmarks and several open-source software packages, demonstrating its practicality and competitive edge against other reported analyzers: for a set of benchmarks totaling 1,777 KLOCs, it found 332 bugs with 47 additional false positives (a 12.4% false-positive ratio), and the average analysis speed was 720 LOC/sec. We separately analyze each procedure's memory behavior into a summary that is used in analyzing its call sites. Each procedural summary is parameterized by the procedure's call context so that it can be instantiated at different call sites. What information to capture in each procedural summary has been carefully tuned so that the summary should not lose any common memory-leak-related behaviors in real-world C program. Because each procedure is summarized by conventional fixpoint iteration over the abstract semantics ('a la abstract interpretation), the analyzer naturally handles arbitrary call cycles from direct or indirect recursive calls.

• Bulletin of the Korean Space Science Society
• /
• 1994.04a
• /
• pp.24-24
• /
• 1994

No Abstract. See Full-text

• Proceedings of the Korean Society of Grassland Science Conference
• /
• 2005.06a
• /
• pp.218-219
• /
• 2005

• Journal of the Korea Fashion and Costume Design Association
• /
• v.11 no.3
• /
• pp.17-25
• /
• 2009

The purpose of this study is to help understanding of abstract patterns and to play a guideline's role in the development of designs and the prediction of trends for present and future fashion designers and textile designers. The summary of this study's results is like followings. Formative characteristics of abstract pattern in 2000's fashion are Impromptu, Anti-mechanism, Superimposing, Disorder. First, Impromptu is rebounce against uniformity, mechanism, man-created beauty Second, Anti-mechanism represents unfinishing, unbalance, inaccuracy and relates with each traditional of nation or ethnic group. Third, Presupposing transparency Superimposing offsets each patterns. So Their images are ambiguity, ununiformity, unequality, incompletion, uncertainty and so on. Fourth, Disorder breaks and ignores physical balance, rule, order and so on. These images represent uncertainty, freedom, naturality. From this result, I can interpret that these images are representing of humanism reacting about uniformity, mechanism, man-created beauty, completeness of modernism since the Industrial Revolution.

• Journal of applied mathematics & informatics
• /
• v.10 no.1_2
• /
• pp.333-351
• /
• 2002

This paper introduces a search method based on conceptual graph. A hyperlink information is essential to construct conceptual graph in web. The information is very useful as it provides summary and further linkage to construct conceptual graph that has been provided by human. It also has a property which shows review, relation, hierarchy, generality, and visibility. Using this property, we extracted the keywords of web documents and made up of the conceptual graph among the keywords sampled from web pages. This paper extracts the keywords of web pages using anchor text one out of hyperlink information and makes hyperlink of web pages abstract as the link relation between keywords of each web page. 1 suggest this useful search method providing querying word extension or domain knowledge by conceptual graph of keywords. Domain knowledge was conceptualized knowledged as the conceptual graph. Then it is not listing web documents which is the defect of previous search system. And it gives the index of concept associating with querying word.

• International Journal of Advanced Culture Technology
• /
• v.12 no.3
• /
• pp.336-344
• /
• 2024

The purpose of this study is to analyze the need of college students for experiential learning, collaborative learning, and enquiry-based learning. To achieve this goal, a survey was conducted with 308 college students. The need for experience, collaboration, and enquiry-based learning was comprehensively analyzed through t-tests, Borich needs analysis, and priority determination using The Locus for Focus model. The research findings are as follows: First, in Borich need analysis, the highest needs were identified for deep learning, self-directed learning, connecting theoretical knowledge with practical application, immersion, and application to real-life situations. Second, in The Locus for Focus model, the highest needs were found for abstract conceptualization, interest, conflict management, self-directed learning, and curiosity. In summary, since self-directed learning showed the highest priority simultaneously in Borich need analysis and The Locus for Focus model, it should be considered as the most prioritized item.

• Journal of the Korea Fashion and Costume Design Association
• /
• v.12 no.2
• /
• pp.107-118
• /
• 2010

The purpose of this study is to be data and to help understanding of pattern of Korean, Chinese and Japanese traditional dress. The methods of this study are the study of academic literatures as well as practical study through the analysis of case studies about actual works. The summary of this study's results is like followings. First, standard of Pattern are nature, mam-made in motif object, Naturalistic, Geometric, Stylized, Abstract in motif express, Order, Disorder in pattern express. Second, a point of sameness of motif object in traditional dress of three nations were that nature and letter abstractive of mam-made is a lot. but motif of Japan was used in daily life motif of mam-made which was not in Korea and China Third, commonly, motif expression of three nations were developed Naturalistic, Stylized. but in Naturalistic, Korea was simple, plane, China was three-dimensional, Japan was expressed super realism. Fourth, as formative aesthetic of Pattern, Korea is natural, plane, simple and symbolic, China is gorgeous, three-dimensional, immaculacy, filling and symbolic, Japan is delicate, complicated, decoration and symbolic.

• Journal of Korea Multimedia Society
• /
• v.6 no.5
• /
• pp.797-804
• /
• 2003

Scene change detection algorithm, which is very important preprocessing technique for video indexing and retrieval and determines the performance of video database system, is being studied widely. In this paper, we propose a more effective abrupt scene change detection, which is robust to large motion, sudden change of light and successive abrupt shot transitions rapidly. And we also propose a new gradual scene change detection algorithm, which can detect dissolve, and fade in/out precisely. Furthermore, we also propose a representative frame extraction algorithm which performs content-based video summary by novel DCT DC image buffering technique and accumulative histogram intersection measure (AHIM).

• Journal of the Korean Society for information Management
• /
• v.18 no.2
• /
• pp.57-76
• /
• 2001

As the rapid develoment of internet and information technology, the traditional library has been altered to the digital content service based on the world wide web. This paper proposes a design and implementation of an Artcle Union Catalog System(AUCS) based on metadata. The metadata set for the AUCS consists of twelve Dublin Core elements and one holdings element. The qualifiers of the proposed metadata elements are also represented. The AUCS system has an online cooperated cataloging system using the web interface or the 239.50 protocol, an union cataloging management system, and an integrated information retrieved system service. The integrated search and retrieval service of the AUCS displays not only the summary and detailed bibliographic information, but also the abstract, the table of contents, the digital content, and the copylfax service.

• Physical Therapy Rehabilitation Science
• /
• v.10 no.2
• /
• pp.185-196
• /
• 2021

Objective: Falling is one of main accident to facilitate the physical injuries in order adults. The purpose of the systematic review was to determine the effects of postural balance training whether the recovery of falls in elderly with normal physical function or not throughout summing the selected studies quantitatively. Design: A systematic review Methods: MEDLINE and other four databases were searched up to April 20, 2021 and randomized controlled trials (RCTs) evaluating postural balance approaches on fall risks in elderly. The researched studies excluded the double studies, titles and abstract, and finally full-reported study. The selected RCTs studies were extracted characteristics of the studies and summary of results based on PICOS-SD (population, intervention, comparison, outcomes, and setting- study design) model to synthesize the papers qualitatively. Results: The review involved 22 RCT reports with 4,847 community older adults aged 65 years or over. Nineteen of the selected RCT studies reported dual or multimodal exercises show the beneficial effect for older adults compared to one-type treatment or no intervention. All of selected showed low risk in the selection, attrition, and reporting bias. However, detection bias showed low risk at 75% records of the involved RCTs and performance bias was low risk at only three records. Conclusions: The results of the systematic review propose that a standardized therapeutic approach and the intensity are needed for improving risk of falls in older adults.