• Journal of the Korea Society of Computer and Information
• /
• 제22권11호
• /
• pp.1-7
• /
• 2017

In this paper, we introduce three monitoring filtering techniques which reduce the overheads of dynamic data race detection. It is well known that detecting data races dynamically in multi-threaded programs is quite hard and troublesome task, because the dynamic detection techniques need to monitor all execution of a multi-threaded program and to analyse every conflicting memory and thread operations in the program. Thus, the main drawback of the dynamic analysis for detecting data races is the heavy additional time and space overheads for running the program. For the practicality, we also empirically compare the efficiency of three monitoring filtering techniques. The results using OpenMP benchmarks show that the filtering techniques are practical for dynamic data race detection, since they reduce the average runtime overhead to under 10% of that of the pure detection.

• Asia-Pacific Journal of Business
• /
• 제1권1호
• /
• pp.61-72
• /
• 2010

A view of cultural heritage as a form of capital considers the long term, dynamic, evolutionary, inter-temporal and inter-generational aspects of cultural heritage. The principles of sustainability provide a basis on the broader issue of culture in economic development. They might be capable of specifying a pattern of development that is "culturally sustainable" in the same way as somewhat similar set of criteria derived for the natural world, the criteria for defining ecologically and environmentally sustainable development. Thus we might accept the principles of material and non-material advancement, intergenerational and intra-generational equity, the maintenance of cultural diversity, the precautionary principle, and the recognition of system interdependence as benchmarks in assessing a cultural development process.

• Journal of the Korea Society of Computer and Information
• /
• 제20권10호
• /
• pp.31-38
• /
• 2015

In this paper, we propose the ensemble-based classification model which extracts just new data patterns from the streaming-data by using clustering and generates new classification models to be added to the ensemble in order to reduce the number of data labeling while it keeps the accuracy of the existing system. The proposed technique performs clustering of similar patterned data from streaming data. It performs the data labeling to each cluster at the point when a certain amount of data has been gathered. The proposed technique applies the K-NN technique to the classification model unit in order to keep the accuracy of the existing system while it uses a small amount of data. The proposed technique is efficient as using about 3% less data comparing with the existing technique as shown the simulation results for benchmarks, thereby using clustering.

• Interaction and multiscale mechanics
• /
• 제7권1호
• /
• pp.525-542
• /
• 2014

The state-based peridynamics is considered a nonlocal method in which the equations of motion utilize integral form as opposed to the partial differential equations in the classical continuum mechanics. As a result, the enforcement of boundary conditions in solid mechanics analyses cannot follow the standard way as in a classical continuum theory. In this paper, a new approach for the boundary condition enforcement in the state-based peridynamic formulation is presented. The new method is first formulated based on a convex kernel approximation to restore the Kronecker-delta property on the boundary in 1-D case. The convex kernel approximation is further localized near the boundary to meet the condition that recovers the correct boundary particle forces. The new formulation is extended to the two-dimensional problem and is shown to reserve the conservation of linear momentum and angular momentum. Three numerical benchmarks are provided to demonstrate the effectiveness and accuracy of the proposed approach.

• Journal of information and communication convergence engineering
• /
• 제5권1호
• /
• pp.59-63
• /
• 2007

In this paper, a CLB-based CPLD low-power technology mapping algorithm considered a Trade-off is proposed. To perform low-power technology mapping for CPLDs, a given Boolean network has to be represented in a DAG. The proposed algorithm consists of three steps. In the first step, TD(Transition Density) calculation has to be performed. Total power consumption is obtained by calculating the switching activity of each node in a DAG. In the second step, the feasible clusters are generated by considering the following conditions: the number of inputs and outputs, the number of OR terms for CLB within a CPLD. The common node cluster merging method, the node separation method, and the node duplication method are used to produce the feasible clusters. In the final step, low-power technology mapping based on the CLBs packs the feasible clusters. The proposed algorithm is examined using SIS benchmarks. When the number of OR terms is five, the experiment results show that power consumption is reduced by 30.73% compared with TEMPLA, and by 17.11 % compared with PLA mapping.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• 제62권2호
• /
• pp.252-256
• /
• 2013

