WorldCat Identities

Hong, Seongsoo

Overview
Works: 20 works in 45 publications in 1 language and 872 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author
Publication Timeline
.
Most widely held works by Seongsoo Hong
Real-time and embedded computing systems and applications : 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers by Jing Chen( Book )

16 editions published between 2003 and 2005 in English and held by 177 WorldCat member libraries worldwide

This volume contains the 37 papers presented at the 9th International Con- rence on Real-Time and Embedded Computing Systems and Applications (RT- CSA 2003). RTCSA is an international conference organized for scientists and researchers from both academia and industry to hold intensive discussions on advancing technologies topics on real-time systems, embedded systems, ubiq- tous/pervasive computing, and related topics. RTCSA 2003 was held at the Department of Electrical Engineering of National Cheng Kung University in Taiwan. Paper submissions were well distributed over the various aspects of real-time computing and embedded system technologies. There were more than 100 participants from all over the world. The papers, including 28 regular papers and 9 short papers are grouped into thecategoriesofscheduling,networkingandcommunication,embeddedsystems, pervasive/ubiquitous computing, systems and architectures, resource mana- ment, ?le systems and databases, performance analysis, and tools and de- lopment. The grouping is basically in accordance with the conference program. Earlier versions of these papers were published in the conference proceedings. However, some papers in this volume have been modi?ed or improved by the authors, in various aspects, based on comments and feedback received at the conference. It is our sincere hope that researchers and developers will bene?t from these papers. We would like to thank all the authors of the papers for their contribution. We thank the members of the program committee and the reviewers for their excellent work in evaluating the submissions. We are also very grateful to all the members of the organizing committees for their help, guidance and support
Real-Time and Embedded Computing Systems and Applications 9th International Conference, RTCSA 2003, Tainan City, Taiwan, February 18-20, 2003. Revised Papers by Jing Chen( )

1 edition published in 2004 in English and held by 30 WorldCat member libraries worldwide

Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2002) : proceedings : 29 April-1 May, 2002, Washington, D.C. by International Symposium on Object-Oriented Real-Time Distributed Computing( Book )

4 editions published in 2002 in English and held by 13 WorldCat member libraries worldwide

Compiling real-time programs into schedulable code by Seongsoo Hong( Book )

1 edition published in 1992 in English and held by 4 WorldCat member libraries worldwide

Abstract: "We present a programming language with first-class timing constructs, whose semantics is based on time-constrained relationships between observable events. Using these constraints, as well as those imposed by data and control flow properties, our objective is to transform the code so that its worst-case execution time its [sic] consistent with its real-time requirements. To accomplish this goal we use compiler optimizations based on the technique of code motion."
Compiler support for real-time programs by Richard Gerber( Book )

1 edition published in 1994 in English and held by 4 WorldCat member libraries worldwide

Asbtract: "We present a compiler-based approach to automatically assist in constructing real-time systems. In this approach, source programs are written TCEL (or Time Constrained Event Language) which possesses high-level timing constructs, and whose semantics characterizes time-constrained relationships between observable events. A TCEL program infers only those timing constraints necessary to achieve real-time correctness, without over-constraining the system. We exploit this looser semantics to help transform programs to automatically achieve schedulabilty. In this article we present two such transformations. The first is trace-scheduling, which we use to achieve consistency between a program's worst-case execution time and its real-time requirements. The second is program-slicing, which we use to automatically tune application programs driven by rate-monotonic scheduling."
Guaranteeing end-to-end timing constraints by calibrating intermediate processes by Richard Gerber( Book )

1 edition published in 1994 in English and held by 4 WorldCat member libraries worldwide

Abstract: "This paper presents a comprehensive design methodology for guaranteeing end-to-end requirements of real-time systems. Applications are structured as a set of process components connected by asynchronous channels, in which the endpoints are the system's external inputs and outputs. Timing constraints are then postulated between these inputs and outputs; they express properties such as end-to-end propogation delay, temporal input-sampling correlation, and allowable separation times between updated output values. The automated design method works as follows: First the end-to-end requirements are transformed into a set of intermediate rate constraints on the tasks, and new tasks are created to correlate related inputs. The intermediate constraints are then solved by an optimization algorithm, whose objective is to minimize CPU utilization. If the algorithm fails, a restructuring tool attempts to eliminate bottlenecks by transforming the application, which is then re-submitted into the assignment algorithm. The final result is a schedulable set of fully periodic tasks, which collaboratively maintain the end-to-end constraints."
Compiling real-time programs with timing constraint refinement and structural code motion by Richard Gerber( Book )

1 edition published in 1994 in English and held by 3 WorldCat member libraries worldwide

