Author

Inki Hong

20 papers · 1996–2015

1996peak 3 in 19962015

Frequent co-authors

Papers

showing 1–20 of 20 RSS

Power optimization of variable voltage core-based systems

Inki Hong, Darko Kirovski, Gang Qu +2 more

Hardware and Architecture · 1998 · cited 203× · DOI ↗ · more like this ·

The growing class of portable systems, such as personal computing and communication devices, has resulted in a new set of system design requirements, mainly characterized by dominant importance of power minimization and design reuse. We develop the design methodology for the low power core-based real-time system-on-chip based on dynamically variable voltage hardware. The key challenge is to develop effective scheduling techniques that treat voltage as a variable to be determined, in addition to the conventional task scheduling and allocation. Our synthesis technique also addresses the selection of the processor core and the determination of the instruction and data cache size and configuration so as to fully exploit dynamically variable voltage hardware, which result in significantly lower power consumption for a set of target applications than existing techniques. The highlight of the…

Synthesis techniques for low-power hard real-time systems on variable voltage processors

Inki Hong, Gang Qu, Miodrag Potkonjak +1 more

Hardware and Architecture · Digital Repository at the University of Maryland (University of Maryland College Park) · 27 Nov 2002 · cited 186× · DOI ↗ · more like this ·

The energy efficiency of systems-on-a-chip can be much improved if one were to vary the supply voltage dynamically at run time. We describe the synthesis of systems-on-a-chip based on core processors, while treating voltage (and correspondingly the clock frequency) as a variable to be scheduled along with the computation tasks during the static scheduling step. In addition to describing the complete synthesis design flow for these variable voltage systems, we focus on the problem of doing the voltage scheduling while taking into account the inherent limitation on the rates at which the voltage and clock frequency can be changed by the power supply controllers and clock generators. Taking these limits on rate of change into account is crucial, since changing the voltage by even a volt may take time equivalent to 100 s to 10000 s of instructions on modern processors. We present both an…

Behavioral synthesis techniques for intellectual property protection

Farinaz Koushanfar, Inki Hong, Miodrag Potkonjak

Hardware and Architecture · ACM Transactions on Design Automation of Electronic Systems · July 2005 · cited 176× · DOI ↗ · more like this ·

We introduce dynamic watermarking techniques for protecting the value of intellectual property of CAD and compilation tools and reusable design components. The essence of the new approach is the addition of a set of design and timing constraints which encodes the author's signature. The constraints are selected in such a way that they result in a minimal hardware overhead while embedding a unique signature that is difficult to remove and forge. Techniques are applicable in conjunction with an arbitrary behavioral synthesis task such as scheduling, assignment, allocation, transformation, and template matching.On a large set of design examples, studies indicate the effectiveness of the new approach that results in signature data that is highly resilient, difficult to detect and remove, and yet is easy to verify and can be embedded in designs with very low hardware overhead. For example…

On-line scheduling of hard real-time tasks on variable voltage processor

Inki Hong, Miodrag Potkonjak, Mani Srivastava

Hardware and Architecture · 1998 · cited 169× · DOI ↗ · more like this ·

We consider the problem of schtifing the mixed worMoad of both sporadic (on-fine) and periodic (off-fine) tasks on variable voltage processor to optimize power consumption while ensuring that periodic tasks meet their destines and to accept as many sporadic tasks, which can be guaranteed to meet their destines, as possible. The proposed efficient dgonthms restit in the scheduling solutions, which are very close to the minimum bound achievable with the dynamictiy variable voltage approach. The effectiventis of the proposed dgonthrns is shown on extensive experiments with rd-fife design examples.

Ultrafast Elastic Motion Correction via Motion Deblurring

Inki Hong, J.P. Jones, Michael Casey

Computer Vision and Pattern Recognition · November 2014 · cited 24× · DOI ↗ · more like this ·

