KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

 
[Information on Technical Report Registration]

Download the [Technical Report Form] and complete the form except the registration number.
② Submit an application to the Administration Team for School of Computing (E3-1, 1402) under the signature of a advisor.
③ Submit the TR file via email to the responsible person (stim@cs.kaist.ac.kr) and check if it has been registered on the website since.
  • 1992

  • CS-TR-92-70

    On the Reduction of LR(k) Parsers

    박우전, 이명준, 최광무

    1992-7-9

  • CS-TR-92-69

    The Dynamic Affecting Set : A Semantically Transparent Literal-Level Selective Resetting Method

    이경옥

    1992-5-11

  • CS-TR-92-68

    Analyses of the Recent Mark-Set-Based Backward Execution Algorithms for AND Parallelism in

    김도형, 최광무, 윤인식

    1992-4-29

  • CS-TR-92-66

    Optimized Bottom-up Evaluation of Function-free Logic Programs with Dynamic Filtering : An

    창병모, 최광무, 한태숙

    1992-2-21

  • CS-TR-92-65

    Efficient Parsing for LALR(k) Regular Right Part Grammars

    신흥철, 최광무

    1992-2-12

  • CS-TR-92-64

    An Integrated Access Control in Heterogeneous Distributed Database Systems

    강석훈

    1992-1-10

  • CS-TR-92-67

    Testing for Abstract Data Types

    정인상, 권용래

    1992-00-00

  • 1991

  • CS-TR-91-63

    A Study on the Generation of Nonambiguous Grammar Equivalent to the Deterministic Parser of

    Ambiguous Grammar

    1991-12-17

  • CS-TR-91-61

    On the Construction of Regular Minimal Broadcast Digraphs

    박정흠, 좌경룡

    1991-10-15

  • CS-TR-91-59

    A Construction of Circulant Graphs and its Generalization with Application to the Design of Reliable

    박정흠, 좌경룡

    1991-10-10

  • CS-TR-91-58

    Design and Implementation of a Structured Hanguel Database Query System

    김원영

    1991-7-16

  • CS-TR-91-57

    Reliable Transaction Management in Heterogeneous Database Systems

    임종태

    1991-5-10

  • CS-TR-9l-56

    Update Synchronization Pursuing Site Autonomy in Heterogeneous Distributed Databases

    김유성

    1991-5-8

  • CS-TR-91-62

    Extended Storage Manager for Large Complex Objects in Multimedia Databases

    1991-00-00

  • 1990

  • CS-TR-90-45

    Test Data Generation for Fault-Based Testing of an Axiomatic Specification

    정인상, 권용래

    1990-00-00

  • CS-TR-90-46

    The BBR Tree : An Efficient Access Structure for Spatial Searching in Image Database Systems

    Byung Y. Hwang, Byung W. Kim, and Song C. Moon

    1990-00-00

  • CS-TR-90-47

    Performance Comparison of Signature-Based Multikey Access Methods

    장재우, 유재수, 이윤준

    1990-00-00

  • CS-TR-90-48

    3D Object Representation Using the CSG Tree and Superquardrics

    황삼청, 양현승

    1990-00-00

  • 1989

  • CS-TR-89-40

    Configuration Management of Object Groups

    박현재, 전길남

    1989-00-00

  • 1988

  • CS-TR-88-31

    A Fast Computational Method for Minimum Sauare Error Transform

    이성환, 김진형

    1988-00-00