1001. Speeding up Dynamic Programming with Application to the Computation of RNA Structure Eppstein, David; Galil, Zvi; Giancarlo, Raffaele 1988 Reports Computer science
1002. Split-Transactions for Open-Ended Activities Pu, Calton; Kaiser, Gail E.; Hutchinson, Norman 1988 Reports Computer science
1003. Spreadable Connected Autonomic Networks (SCAN) Reich, Joshua; Misra, Vishal; Rubenstein, Daniel Stuart; Zussman, Gil 2008 Reports Computer science
1005. Stable Flight and Object Tracking with a Quadricopter Using an Android Device Bardin, Benjamin Alexander; Brown, William Haldean; Blaer, Paul S. 2011 Reports Computer science
1006. STAND: Sanitization Tool for ANomaly Detection Cretu, Gabriela F.; Stavrou, Angelos; Stolfo, Salvatore; Keromytis, Angelos D. 2007 Reports Computer science
1007. Statically Unrolling Recursion to Improve Opportunities for Parallelism Deshpande, Neil Ashish; Edwards, Stephen A. 2012 Reports Computer science
1008. Static Deadlock Detection in SHIM with an Automata Type Checking System Vasudevan, Nalini; Edwards, Stephen A.; Smith, Dave Aaron 2008 Reports Computer science
1009. Statistical Acquisition of Content Selection Rules for Natural Language Generation Duboue, Pablo A.; McKeown, Kathleen 2003 Reports Computer science
1010. Statistical Augmentation of a Chinese Machine-Readable Dictionary Fung, Pascale; Wu, Dekai 1994 Reports Computer science
1011. Statistical Security of a Statistical Data Base Traub, Joseph F.; Wozniakowski, Henryk; Yemini, Yechiam 1982 Reports Computer science
1012. Stereo in the Presence of Specular Reflection Bhat, Dinkar N.; Nayar, Shree K. 1994 Reports Computer science
1013. Stored Media Streaming in BitTorrent-like P2P Networks Hwang, Kyung-Wook; Misra, Vishal; Rubenstein, Daniel Stuart 2008 Reports Computer science
1014. Story Telling as Planning and Learning Lebowitz, Michael 1985 Reports Computer scienceArtificial intelligence
1016. Streak Seeding Automation Using Silicon Tools Georgiev, Atanas; Vorobiev, Sergeui M.; Edstrom, William; Song, Ting; Laine, Andrew F.; Hunt, John F.; Allen, Peter K. 2006 Reports Computer science
1017. Strong tractability of weighted tensor products Wozniakowski, Henryk 1995 Reports Computer science
1018. Structure and Abstraction in a System for Conceptual Matching Shaw, David Elliot 1977 Reports Memory management (Computer science)Memory hierarchy (Computer science)Information storage and retrieval systems
1019. Structure of Complexity Classes: Separations, Collapses, and Completeness Hemachandra, Lane A. 1988 Reports Computer science
1020. Study of Linear Information for Classes of Polynomial Equations Sikorski, Krzysztof A. 1984 Reports Computer science
1021. Summarizing and Searching Hidden-Web Databases Hierarchically Using Focused Probes Ipeirotis, Panagiotis G.; Gravano, Luis 2001 Reports Computer science
1022. Summary-Based Pointer Analysis Framework for Modular Bug Finding Buss, Marcio 2008 Reports Computer science
1023. Superdatabases for Composition of Heterogeneous Databases Pu, Calton 1986 Reports Computer science
1024. Support for Reliable Distributed Computing Kaiser, Gail E.; Hseush, Wenwey 1988 Reports Computer science
1025. Surface Approximation May Be Easier Than Surface Integration Werschulz, Arthur G.; Wozniakowski, Henryk 2001 Reports Computer science
1026. Surface Orientation and Segmentation from Perspective Views of Parallel-Line Textures Moerdler, Mark L.; Kender, John R. 1985 Reports Computer science
1027. Surface Orientation from Texture Autocorrelation Brown, Lisa Gottesfeld 1989 Reports Computer science
1028. Survivor: An Approach for Adding Dependability to Legacy Workflow Systems Greze, Jean-Denis; Kaiser, Gail E.; Kc, Gaurav S. 2002 Reports Computer science
1029. SWAP: A Scheduler With Automatic Process Dependency Detection Zheng, Haoqiang; Nieh, Jason 2003 Reports Computer science
1030. Symmetric Public-Key Encryption Galil, Zvi; Landau, Gad M.; Yung, Moti 1985 Reports Computer science
1031. Synchronization Communication and I/O Factors In Database Machine Performance Lowry, Andy 1988 Reports Computer science
1032. Synchronization of Multiple Agents in Rule-Based Development Environments Barghouti, Naser S. 1989 Reports Computer science
1033. Synthesis for Logical Initializability of Synchronous Finite State Machines Singh, Montek; Nowick, Steven M. 1998 Reports Computer science
1034. Synthesis of On-Chip Interconnection Structures:From Point-to-Point Links to Networks-on-Chip Pinto, Alessandro; Carloni, Luca; Sangiovanni-Vincentelli, Alberto L. 2006 Reports Computer science
1035. Synthesizing composite topic structure trees for multiple domain specific documents Kan, Min-Yen; McKeown, Kathleen; Klavans, Judith L. 2001 Reports Computer science
1036. System Support for "Multiple Worlds" Smith, Jonathan M.; Maguire, Gerald Q. 1989 Reports Computer science
1037. Table-driven Rules in Expert Systems Pasik, Alexander J.; Schor, Marshall 1983 Reports Computer scienceMathematics
1038. Tailoring Explanations for the User McKeown, Kathleen; Wish, Myron; Matthews, Kevin 1985 Reports Computer science
1039. Taking the Initiative for System Goals in Cooperative Dialogue Matthews, Kevin 1985 Reports Computer science
1040. Taking the Initiative in Problem-Solving Discourse Matthews, Kevin; McKeown, Kathleen 1984 Reports Computer science
1042. TCP-Friendly Rate Control with Token Bucket for VoIP Congestion Control Maldonado, Miguel; Baset, Salman Abdul; Schulzrinne, Henning G. 2005 Reports Computer science
1043. Teaching Microarchitecture through Metaphors Eum, Julianna; Sethumadhavan, Simha 2014 Reports Computer science
1044. Techniques for building highly available distributed file systems Tait, Carl D. 1989 Reports Computer science
1045. Teleoperator control of the Utah/MIT dextrous hand: A functional approach Morishima, Amy; Speeter, Thomas H. 1989 Reports Computer science
1046. Terminological Constraint Network Reasoning and its Application to Plan Recognition Weida, Robert Anthony 1993 Reports Computer science
1047. Testing and Validating Machine Learning Classifiers by Metamorphic Testing Xie, Xiaoyuan; Ho, Joshua W. K.; Murphy, Christian; Kaiser, Gail E.; Xu, Baowen; Chen, Tsong Yueh 2010 Reports Computer science
1048. Testing Reliable Distributed Applications Through Simulated Events Winfrey, Travis L.; Kaiser, Gail E. 1989 Reports Computer science
1049. The 7U Evaluation Method: Evaluating Software Systems via Runtime Fault-Injection and Reliability, Availability and Serviceability (RAS) Metrics and Models Griffith, Rean 2008 Reports Computer science
1050. The Accurate Solution of Certain Continuous Problems Using Only Single Precision Jankowski, Michal; Wozniakowski, Henryk 1983 Reports Computer scienceMathematics
1051. The Appearance of Human Skin Igarashi, Takanori; Nishino, Ko; Nayar, Shree K. 2005 Reports Computer science
1052. The Application of Approximation and Complexity Theory Methods to the Solution of Computer Vision Problems Hatzitheodorou, Michael 1988 Reports Computer science
1053. The Application of Microeconomics to the Design of Resource Allocation and Control Algorithms Ferguson, Donald Francis 1989 Reports Computer science
1054. The Automatic Inversion of Attribute Grammars Yellin, Daniel; Mueckstein, Eva-Maria M. 1984 Reports Computer science
1055. The Benefits of Using Clock Gating in the Design of Networks-on-Chip Petracca, Michele; Carloni, Luca 2011 Reports Computer science
1056. The Coherent File Distribution Protocol Ioannidis, John; Maguire, Gerald Q. 1990 Reports Computer science
1057. The Columbia Grasp Database Goldfeder, Corey; Ciocarlie, Matei; Dang, Hao; Allen, Peter K. 2008 Reports Computer scienceMathematics
1058. The Communication Complexity of Atomic Commitment and of Gossiping Wolfson, Ouri; Segall, Adrian 1989 Reports Computer science
1059. The Competitive Analysis of Risk Taking with Application to Online Trading Al-Binali, Sabah 1997 Reports Computer science
1060. The complexity of definite elliptic problems with noisy data Werschulz, Arthur G. 1996 Reports Computer science
1061. The Complexity of Fredholm Equations of the Second Kind: Noisy Information About Everything Werschulz, Arthur G. 2004 Reports Computer science
1062. The complexity of indefinite elliptic problems with noisy data Werschulz, Arthur G. 1997 Reports Computer science
1063. The Complexity of Multivariate Elliptic Problems with Analytic Data Werschulz, Arthur G. 1994 Reports Computer science
1064. The Complexity of the Poisson Problem for Spaces of Bounded Mixed Derivatives Werschulz, Arthur G. 1995 Reports Computer science
1065. The Complexity of Two-Point Boundary-Value Problems With Piecewise Analytic Data Werschulz, Arthur G. 1993 Reports Computer science
1066. The Connected Component Algorithm on The NON-VON Supercomputer Ibrahim, Hussein A. H. 1984 Reports Computer science
1067. The Cord Approach to Extensible Concurrency Control Heineman, George T.; Kaiser, Gail E. 1995 Reports Computer science
1069. The DADO Production System Machine Stolfo, Salvatore; Miranker, Daniel P. 1984 Reports Computer science
1070. The Delay-Friendliness of TCP Brosh, Eli; Baset, Salman Abdul; Misra, Vishal; Rubenstein, Daniel Stuart; Schulzrinne, Henning G. 2008 Reports Computer science
1071. The Delay-Friendliness of TCP Brosh, Eli; Baset, Salman Abdul; Misra, Vishal; Rubenstein, Daniel Stuart; Schulzrinne, Henning G. 2007 Reports Computer science
1072. The derivation of two-dimensional surface shape from shadows Hatzitheodorou, Michael 1988 Reports Computer science
1073. The Design and Implementation of Elastic Quotas: A System for Flexible File System Management Leonard, Ozgur Can; Nieh, Jason; Zadok, Erez; Shater, Ariye; Osborn, Jeffrey; Wright, Charles P. 2002 Reports Computer science
1074. The Design of High-Throughput Asynchronous Pipelines Singh, Montek 2001 Reports Computer science
1075. The Do-loop Considered Harmful in Production System Programming Biema, Michael van; Miranker, Daniel P.; Stolfo, Salvatore 1986 Reports Computer science
1078. The exponent of discrepancy is at most 1.4778 . . . Wasilkowski, Grzegorz W.; Wozniakowski, Henryk 1996 Reports Computer science
1079. The Failure of Online Social Network Privacy Settings Madejski, Michelle; Johnson, Maritza Lupe; Bellovin, Steven Michael 2011 Reports Computer science
1080. The Gigabit per Second Isochronet Switch Florissi, Danilo; Yemini, Yechiam 1995 Reports Computer science
1081. The IIc Parallel Language and Its Implementation on Dado2 Mills, Russell C. 1989 Reports Computer science
1082. The Impact of SCTP on Server Scalability and Performance Ono, Kumiko; Schulzrinne, Henning G. 2008 Reports Computer science
1083. The Impact of TLS on SIP Server Performance Shen, Charles; Nahum, Erich; Schulzrinne, Henning G.; Wright, Charles P. 2009 Reports Computer science
1085. The In Vivo Approach to Testing Software Applications Murphy, Christian; Kaiser, Gail E.; Chu, Matt 2008 Reports Computer science
1086. The MELD Programming Language: User Manual Schilit, Bill N.; Hseush, Wenwey; Popovich, Steven S.; Wu, Shyhtsun Felix 1989 Reports Computer science
1087. The Multicast Policy and Its Relationship to Replicated Data Placement Milo, Amir; Wolfson, Ouri 1989 Reports Computer science
1089. The NON-VON Database Machine: An Overview Shaw, David Elliot; Stolfo, Salvatore; Ibrahim, Hussein; Hillyer, Bruce K.; Andrews, Jim; Wiederhold, Gio 1981 Reports Computer input-output equipmentParallel programming (Computer science)Computer engineeringInformation scienceColumbia UniversityStanford University
1091. The NON-VON Supercomputer Project: Current Ideology and Three-Year Plan Shaw, David Elliot 1983 Reports Computer science
1092. The OPS Family of Production System Languages Pasik, Alexander J. 1986 Reports Computer science
1093. Theoretical Bounds on Control-Plane Self-Monitoring in Routing Protocols Rajendran, Raj Kumar; Misra, Vishal; Rubenstein, Daniel Stuart 2006 Reports Computer science
1094. The PBS Policy: Some Properties and Their Proofs Feng, Hanhua; Misra, Vishal; Rubenstein, Daniel Stuart 2007 Reports Computer science
1095. The Power of Various Real-Valued Quantum Queries Bessen, Arvid J. 2005 Reports Computer science
1096. The Pseudorandomness of Elastic Block Ciphers Cook, Debra L.; Yung, Moti; Keromytis, Angelos D. 2005 Reports Computer science
1098. There Exists a Problem Whose Computational Complexity is Any Given Function of the Information Complexity Chu, Ming 1993 Reports Computer science
1099. The Role of Reliability, Availability and Serviceability (RAS) Models in the Design and Evaluation of Self-Healing Systems Griffith, Rean; Virmani, Ritika; Kaiser, Gail E. 2007 Reports Computer science
1100. The Semi-Automatic Generation of Processing Element Control Paths for Highly Parallel Machines Sabety, Theodore M.; Mathies, Brian; Shaw , David Elliot 1984 Reports Computer science