Columbia University Department of Computer Science

1993 Technical Reports


List of 1993 technical reports

CUCS-001-93
MeldC: A Reflective Object-Oriented Coordination Language
Gail E. Kaiser, Wenwey Hseush, James Lee, Felix Wu, Ester Woo, Eric Hilsdale, Scott A. Meyer
CUCS-003-93
Extending Attribute Grammars to Support Programming-in-the-Large
Josephine Micallef and Gail E. Kaiser
CUCS-004-93
On the Cost of Transitive Closures in Relational Databases
Zhe Li, Ken Ross
CUCS-005-93
crep: a regular expression-matching textual corpus tool
Darrin Duford
CUCS-006-93
Cooperative Transactions for Multi-User Environments
Gail E. Kaiser
CUCS-007-93
There Exists a Problem Whose Computational Complexity is Any Given Function of the Information Complexity
Ming Chu
CUCS-008-93
Logical Embeddings for Minimum Congestion Routing in Lightwave Networks
Bulent Yener and Terrance E. Boult
CUCS-011-93
Oz: A Decentralized Process Centered Environment (Ph.D. Thesis Proposal)
Israel Z. Ben-Shaul
CUCS-012-93
There exists a Linear Problem with Infinite Combinatory Complexity in Extended Real Number Model
Ming Chu
CUCS-016-93
An Object-Based Programming Model for Rapidly-Changing Data
Wenwey Hseush
CUCS-018-93
A Repository for a CARE Environment
Toni A. Bunter
CUCS-019-93
A Non-Deterministic Approach to Restructuring Flow Graphs
Toni A. Bunter
CUCS-020-93
Isochronets: a High-Speed Network Switching Architecture
Danilo Florissi
CUCS-021-93
The complexity of two-point boundary-value problems with piecewise analytic data
Arthur G. Werschulz
CUCS-022-93
A Configuration Process for a Distributed Software Development Environment
Israel Z. Ben-Shaul and Gail E. Kaiser
CUCS-023-93
Graphical Editing by Example
David Kurlander
CUCS-025-93
DFLOPS:A Dataflow Machine for Production Systems
Fu-Chiung Cheng and Mei-Yi Wu
CUCS-026-93
Disconnected Operation in a Multi-User Software Development Environment
Peter D. Skopp and Gail E. Kaiser
CUCS-027-93
Terminological Constraint Network Reasoning and its Application to Plan Recognition (Thesis Proposal)
Robert Weida
CUCS-028-93
Hazards, Critical Races, and Metastability
Stephen H. Unger
CUCS-029-93
Optimization of the Binding Mechanism of the Characteristic Function in Marvel
Bunter, Toni A.
CUCS-030-93
An Approach for Distributed Query Processing in Marvel: Concepts and Implementation
Bunter, Toni A.
CUCS-031-93
New Lower Bounds on the Cost of Binary Search Trees
De Prisco, R. and De Santis, A.
CUCS-032-93
Catastrophic Faults in Reconfigurable Linear Arrays of Processors
De Prisco, R. and De Santis, A.
CUCS-033-93
Minimal Path Length of Trees with Known Fringe
Roberto De Prisco, Giuseppe Parlati, Giuseppe Persiano
CUCS-034-93
Solution of Ulam's Problem on Binary Search with Four Lies
Vincenzo Auletta, Alberto Negro, Giuseppe Parlati
CUCS-035-93
Process Centered Software Development on Mobile Hosts
Peter D. Skopp
CUCS-036-93
Automatic Translation of Process Modeling Formalisms
George T. Heineman
CUCS-037-93
Chopping Up Epsilon Transactions
Wenwey Hseush, Calton Pu

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