Columbia University Department of Computer Science

1991 Technical Reports


CUCS-001-91
Measurement of Camelot Performance over the Internet
Calton Pu and Fred Korz
CUCS-002-91
Divergence Control for Epsilon-Serializability
Kun-Lung Wu and Philip S. Yu and Calton Pu
CUCS-003-91
Efficient Communication in Optical Computers
Mihaly Gereb-Graus and Thanasis Tsantilas
CUCS-004-91
Adaptive Remote Paging for Mobile Computers
Bill N. Schilit and Dan Duchamp
CUCS-005-91
A Lock-Free Multiprocessor OS Kernel
H. Massalin and C. Pu
CUCS-006-91 Abstract Complete Document
{IP}-based Protocols for Mobile Internetworking
John Ioannidis and Dan Duchamp and Gerald Q. Maguire Jr.
CUCS-007-91
Implementing the Visibility Constraint in the ``MVP'' Machine Vision Planning System using the ACIS 3-D Solid Modeler
Steven Abrams and Konstantinos Tarabanis
CUCS-008-91
Inferring Constraints from Multiple Snapshots
David Kurlander and Steven Feiner
CUCS-009-91
Heterogeneous and Autonomous Transaction Processing
C. Pu and A. Leff and S.W.F. Chen
CUCS-010-91 Abstract Complete Document
An Object Management System for Multi-User Programming environments
Israel Ben-Shaul
CUCS-011-91 Abstract Complete Document
The Splendors Real Time Portfolio Management System (Extended Abstract)
Tushar M. Patel and Gail E. Kaiser
CUCS-012-91 Abstract Complete Document
Dynamic Restructuring of Transactions
Gail E. Kaiser and Calton Pu
NOTE = {Also available in Database Transaction Models for Advanced Applications, Morgan Kaufmann, 1991},
CUCS-013-91 Abstract Complete Document
Debugging Multi-Threaded Programs with MpD
M. Krish Ponamgi and Wenwey Hseush and Gail E. Kaiser
NOTE = {Also available in IEEE Software, May 1991},
CUCS-014-91
Extending A Tool Integration Language
Mark A. Gisi and Gail E. Kaiser
CUCS-015-91
Using IPIP for Remote Bridging at the IP-level
John Ioannidis and Gerald Q. Maguire Jr.
CUCS-016-91
Fully Dynamic Algorithms for 2-Edge Connectivity
Zvi Galil and Giuseppe F. Italiano
CUCS-017-91
Maintaining the 3-Edge-Connected Components of a Graph On-Line
Zvi Galil and Giuseppe F. Italiano
CUCS-018-91
Maintaining Biconnected Components of Dynamic Planar Graphs
Zvi Galil and Giuseppe F. Italiano
CUCS-019-91
Dynamic data structures for graphs
Giuseppe Francesco Italiano
Ph.D. Thesis
CUCS-020-91
Control in Functional Unification Grammars for Text Generation
Michael Elhadad and Jacques Robin
CUCS-021-91
MpD: A Multiprocessor Debugger (M.S. Thesis)
Krish Ponamgi
CUCS-022-91
Rule Chaining in Marvel: Dynamic Binding of Parameters
George T. Heineman and Gail E. Kaiser and Naser S. Barghouti and Israel Z. Ben-Shaul
CUCS-023-91
Incremental Attribute Evaluation for Multi-User Semantics-Based Editors
Josephine Micallef
Ph.D. Thesis
CUCS-024-91
Execution Autonomy in Distributed Transaction Processing
Calton Pu and Avraham Leff
CUCS-025-91
Performance Comparison of Sender-Active and Receiver-Active Mutual Data Serving
Calton Pu and Danilo Florissi and Patricia Soares and Philip S. Yu and Kun-Lung Wu
CUCS-026-91
An Architectural Framework for Object Management Systems
Steven S. Popovich
CUCS-027-91
Implementing Activity Structures Process Modeling On Top Of The Marvel Environment Kernel
Gail E. Kaiser and Israel Ben-Shaul and Steven S. Popovich
CUCS-028-91
Service Interface and Replica Management Algorithm for Mobile File System Clients
Carl D. Tait and Dan Duchamp
CUCS-029-91
An Architecture for Dynamic Reconfiguration in a Distributed Object-Based Programming Language
Brent Hailpern and Gail E. Kaiser
CUCS-030-91
Real-Time portfolio management and automatic extensions
Tushar M. Patel
CUCS-031-91
Navigating the MeldC: The MeldC User's Manual
Howard Gershen and Erik Hilsdale
CUCS-032-91
Marvel 3.0 Administrator's manual
Programming System Laboratory
CUCS-033-91
Marvel 3.0 User's manual
Programming System Laboratory
CUCS-034-91
Real-time Visual Servoing
P. Allen, B. Yoshimi, A. Timcenko
CUCS-035-91
Automated Tracking and Grasping of a Moving Object with a Robotic Hand-Eye System
P. K. Allen and A. Timcenko and B. Yoshimi and P. Michelman
CUCS-036-91 Abstract Complete Document
Taxonomic Plan Reasoning
Premkumar T. Devanbu and Diane J. Litman
CUCS-037-91
Towards Automatic Vehicle Navigation
Il-Pyung Park
CUCS-038-91
FUF User Manual - Version 5.0
Michael Elhadad
CUCS-039-91
Empirical Studies on the Disambiguation of Cue Phrases
Julia Hirschberg and Diane Litman
CUCS-040-91
Parallel Dynamic Programming
Z. Galil and K. Park
CUCS-041-91
Machine Learning in Molecular Biology Sequence Analysis
Philip K. Chan
CUCS-042-91
On the Set LCS and Set-Set LCS Problems
B. Wang and G. Chen and K. Park
CUCS-043-91
Fully Dynamic Dictionary Matching
Z. Galil and R. Giancarlo and K. Park
CUCS-044-91
A Formal Characterization of Epsilon Serializability
Krithi Ramamritham and Calton Pu
CUCS-045-91
Optimal Scheduling of Task Tree on Constant Dimensional Architectures
Xiangdong Yu
CUCS-046-91
A Formal Proof to a Basic Fact in Pseudorandom Generation
Xiangdong Yu
CUCS-047-91
Knowledge Representation and Reasoning with Definitional Taxonomies
Robert A. Weida

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