|
|
Department of Computer Science
Computer Science Technical Report Series
[466 items]
|
|
This series was begun in 1988 and continues to grow with 10-15 additions each year. Reports are prepared by current faculty and students of the Department of Computer Science on a range of topics. These reports contained are included by the contributing authors as a mechanism to ensure timely dissemination of scholarly/technical information on a non-commercial basis.
Copyright and all rights therein are maintained by the authors, despite the fact they have offered this information electronically. It is understood that all individuals copying this information will adhere to the terms and constraints invoked by each author's copyright.
Reports may not be copied for commercial redistribution, republication, or dissemination without the explicit permission of the Columbia University Department of Computer Science and the authors. Please contact tech-reports@cs.columbia.edu if you have any questions regarding these publications.
Showing items 1-21 of 466.
| Issue Date | Title | Author(s) | Series |
| 2009-Mar-2 |
Behavior-Profile Clustering For False Alert Reduction in Anomaly Detection Sensors |
Frias-Martinez, Vanessa |
- |
| 2009-Jan-22 |
Example application under PRET environment -- Programming a MultiMediaCard |
Dedhia, Devesh |
- |
| 2009-Jan-19 |
Improving the Quality of Computational Science Software by Using Metamorphic Relations to Test Machine Learning Applications |
Xie, Xiaoyuan; Ho, Joshua; Murphy, Christian; Kaiser, Gail E.; Xu, Baowen; Chen, T.Y. |
- |
| 2009-Jan-12 |
Retrocomputing on an FPGA: Reconstructing an 80's-Era Home Computer with Programmable Logic |
Edwards, Stephen A. |
- |
| 2009-Jan-1 |
Rapid Parallelization by Collaboration |
Sethumadhavan, Simha; Kaiser, Gail E. |
- |
| 2008-Dec-23 |
A MPEG Decoder in SHIM |
Joshi, Keerti; Kellebrew, Delvin |
- |
| 2008-Dec-22 |
Using Metamorphic Testing at Runtime to Detect Defects in Applications without Test Oracles |
Murphy, Christian |
- |
| 2008-Dec-21 |
Memory Issues in PRET Machines |
Shah, Nishant R. |
- |
| 2008-Dec-21 |
uClinux on the Altera DE2 |
Lariviere, David; Edwards, Stephen A. |
- |
| 2008-Dec-21 |
SHIM Optimization: Elimination Of Unstructured Loops |
Ganapathi, Ravindra Babu; Edwards, Stephen A. |
- |
| 2008-Dec-21 |
Static Deadlock Detection in SHIM with an Automata Type Checking System |
Smith, Dave Aaron; Vasudevan, Nalini; Edwards, Stephen A. |
- |
| 2008-Dec-19 |
Analysis of Clocks in X10 Programs (Extended) |
Vasudevan, Nalini; Tardieu, Olivier; Dolby, Julian; Edwards, Stephen A. |
- |
| 2008-Dec-17 |
Classifying High-Dimensional Text and Web Data using Very Short Patterns |
Malik, Hassan; Kender, John |
- |
| 2008-Dec-10 |
Distributed eXplode: A High-Performance Model Checking Engine to Scale Up State-Space Coverage |
Keetha, Nageswar; Wu, Leon L.; Kaiser, Gail E.; Yang, Junfeng |
- |
| 2008-Dec-1 |
Operating System Virtualization: Practice and Experience |
Laadan, Oren; Nieh, Jason |
- |
| 2008-Nov-14 |
Measurements of Multicast Service Discovery in a Campus Wireless Network |
Hong, Se Gi; Srinivasan, Suman; Schulzrinne, Henning |
- |
| 2008-Oct-10 |
Improving the Dependability of Machine Learning Applications |
Murphy, Christian; Kaiser, Gail E. |
- |
| 2008-Oct-9 |
Opportunistic Use of Client Repeaters to Improve Performance of WLANs |
Bahl, Victor; Chandra, Ranveer; Lee, Patrick Pak-Ching; Misra, Vishal; Padhye, Jitendra; Rubenstein, Dan; Yu, Yan |
- |
| 2008-Oct-6 |
The 7U Evaluation Method: Evaluating Software Systems via Runtime Fault-Injection and Reliability, Availability and Serviceability (RAS) Metrics and Models |
Griffith, Rean |
- |
| 2008-Oct-2 |
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles |
Murphy, Christian; Shen, Kuang; Kaiser, Gail E. |
- |
| 2008-Oct-2 |
Quality Assurance of Software Applications using the In Vivo Testing Approach |
Murphy, Christian; Kaiser, Gail E.; Vo, Ian; Chu, Matt |
- |
|
