CS-TR-92-72

Fixed Point Computation of Static Filters for Stratified Programs

창병모, 최광무, 한태숙

1992-8-7

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

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

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

CS-TR-89-40

Configuration Management of Object Groups

박현재, 전길남

1989-00-00