Skip to main content
Columbia University Libraries
Academic Commons
search for
Search
About
Explore
Log In
Upload
Your Research
Academic Commons
Toggle facets
Refine your search
Author
Kaiser, Gail E.
181
Schulzrinne, Henning G.
91
Stolfo, Salvatore
80
Keromytis, Angelos D.
48
Murphy, Christian
36
more
Author
»
Academic Unit
Computer Science
1,225
Subject
Computer science
1,209
Mathematics
20
Artificial intelligence
14
Information science
14
Computer science--Mathematics
6
more
Subject
»
Type
Reports
1,214
Articles
6
Presentations (Communicative Events)
1
Theses
1
Degree Level
Master's
1
Date Published
Date Published range begin
–
Date Published range end
Current results range from
1975
to
2017
View distribution
Series
Columbia University Computer Science Technical Reports
[remove]
1,225
Language
English
1,225
Search Constraints
Start Over
You searched for:
Series
Columbia University Computer Science Technical Reports
Remove constraint Series: Columbia University Computer Science Technical Reports
« Previous
|
401
-
500
of
1,225
|
Next »
Sort by Title A-Z
Best Match
Published Latest
Published Earliest
Title A-Z
Title Z-A
Number of results to display per page
100 per page
10
per page
20
per page
50
per page
100
per page
Search Results
401.
Distributed In Vivo Testing of Software Applications
Chu, Matt; Murphy, Christian; Kaiser, Gail E.
2007
Reports
Computer science
402.
Distributed Multiple Access Protocols and Real-Time Communication
Kurose, James F.; Yemini, Yechiam; Schwartz, Mischa
1983
Reports
Computer science
403.
Distributed Search over the Hidden Web: Hierarchical Database Sampling and Selection
Ipeirotis, Panagiotis G.; Gravano, Luis
2002
Reports
Computer science
404.
Distributed Tool Services via the World Wide Web
Dossick, Stephen E.; Kaiser, Gail E.; Yang, Jack Jingshuang
1996
Reports
Computer science
405.
Diversity Maximization Under Matroid Constraints
Abbassi, Zeinab; Mirrokni, Vahab S.; Thakur, Mayur
2013
Reports
Computer science
406.
Does Increased Regularity Lower Complexity?
Werschulz, Arthur G.
1982
Reports
Computer science
407.
DOM-based Content Extraction of HTML Documents
Gupta, Suhit; Neistadt, David; Kaiser, Gail E.; Grimm, Peter
2002
Reports
Computer science
408.
Do Negative Results from Formal Systems Limit Scientific Knowledge?
Traub, Joseph F.
1997
Reports
Computer science
409.
DotSlash: A Scalable and Efficient Rescue System for Handling Web Hotspots
Zhao, Weibin; Schulzrinne, Henning G.
2004
Reports
Computer science
410.
DotSlash: Providing Dynamic Scalability to Web Applications with On-demand Distributed Query Result Caching
Zhao, Weibin; Schulzrinne, Henning G.
2005
Reports
Computer science
411.
Double-Edge-Triggered Flip-Flops
Unger, Stephen H.
1981
Reports
Electronic circuit design
Physics
Circadian rhythms
412.
Dynamic Adaptation of Rules for Temporal Event Correlation in Distributed Systems
Griffith, Rean; Hellerstein, Joseph L.; Diao, Yixin; Kaiser, Gail E.
2005
Reports
Computer science
413.
Dynamic Adaptation of Temporal Event Correlation Rules
Griffith, Rean; Kaiser, Gail E.; Hellerstein, Joseph; Diao, Yixin
2005
Reports
Computer science
414.
Dynamical Systems Trees
Jebara, Tony; Howard, Andrew
2003
Reports
Computer science
415.
Dynamic Data Structures for Series Parallel Digraphs
Italiano, Giuseppe F.; Spaccamela, Alberto Marchetti; Nanni, Umberto
1989
Reports
Computer science
416.
Dynamic Inference of Likely Metamorphic Properties to Support Differential Testing
Su, Fang-Hsiang; Bell, Jonathan Schaffer; Murphy, Christian; Kaiser, Gail E.
2015
Reports
Computer programs--Testing
Debugging in computer science
Computer science
417.
Dynamic Taint Tracking for Java with Phosphor (Demo)
Bell, Jonathan Schaffer; Kaiser, Gail E.
2015
Reports
Computer science
Computer software--Testing
Java (Computer program language)
418.
DYSWIS: Collaborative Network Fault Diagnosis - Of End-users, By End-users, For End-users
Kim, Kyung Hwa; Singh, Vishal; Schulzrinne, Henning G.
2011
Reports
Computer science
419.
Effecting Runtime Reconfiguration in Managed Execution Environments
Griffith, Rean; Valetto, Giuseppe; Kaiser, Gail E.
2005
Reports
Computer science
420.
Effective Dynamic Detection of Alias Analysis Errors
Wu, Jingyue; Hu, Gang; Tang, Yang; Yang, Junfeng
2013
Reports
Computer science
421.
Effectiveness of Teaching Metamorphic Testing
Mishra, Kunal Swaroop; Kaiser, Gail E.
2012
Reports
Computer science
422.
Effectiveness of Teaching Metamorphic Testing, Part II
Mishra, Kunal S.; Kaiser, Gail E.; Sheth, Swapneel Kalpesh
2013
Reports
Computer science
423.
Effects of power conservation, wireless coverage and cooperation on data dissemination among mobile devices
Papadopouli, Maria; Schulzrinne, Henning G.
2001
Reports
Computer science
424.
Efficient Algorithms for Finding Maximal Matching in Graphs
Galil, Zvi
1983
Reports
Computer science
425.
Efficient Algorithms for the Design of Asynchronous Control Circuits
Theobald, Michael
2004
Reports
Computer science
426.
Efficient, Deterministic and Deadlock-free Concurrency
Vasudevan, Nalini
2011
Reports
Computer science
427.
Efficient Shadows from Sampled Environment Maps
Ben-Artzi, Aner; Agrawala, Maneesh; Ramamoorthi, Ravi
2004
Reports
Computer science
428.
Elastic Block Ciphers
Cook, Debra L.; Yung, Moti; Keromytis, Angelos D.
2004
Reports
Computer science
429.
Elastic Block Ciphers: The Feistel Cipher Case
Cook, Debra L.; Yung, Moti; Keromytis, Angelos D.
2004
Reports
Computer science
430.
Embedded uClinux, the Altera DE2, and the SHIM Compiler
Hsu, Wei-Chung; Edwards, Stephen A.; Lariviere, David
2006
Reports
Computer science
431.
Empirical Evaluation of Approaches to Testing Applications without Test Oracles
Murphy, Christian; Kaiser, Gail E.
2010
Reports
Computer science
432.
Empirical Studies on the Disambiguation of Cue Phrases
Hirschberg, Julia Bell; Litman, Diane
1991
Reports
Computer science
433.
Empirical Study of Concurrency Mutation Operators for Java
Wu, Leon Li; Kaiser, Gail E.
2010
Reports
Computer science
434.
Enabling the Virtual Phones to remotely sense the Real Phones in real-time: A Sensor Emulation initiative for virtualized Android-x86
Santhanam, Raghavan
2013
Reports
Computer science
435.
Encapsulation, Reusability and Extensibility in Object-Oriented Programming Languages
Micallef, Josephine
1987
Reports
Computer science
436.
End System Service Examples
Wu, Xiaotao; Schulzrinne, Henning G.
2004
Reports
Computer science
437.
End-User Regression Testing for Privacy
Sheth, Swapneel Kalpesh; Kaiser, Gail E.
2012
Reports
Computer science
438.
Energy-Based Segmentation of Very Sparse Range Surfaces
Boult, Terrance E.; Lerner, Mark D.
1989
Reports
Computer science
439.
Energy Exchanges: Internal Power Oversight for Applications
Kambadur, Melanie Rae; Kim, Martha Allen
2014
Reports
Computer science
440.
Energy Secure Architecture: A Wish List
Sethumadhavan, Simha
2013
Reports
Computer science
441.
Enhancing Security by Diversifying Instruction Sets
Kemerlis, Vasileios; Sinha, Kanad; Pappas, Vasileios; Sethumadhavan, Simha; Keromytis, Angelos D.
2014
Reports
Computer science
442.
Entropy, Randomization, Derandomization, and Discrepancy
Gnewuch, Michael
2011
Reports
Computer science
443.
Enveloping Sophisticated Tools into Computer-Aided Software Engineering Environments
Valetto, Giuseppe; Kaiser, Gail E.
1994
Reports
Computer science
444.
Enveloping Sophisticated Tools into Process-Centered Environments
Valetto, Giuseppe; Kaiser, Gail E.
1995
Reports
Computer science
445.
Environmental Relations in Image Understanding: The Force of Gravity
Kender, John R.
1983
Reports
Computer science
446.
Equivalent Descriptions of Generalized Cylinders
Roberts, Kenneth S.
1985
Reports
Computer science
447.
Estimating a largest eigenvector by polynomial algorithms with a random start
Leyk, Z.; Wozniakowski, Henryk
1996
Reports
Computer science
448.
Estimating an Eigenvector by the Power Method with a Random Start
Del Corso, Gianna M.
1995
Reports
Computer science
449.
Estimating the Largest Eigenvalue by the Power and Lanczos Algorithms with a Random Start
Kuczynski, Jacek; Wozniakowski, Henryk
1989
Reports
Computer science
450.
Estimation of System Reliability Using a Semiparametric Model
Wu, Leon Li; Teravainen, Timothy Kaleva; Kaiser, Gail E.; Anderson, Roger N.; Boulanger, Albert G.; Rudin, Cynthia
2011
Reports
Computer science
451.
Evaluating an Evaluation Method: The Pyramid Method Applied to 2003 Document Understanding Conference (DUC) Data
Passonneau, Rebecca
2006
Reports
Computer science
452.
Evaluating Content Selection in Human- or Machine-Generated Summaries: The Pyramid Scoring Method
Passonneau, Rebecca J.; Nenkova, Ani
2003
Reports
Computer science
453.
Evaluating Machine Learning for Improving Power Grid Reliability
Wu, Leon Li; Kaiser, Gail E.; Rudin, Cynthia; Waltz, David L.; Anderson, Roger N.; Boulanger, Albert G.; Salleb-Aouissi, Ansaf; Dutta, Haimonti; Pooleery, Manoj
2011
Reports
Computer science
454.
Evaluating Top-k Queries over Web-Accessible Databases
Gravano, Luis; Marian, Amelie; Bruno, Nicolas
2002
Reports
Computer science
455.
Evolution of the NON-VON Supercomputer
Shaw, David Elliot
1983
Reports
Computer science
456.
Exact Essential-Hazard-Free State Minimization of Incompletely Specified Asynchronous Sequential Machines
Cheng, Fu-Chiung; Plana, Luis A.
1994
Reports
Computer science
457.
Example application under PRET environment: Programming a MultiMediaCard
Dedhia, Devesh
2009
Reports
Computer science
458.
Execution Autonomy in Distributed Transaction Processing
Pu, Calton; Leff, Avraham
1991
Reports
Computer science
459.
Execution or OPS5 Production Systems on a Massively Parallel Machine
Hillyer, Bruce K.; Shaw, David Elliot
1984
Reports
Computer science
460.
Exercising the NON-VON Primary Processing Subsystem
Hillyer, Bruce K.; Shaw, David Elliot
1983
Reports
Computer science
461.
Expanding the Repertoire of Process-based Tool Integration
Valetto, Giuseppe
1994
Reports
Computer science
462.
Expanding the Repertoire of Process-based Tool Integration
Valetto, Giuseppe
1994
Reports
Computer science
463.
Experiences in Teaching eXtreme Programming in a Distance Learning Program
Murphy, Christian; Phung, Dan; Kaiser, Gail E.
2007
Reports
Computer science
464.
Experience with a Production Compiler Automatically Generated from an Attribute Grammar
Farrow, Rodney
1984
Reports
Computer science
465.
Experience with Process Modeling in the Marvel Software Development Environment Kernel
Kaiser, Gail E.
1989
Reports
Computer science
466.
Experiments of Image Retrieval Using Weak Attributes
Yu, Xinnan; Ji, Rongrong; Tsai, Ming-Hen; Ye, Guangnan; Chang, Shih-Fu
2012
Reports
Computer science
Information science
467.
Explanation and Acquisition in Expert Systems Using Support Knowledge
Pasik, Alexander J.; Christensen, Jens; Gordin, Douglas; Stancato, Agata; Stolfo, Salvatore
1985
Reports
Computer science
468.
Explanation-Based Learning: A Survey of Programs and Perspectives
Ellman, Thomas
1987
Reports
Computer science
469.
Explanation-Based Methods for Simplifying Intractable Theories
Ellman, Thomas
1987
Reports
Computer science
470.
Explicit cost bounds of algorithms for multivariate tensor product problems
Wasilkowski, Grzegorz W.; Wozniakowski, Henryk
1994
Reports
Computer science
471.
Exploiting Local Logic Structures to Optimize Multi-Core SoC Floorplanning
Li, Cheng-Hong; Sonalka, Sampada; Carloni, Luca
2009
Reports
Computer science
472.
Exploiting Temporal Coherence for Pre-computation Based Rendering
Overbeck, Ryan S.
2006
Computer science
473.
Exploiting the Structure in DHT Overlays for DoS Protection
Stavrou, Angelos; Keromytis, Angelos D.; Rubenstein, Daniel Stuart
2004
Reports
Computer science
474.
Exploring a Few Good Tuples From a Text Database
Jain, Alpa; Srivastava, Divesh
2008
Reports
Computer science
475.
Exploring Computation and Communication Trade-offs in the Design of Automatic Video Surveillance Networks
Pinto, Alessandro; Carloni, Luca; Sangiovanni-Vincentelli, Alberto
2008
Reports
Computer science
476.
Exploring "Multiple Worlds" in Parallel
Smith, Jonathan M.; Maguire, Gerald Q.
1989
Reports
Computer science
477.
Extended Functional Unification ProGrammars
Elhadad, Michael
1989
Reports
Computer science
478.
Extended Transaction Models for Software Development Environments
Kaiser, Gail E.
1988
Reports
Computer science
479.
Extending a Tool Integration Language
Gisi, Mark A.; Kaiser, Gail E.
1991
Reports
Computer science
480.
Extending Attribute Grammars to Support Programming-in-the-Large
Micallef, Josephine; Kaiser, Gail E.
1993
Reports
Computer science
481.
Extending SDARTS: Extracting Metadata from Web Databases and Interfacing with the Open Archives Initiative
Ipeirotis, Panagiotis G.; Barry, Tom; Gravano, Luis
2002
Reports
Computer science
482.
Extending the MERCURY System to Support Teams of Ada Programmers
Micallef, Josephine; Kaiser, Gail E.
1989
Reports
Computer science
483.
Extracting Context To Improve Accuracy For HTML Content Extraction
Gupta, Suhit; Kaiser, Gail E.; Stolfo, Salvatore
2004
Reports
Computer science
484.
Extracting Relations from Large Plain-Text Collections
Agichtein, Eugene; Gravano, Luis
1999
Reports
Computer science
485.
F3ildCrypt: End-to-End Protection of Sensitive Information in Web Services
Burnside, Matthew Spindel; Keromytis, Angelos D.
2009
Reports
Computer science
486.
Failover and Load Sharing in SIP Telephony
Singh, Kundan; Schulzrinne, Henning G.
2004
Reports
Computer science
487.
Failure Analysis of the New York City Power Grid
Wu, Leon; Anderson, Roger N.; Boulanger, Albert G.; Rudin, Cynthia; Kaiser, Gail E.
2014
Reports
Smart power grids
Computer science
488.
FairTorrent: Bringing Fairness to Peer-to-Peer Systems
Sherman, Alex; Nieh, Jason; Stein, Clifford S.
2008
Reports
Computer science
489.
FARE: A Framework for Benchmarking Reliability of Cyber-Physical Systems
Wu, Leon; Kaiser, Gail E.
2013
Reports
Computer science
490.
Faster valuation of financial derivatives
Paskov, Spassimir; Traub, Joseph F.
1996
Reports
Computer science
Finance
491.
Fast Fourier Transforms: A Review
Wolberg, George
1988
Reports
Computer science
492.
Fast Heuristic and Exact Algorithms for Two-Level Hazard-Free Logic Minimization
Theobald, Michael; Nowick, Steven M.
1998
Reports
Computer science
493.
Fast Joins Using Join Indices
Li, Zhe; Ross, Kenneth A.
1996
Reports
Computer science
494.
Feasibility of Voice over IP on the Internet
Sherman, Alex; Nieh, Jason; Freund, Yoav
2006
Reports
Computer science
495.
Feature Interactions in Internet Telephony End Systems
Wu, Xiaotao; Schulzrinne, Henning G.
2004
Reports
Computer science
496.
Federating Process-Centered Environments: The Oz Experience
Ben-Shaul, Israel Z.; Kaiser, Gail E.
1997
Reports
Computer science
497.
Finding 9-1-1 Callers in Tall Buildings
Song, Wonsang; Lee, Jae; Lee, Byung; Schulzrinne, Henning G.
2013
Reports
Computer science
498.
Finding a Better Way: Choosing and Explaining Alternative Plans
Wolz, Ursula
1988
Reports
Computer science
499.
Finding a Maximum-Genius Graph Imbedding
Furst, Merrick L.; Gross, Jonathan L.; McGeoch, Lyle A.
1987
Reports
Computer science
500.
Finding a Maximum-Genus Graph Imbedding
Furst, Merrick L.; Gross, Jonathan L.; McGeoch, Lyle A.
1985
Reports
Computer science
« Previous
Next »
1
2
3
4
5
6
7
8
9
…
12
13