Series: Columbia University Computer Science Technical Reports | Search Results | Academic Commons

Start Over

You searched for: Series Columbia University Computer Science Technical Reports

« Previous | 401 - 500 of 1,225 | Next »

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 designPhysicsCircadian 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--TestingDebugging in computer scienceComputer science

417. Dynamic Taint Tracking for Java with Phosphor (Demo)

: Bell, Jonathan Schaffer; Kaiser, Gail E.
: 2015
: Reports
: Computer scienceComputer software--TestingJava (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 scienceInformation 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 gridsComputer 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 scienceFinance

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