Patient motion during PET studies degrades image quality. Some types of motion (e.g. brain) can be modeled as rigid-body transformations, whereas others (e.g. respiratory and cardiac), are more complex, involve deformations of the imaged organs, and require Elastic Motion Correction (EMC). The conventional way (cEMC) to handle the dense information needed for EMC is to divide the acquired data into multiple respiratory, cardiac, or dual “gates”, where motion is minimal within each gate. Motion fields can then be calculated between a reference gate and all other gates via optical flow. These motion fields can then be used in a cEMC iterative reconstruction process by warping the reference image to each gated image before forward projection and transposing the gated correction factors back to the reference image after backward projection. In this algorithm, the number of forward and…

Power optimization in disk-based real-time application specific systems

Inki Hong, Miodrag Potkonjak

Hardware and Architecture · International Conference on Computer Aided Design · 10 Nov 1996 · cited 22× · DOI ↗ · more like this ·

A flurry of modern communications, video, and DSP applications, such as world wide web, interactive high resolution television, video-on-demand, video conferencing, and wireless communications, are mainly data management oriented. In this type of systems, magnetic disk performance is quickly becoming a primary bottleneck which dictates key design metrics of the overall system. At the same time, technology trends imply reduced importance of classical design objectives, such as area and throughput, and together with consumers demand for portability promote power consumption as the principal design metric. While numerous power optimization techniques have been proposed at all levels of design process abstractions for electronic components, until now, power minimization in mixed mechanical-electronic subsystems, such as disks, has not been addressed. We first analyze optimization degrees of…

Exploiting synergies of multiple crossovers: initial studies

Inki Hong, Andrew B. Kahng, Byung Ro Moon

Artificial Intelligence · 19 Nov 2002 · cited 18× · DOI ↗ · more like this ·

Genetic algorithms (GAs) are believed to exploit the synergy between different traversals of the solution space that are afforded by crossover and mutation operators. While dozens of different crossovers are known, comparatively little attention has been devoted to improving performance by using multiple crossover operators within a given GA implementation. Here, we examine various aspects of combining different crossovers; we demonstrate that mixtures of crossovers can outperform any single crossover, and that choosing appropriate mixing proportions is critical for good performance. We conjecture that good crossover mixtures are characterized by &quot;balance&quot; in the crossovers&apos; respective influences in the population, and explore three adaptive strategies for mixing crossovers. 1 Introduction The crossover and mutation operators of genetic algorithms (GAs)…

Power optimization using divide-and-conquer techniques for minimization of the number of operations

Inki Hong, Miodrag Potkonjak, Ramesh Karri

Hardware and Architecture · International Conference on Computer Aided Design · 13 Nov 1997 · cited 9× · DOI ↗ · more like this ·

We introduce an approach for power optimization using a set of compilation and architectural techniques. The key technical innovation is a novel divide-and-conquer compilation technique to minimize the number of operations for general computations. Our technique optimizes not only a significantly wider set of computations than the previously published techniques, but also outperforms (or performs at least as well as other techniques) on all examples. Anong the architectural dimension, we investigate coordinated impact of compilation techniques on the number of processors which provide optimal trade-off between cost and power. We demonstrate that proper compilation techniques can significantly reduce power with bounded hardware cost. The effectiveness of all techniques and algorithms is documented on numerous real-life designs.

Throughput optimization of general non-linear computations

Inki Hong, Miodrag Potkonjak, L.M. Guerra

Hardware and Architecture · International Conference on Computer Aided Design · 7 Nov 1999 · cited 2× · DOI ↗ · more like this ·

This paper addresses an optimal technique for throughput optimization of general non-linear data flow computations using a set of transformations. Throughput is widely recognized as the most important design metric of the modern DSP and communication applications. Numerous approaches have been proposed for throughput optimization, but most were restricted to limited classes of computations. They have limited effectiveness when applied to large complex non-linear DSP and communication computations. The new technique is used as an optimization engine in a divide-and-conquer global approach for throughput optimization. We demonstrate the effectiveness of the new technique on numerous real-life non-linear designs.

Throughput optimization in disk-based real-time application specific systems

Stephen Docy, Inki Hong, Miodrag Potkonjak

Computer Networks and Communications · International Symposium on Systems Synthesis · 6 Nov 1996 · cited 1× · DOI ↗ · more like this ·

