Directions
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