Abstract: "We present a programming language called TCEL (Time- Constrained Event Language), whose semantics is based on time-constrained relationships between observable events. Such a semantics infers only those timing constraints necessary to achieve real-time correctness, without over-constraining the system. Moreover, an optimizing compiler can exploit this looser semantics to help tune the code, so that its worst- case execution time is consistent with its real-time requirements. In this paper we describe such a transformation system, which works in two phases. First the TCEL source code is translated into an intermediate representation. Then an instruction-scheduling algorithm rearranges selected unobservable operations, and synthesizes tasks guaranteed to respect the original event-based constraints."
CASES 2006 : International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, October 22-25, 2006, Seoul, Korea : Embedded Systems Week 2006 by Seongsoo Hong( Book )

3 editions published in 2006 in English and held by 3 WorldCat member libraries worldwide

Semantics-based compiler transformations for enhanced schedulability by Richard Gerber( Book )

1 edition published in 1993 in English and held by 3 WorldCat member libraries worldwide

Abstract: "We present TCEL (Time-Constrained Event Language), whose timing semantics is based solely on the constrained relationships between observable events. In this manner, the unobservable code can be automatically moved to convert an unschedulable task set into a schedulable one. We illustrate this by an application of program-slicing, which we use to automatically tune control-domain systems driven by rate-monotonic scheduling."
Compiler-assisted scheduling for real-time applications : a static alternative to low-level tuning by Seongsoo Hong( Book )

2 editions published between 1994 and 1995 in English and held by 2 WorldCat member libraries worldwide

Developing a real-time system requires finding a balance between the timing constraints and the functional requirements. Achieving this balance often requires last-minute, low-level intervention in the code modules -- via intensive hardware-based instrumentation and manual program optimizations. In this dissertation we present an automated, static alternative to this kind of human-intensive work. Our approach is motivated by recent advances in compiler technologies, which we extend to two specific issues on real-time programming, that is, feasibility and schedulability. A task is infeasible if its execution time stretches over its deadline. To eliminate such faults, we have developed a synthesis method that (1) inspects all infeasible paths, and then (2) moves instructions out of those paths to shorten the execution time. On the other hand, schedulability of a task set denotes an ability to guarantee the deadlines of all tasks in the application. This property is affected by interactions between the tasks, as well as their individual execution times and deadlines. To address the schedulability problem, we have developed a task transformation method based on program slicing. The method decomposes a task into two subthreads: the IO-handler component that must meet the original deadline, and the state-update component that can be postponed past the deadline. This delayed-deadline approach contributes to the schedulability of the overall application. We also present a new fixed-priority preemptive scheduling strategy, which yields both a feasible priority ordering and a feasible task-slicing metric. (Also cross-referenced as UMIACS-TR-95-33)
CASES 2006 : international conference on compilers, architecture and synthesis for embedded systems : October 22-25, 2006, Seoul, Korea by Architecture and Synthesis for Embedded Systems International Conference on Compilers( Book )

1 edition published in 2006 in English and held by 1 WorldCat member library worldwide

Bouding cache-related preemption delay for real-time systems by Seongsoo Hong( )

1 edition published in 2001 in English and held by 1 WorldCat member library worldwide

Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems by Seongsoo Hong( Book )

2 editions published in 2001 in English and held by 1 WorldCat member library worldwide

Real-time and embedded computing systems( Book )

1 edition published in 2005 in English and held by 1 WorldCat member library worldwide

Slicing real-time programs for enhanced schedulability by Richard Gerber( )

1 edition published in 1997 in English and held by 1 WorldCat member library worldwide

Compiling real-time programs with timing constraint refinement and structural code motion by Richard Gerber( )

1 edition published in 1995 in English and held by 1 WorldCat member library worldwide

RTAS 2005 / Real time and embedded technology and applications : proceedings by 2005 ; San Francisco, CA US RTAS/IEEE Real time and embedded technology and applications symposium 11 ; March 7 - 10( Book )

1 edition published in 2005 in English and held by 1 WorldCat member library worldwide

Slicing real-time programs for enhanced schedulability by Richard Gerber( Book )

1 edition published in 1995 in English and held by 1 WorldCat member library worldwide

5th IEEE international symposium on object-oriented real-time distributed computing( Book )

1 edition published in 2002 in English and held by 1 WorldCat member library worldwide

Proceedings of the 2006 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems Seoul (Korea), October 22-25, 2006 by Seongsoo Hong( Book )

3 editions published in 2006 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.41 (from 0.25 for Real-time ... to 0.99 for CASES 2006 ...)

Real-time and embedded computing systems and applications : 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers
Languages
English (44)

Covers