Traditionally, application specific computations have been focusing on numerically intensive data manipulation. Modern communications and DSP applications, such as WWW, and video-on-demand, however, are increasingly more data management oriented. At the same time, the technological trends indicate that magnetic disk system performance is rapidly becoming a principal component in overall system behavior. We initiate system level research in synthesis of disk-based application specific system by introducing cost and throughput optimization problems for synthesis of diskbased application specific systems. We formulate, establish computational complexity, and develop efficient optimization algorithms for data assignment on a single

A Politics Mash-Up

Inki Hong

Information Systems · 9 Jan 2015 · cited 0× · OpenAlex ↗ · more like this ·

A mashup in the worldwide web is an application that collects data from multiple sources of information and presents them in a unique way. This paper describes a mashup on politics that integrates both geographical and chronological dimensions regarding the 2008 presidential election of the United States of America. Users of this mashup can browse through news articles, poll results, donations/contributions, and so forth arranged geographically over a time frame. It helps users of the system to organize diverse pieces of information, and facilitates geographical/chronological interpretation which is not apparent and hidden behind the disorganized scene. Related Work Most of the large market share portal sites have made some form of election section. Yahoo! has opened a democratic candidate mashup

Fast 3-D motion correction using the characteristics of motion in rigid body

Keumsil Lee, Steven G. Potkin, David B. Keator +3 more

Computer Vision and Pattern Recognition · October 2008 · cited 0× · DOI ↗ · more like this ·

The proposed method introduced in this study is to achieve fast the motion correction that the computation costs of the process had been a burden of implementation of motion compensation. With pre-determinable ranges of rotation angles of φ and θ, and the motion transformation matrix that can be calculated at preprocessing stage before executing image reconstruction algorithm, motion correction can be performed fast. In addition, with the reduction of the computational cost shown in this study, motion correction is achieved in sinogram domain. This method is also beneficial to use of iterative expectation maximization reconstruction algorithms since a motion corrected sensitivity image can be generated with reduced computations.

Abstract Throughput Optimization of General Non-Linear Computations

Inki Hong, Miodrag Potkonjaky, Lisa M. Guerraz

Hardware and Architecture · 3 Apr 2008 · cited 0× · OpenAlex ↗ · more like this ·

This paper addresses an optimal technique for throughput optimization of general non-linear data flow computations using a set of transformations. Throughput is widely recognized as the most important design metric of the modern DSP and communication applications. Numerous approaches have been proposed for throughput optimization, but most was restricted to limited classes of computations. They have limited effectiveness when applied to large complex non-linear DSP and communication computations. The new technique is used as an optimization engine in a divide-andconquer global approach for throughput optimization. We demonstrate the effectiveness of the new technique on numerous real-life non-linear designs. 1

New Matching Scheme for Panorama Image: A Simulation Study

Jeong‐Seok Kim, Sung-Taek Chung, Inki Hong

Computer Vision and Pattern Recognition · Journal of Biomedical Engineering Research · 2007 · cited 0× · DOI ↗ · more like this ·

Our findings indicate that Internet gamblers who exceed deposit limits constitute a group of bettors willing to take high risks; yet, surprisingly, they appear to do this rather successfully because their percentage of losses is lower than others in the sample. However, some of these gamblers exhibit some poor outcomes. Deposit limits might be necessary harm reduction measures to prevent the loss of extremely large amounts of money and cases of bankruptcy. We discuss how these limits might be modified based on our findings.

On algorithms for minimum-cost quickest paths with multiple delay-bounds

Haksuh Kim, Byung-Jun Ahn, Soohyun Park +2 more

Computer Networks and Communications · 10 Jun 2004 · cited 0× · DOI ↗ · more like this ·

The quickest path problem deals with the transmission of a message of size σ from a source to a destination with the minimum end-to-end delay over a network with bandwidth and delay constraints on the links. We adapt properties of the quickest path to solve the delay-bounded minimum-cost (DBMC) path problem that is known to be the NP-hard. In this paper, we propose two efficient and simple algorithms, DBMCQP and DBMCQRT. DBMCQP computes a DBMC quickest path for a given message size σ with O(rm + rnlogn), and DBMCQRT construct DBMC routing tables taking into account multiple delay-bounds for any size of message with O(kr2), where r, n, m, and k are the number of distinct link-bandwidths, nodes, links of the network, and the number of delay-bounds, respectively.

