Columbia University Department of Computer Science

1994 Technical Reports


List of 1994 technical reports

CUCS-001-94
Topological visual navigation in large environments
Il-Pyung Park and John R. Kender
CUCS-002-94
Error Detection and Recovery in Two Dimensional Topological Navigation
Il-Pyung Park and John R. Kender
CUCS-003-94
Qualtative Environmental Navigation: Theory and Practice
Il-Pyung Park
CUCS-004-94
Expanding the Repertoire of Process-based Tool Integration
Giuseppe Valetto
CUCS-007-94
QuAL: Quality Assurance Language
Patricia Gomes Soares Florissi
CUCS-008-94
Incremental Process Support for Code Reengineering (Experience Report)
George T. Heineman and Gail E. Kaiser
CUCS-010-94
Better Semijoins Using Tuple Bit-Vectors
Zhe Li and Kenneth A. Ross
CUCS-012-94
Integrating a Transaction manage component with Process Weaver
George T. Heineman and Gail E. Kaiser
CUCS-013-94
A Comparative Study of Divergence Control Algorithms
Akira Kawaguchi, Kui Mok, and Calton Pu
CUCS-014-94
A New Client-Server Architecture for Distributed Query Processing
Zhe Li and Kenneth Ross
CUCS-015-94
Statistical Augmentation of a Chinese Machine-Readable Dictionary
Pascale Fung and Dekai Wu
CUCS-016-94
The complexity of multivariate elliptic problems with analytic data
Arthur G. Werschulz
CUCS-017-94
Protocols for Loosely Synchronous Networks
Danilo Florissi and Yechiam Yemini
CUCS-021-94
An Architecture for Integrating Concurrency Control into Environment Frameworks
George T. Heineman and Gail E. Kaiser
CUCS-022-94
Management of Application Quality of Service
Patricia Gomes Soares Florissi and Yechiam Yemini
CUCS-023-94
Computing High Dimensional Integrals with Applications to Finance
Spassimir H. Paskov
CUCS-025-94
Predictive Dynamic Load Balancing of Parallel and Distributed Rule and Query Processing
Hasanat M. Dewan, Salvatore J. Stolfo Mauricio Hernandez and Jae-Jun Hwang
CUCS-026-94
Predictive Dynamic Load Balancing of Parallel Hash-Joins over Heterogeneous Processors in the Presence of Data Skew
Hasanat M. Dewan, Mauricio Hernandez, Kui W. Mok and Salvatore J. Solfo
CUCS-027-94
Expanding the Repertoire of Process-based Tool Integration
Giuseppe Valetto
CUCS-029-94
Enveloping Sophisticated Tools into Computer-Aided Software Engineering Environments
Giuseppe Valetto and Gail E. Kaiser
CUCS-030-94
Stereo in the Presence of Specular Reflection
Dinkar N. Bhat, Shree K. Nayar
CUCS-032-94
Towards Scalable and Parallel Inductive Learning: A Case Study in Splice Junction Prediction
Philip K. Chan and Salvatore J. Solfo
CUCS-033-94
Exact Essential-Hazard-Free State Minimization of Incompletely Specified Asynchronous Sequential Machines
Fu-Chiung J. Cheng and Luis Plana
CUCS-034-94
REVISION-BASED GENERATION OF NATURAL LANGUAGE SUMMARIES PROVIDING HISTORICAL BACKGROUND: Corpus-based Analysis, Design, Implementation and Evaluation
Jacques Robin
CUCS-035-94
PGMAKE: A Portable Distributed Make System
Andrew Lih and Erez Zadok
CUCS-036-94
Discovery and Hot Replacement of Replicated Read-Only File Systems, with Application to Mobile Computing(M.S. Thesis)
Erez Zadok

Help | Columbia University Department of Computer Science | Search
Comments and Suggestions