In order to overcome the complexity and performance limit problems of superscalar processors, the multi-core architecture has been prevalent recently. Usually, the number of cores mostly used for the multi-core processor architecture ranges from 2 to 16. However in the near future, more than 32-cores are likely to be utilized, which is called as many-core processor architecture. Using SPEC 2000 benchmarks as input, the trace-driven simulation has been performed for the 32 to 1024 many-core architectures extensively. For 1024-cores, the average performance scores 15.7 IPC, but the performance increase rate is saturated.

• Journal of Information Processing Systems
• /
• 제10권4호
• /
• pp.523-542
• /
• 2014

One-dimensional arrays with subscripts formed by induction variables in real programs appear quite frequently. For most famous data dependence testing methods, checking if integer-valued solutions exist for one-dimensional arrays with references created by induction variable is very difficult. The I test, which is a refined combination of the GCD and Banerjee tests, is an efficient and precise data dependence testing technique to compute if integer-valued solutions exist for one-dimensional arrays with constant bounds and single increments. In this paper, the non-continuous I test, which is an extension of the I test, is proposed to figure out whether there are integer-valued solutions for one-dimensional arrays with constant bounds and non-sing ularincrements or not. Experiments with the benchmarks that have been cited from Livermore and Vector Loop, reveal that there are definitive results for 67 pairs of one-dimensional arrays that were tested.

• Nuclear Engineering and Technology
• /
• 제49권6호
• /
• pp.1234-1239
• /
• 2017

Basic research on the accelerator-driven system is conducted by combining $^{235}U$-fueled and $^{232}Th$-loaded cores in the Kyoto University Critical Assembly with the pulsed neutron generator (14 MeV neutrons) and the proton beam accelerator (100 MeV protons with a heavy metal target). The results of experimental subcriticality are presented with a wide range of subcriticality level between near critical and 10,000 pcm, as obtained by the pulsed neutron source method, the Feynman-${\alpha}$ method, and the neutron source multiplication method.

• Proceedings of the Korea Information Processing Society Conference
• /
• 한국정보처리학회 2018년도 춘계학술발표대회
• /
• pp.22-25
• /
• 2018

상용 벤치마크에 의한 PC 의 성능 평가는 다양한 측면의 성능 분석이 가능하지만 모든 벤치마크들이 동일한 성능 요소에 대하여 동일한 성능 평가 결과를 나타내는 것은 아니다. 벤치마크들은 각자의 특성에 따라서 사용자의 응용 프로그램의 활용 측면, 또는 하드웨어 구성요소 측면에서 서로 다른 방법으로 테스트를 수행하고, 그 결과를 컴퓨터의 성능으로 도출하도록 되어 있다. 본 연구에서는 응용 프로그램 사용자 측면에서 성능을 평가하는 벤치마크인 SYSmark 2014 와 PCMark 8, 그리고 Passmark PerformanceTest 9 를 서로 다른 CPU 사양을 가지는 PC 들에 대하여 실행하고, 그 결과를 분석함으로써 하드웨어 측면에서의 성능 평가 결과와 사용자 측면에서의 성능 평가 결과와의 연관성을 분석하였다. 벤치마크별로 성능 평가를 수행한 결과, SYSmark 2014 와 PCMark 8 은 CPU 사양에 따른 하드웨어 구성요소 측면에서의 변화에 대한 Passmark PerformanceTest 9 결과치의 차이에 비하여 상대적으로 적은 성능 차이를 보인다. 이러한 벤치마크 결과는 응용 프로그램이나 소프트웨어를 활용하는 사용자 측면에서의 성능이 하드웨어 측면에서의 성능 차이에 반드시 비례하는 결과를 나타내지는 않는다는 사실을 분석적으로 보여준다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 한국정보처리학회 2019년도 추계학술발표대회
• /
• pp.118-120
• /
• 2019

특정 어플리케이션을 주로 실행하는 소규모 고성능 컴퓨팅 시스템을 구축하는데 있어서 가장 중요한 점은 해당 어플리케이션의 효율을 최대한 끌어내기 위한 하드웨어를 선택하는 것이다. 하지만 최근 고성능 컴퓨팅을 위한 프로세서의 다양성은 점점 심화되고 있고 이는 최적의 프로세서 선택 및 시스템의 구성을 힘들게 하고 있다. 이에 본 논문에서는 고성능 컴퓨팅에 주로 사용되는 주요한 프로세서를 사용한 시스템을 NAS 병렬 벤치마크를 기반으로 그 특성과 성능을 분석하여 응용프로그램의 특성에 적합한 프로세서 및 시스템의 선택을 지원하고자 한다.