Symbolic debugging of globally optimized behavioral specifications

Inki Hong, Darko Kirovski, Miodrag Potkonjak +1 more

Hardware and Architecture · 7 Nov 2002 · cited 0× · DOI ↗ · more like this ·

Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the source level. In response to a user query, the debugger must be able to retrieve and display the value of a source variable in a manner consistent with what the user expects with respect to the source statement where execution has halted. However, when a behavioral specification has been optimized using transformations, values of variables may either be inaccessible in the run-time state or inconsistent with what the user expects. We address the problem that pertains to the retrieval of source values for the globally optimized behavioral specifications. We describe how transformations affect the retrieval of source values. We present an approach for a symbolic debugger to retrieve and display the value of a…

Symbolic debugging of embedded hardware and software

Farinaz Koushanfar, Darko Kirovski, Inki Hong +2 more

Hardware and Architecture · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · March 2001 · cited 0× · DOI ↗ · more like this ·

Symbolic debuggers are system-development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the source level. In response to a user query, the debugger must retrieve and display the value of a source variable in a manner consistent with user expectations with respect to the source statement where execution has halted. However, when a behavioral specification has been optimized using transformations, values of variables may either be inaccessible in the runtime state or inconsistent with user expectations. We address the problem that pertains to the retrieval of source values for the globally optimized behavioral specifications. We present a new approach for symbolic debugging. The implementation of the new debugging approach poses several optimization tasks. We formulate the optimization tasks and develop…

Power optimization of real-time embedded systems on variable voltage processor

Inki Hong, Miodrag Potkonjak

Hardware and Architecture · 2001 · cited 0× · OpenAlex ↗ · more like this ·

The growing class of portable systems, such as personal computing and communication devices, demands data- and computation-intensive functionalities with low power consumption. Such systems require design flexibility which result in the need for implementation on programmable processor platform. The main goal of this thesis is to present a methodology and a set of tools that support low-power core-based system design. This thesis introduces an approach based on a set of compilation and operating system-level techniques. A collection of compilation techniques is developed to optimize throughput and the number of operations for general non-linear computations, the two most important components for low power consumption. Most of the previous results were restricted to limited classes of computations. This thesis addresses an optimal technique for throughput optimization of general…

BEfficient Block Scheduling to Minimize Context Switching Time for Programmable Embedded Processors,^ Des

Inki Hong

Hardware and Architecture · 1999 · cited 0× · OpenAlex ↗ · more like this ·

Abstract. Scheduling is one of the most often addressed optimization problems in DSP compilation, behavioral synthesis, and system-level synthesis research. With the rapid pace of changes in modern DSP applications requirements and implementation technologies, however, new types of scheduling challenges arise. This paper is concerned with the problem of scheduling blocks of computations in order to optimize the efficiency of their execution on programmable embedded systems under a realistic timing model of their processors. We describe an effective scheme for scheduling the blocks of any computation on a given system architecture and with a specified algorithm implementing each block. We also present algorithmic techniques for performing optimal block scheduling simultaneously with optimal architecture and algorithm selection. Our techniques address the block scheduling problem for both…

Power Optimization using Minimization of the Number of Operations

Inki Hong, Miodrag Potkonjak

Hardware and Architecture · 1996 · cited 0× · OpenAlex ↗ · more like this ·

Design of modern portable application specific systems is often defined by their demand for low power, flexibility, cost sensitivity, and by their DSP nature. Therefore, for economic realization of portable applications effective low power compilation and architectural methodologies are of prime importance. In this paper we introduce an approach for power minimization using a set of compilation and architectural techniques. The key technical innovation is a compilation technique for minimization of the number of operations. We have developed a new divide and conquer technique which combines and coordinates optimization and enabling effects of several transformations so that the number of operations in each logical partition is minimized. On a set of benchmark examples the number of operations is reduced by average of 42.3%, which results in reduction in power consumption by factor of…