|
UC Davis Department of Computer Science Technical Papers, Dissertations, & Theses |
2009
2008
2007
2006
2005
2004
| CSE-2004-3.pdf (Technical Report): | Route Flap Damping Analysis |
| Authors: | R. Limprasittiporn |
| | |
| CSE-2004-4.pdf (Technical Report): | Specification-based Network Intrusion Detection Model: Detecting Attacks on DHCP Protocol |
| Authors: | Y. Ting |
| | |
| CSE-2004-5.pdf (Technical Report): | Design and Implementation of a cross Platform Real-Time Operating System and Embedded Hardware driver Model |
| Authors: | C. Nitta |
| | |
| CSE-2004-6.pdf (Technical Report): | A New Efficiently-Computed Lower Bound on the Number of Recombinations Needed in Phylogentic Networks |
| Authors: | D. Gusfield and D. Hickerson |
| | |
| CSE-2004-7.pdf (Technical Report): | Visual Data Analysis for Detecting Flaws and Intruders in Computer Network Systems |
| Authors: | S. Teoh and Kwan-Liu Ma and T.J. Jankun-Kelly and S.F. Wu |
| | |
| CSE-2004-8.pdf (Technical Report): | A Type-based Dimensional Analysis for Query |
| Authors: | Z. Su and G. Wasserman |
| | |
| CSE-2004-9.pdf (Technical Report): | PARMA: A Profile-Assisted Resources Management Algorithm for Improving QoS in Wireless Networks |
| Authors: | V. Pandey and D. Ghosal and B. Mukherjee |
| | |
| CSE-2004-10.pdf (Technical Report): | Dynamically Placed Inset for Tiled Displays |
| Authors: | Justin Walker |
| | |
| CSE-2004-11.pdf (Technical Report): | Host-level Deception as a Defense Against Insiders |
| Authors: | Deanna Rogers |
| | |
| CSE-2004-12.pdf (Technical Report): | Using a Knowledge-based Framework for Analyzing Sensor Network Protocols |
| Authors: | Deepika Yerragunta |
| | |
| CSE-2004-13.pdf (Technical Report): | Statistical Methods for Image and Signal Processing |
| Authors: | Philip Sallee |
| | |
| CSE-2004-14.pdf (Technical Report): | Expressive Visualization |
| Authors: | Eric Lum |
| | |
| CSE-2004-15.pdf (Technical Report): | Deadline-Aware Scheduling for On-Demand Data Broadcast |
| Authors: | WeiWei Cao |
| | |
| CSE-2004-16.pdf (Technical Report): | Performance Analysis and Automated Resource Selection for Distributed Visualization Pipelines |
| Authors: | Ian Bowman |
| | |
| CSE-2004-17.pdf (Technical Report): | Design and Analysis of Survivable Optical Networks |
| Authors: | Canhui Ou |
| | |
| CSE-2004-18.pdf (Technical Report): | Multipath Routing in Mobile Ad Hoc Networks: Applications and Link layer Issues |
| Authors: | Stephen Mueller |
| | |
| CSE-2004-19.pdf (Technical Report): | Supporting Access Control for XML Documents in Relational Database Systems |
| Authors: | Deirdre Kong |
| | |
| CSE-2004-20.pdf (Technical Report): | Improving Source-Based Software Visualization for Software Maintenance |
| Authors: | Stoney Jackson |
| | |
| CSE-2004-21.pdf (Technical Report): | A Customizable Source Projection Framework |
| Authors: | S. Jackson and E. Wohlstadter and K. Ma and P. Devanbu |
| | |
| CSE-2004-22.pdf (Technical Report): | Stable, Flexible, Peephole Pretty-Printing |
| Authors: | S. Jackson and P. Devanbu and K. Ma |
| | |
| CSE-2004-23.pdf (Technical Report): | Modelling a Computer Worm Defense System |
| Authors: | S. Cheetancheri |
| | |
| CSE-2004-24.pdf (Technical Report): | Structure-Preserving Model Reduction Using A Krylov Subspace Projection Formulation |
| Authors: | R.C. Li and Z. Bai |
| | |
| CSE-2004-26.pdf (Technical Report): | Peephole Pretty Printing |
| Authors: | H. Jackson |
| | |
| CSE-2004-27.pdf (Technical Report): | Visualization and Interaction Techniques for Large Hierarchies and Graphs |
| Authors: | J. McPherson |
| | |
| CSE-2004-28.pdf (Technical Report): | Performance Analysis of Routing and Gateway Selection for Voice Over IP in a Converged Network |
| Authors: | P. Liao |
| | |
| CSE-2004-29.pdf (Technical Report): | Adaptive 4-8 Texture Hierarchies |
| Authors: | L. Hwa |
| | |
| CSE-2004-30.pdf (Technical Report): | 2004 Student Workshop on Computing |
| Authors: | CS |
| | |
| CSE-2004-32.pdf (Technical Report): | Optimal, Efficient Reconstruction of Root-Unknown Phylogenetic Networks with Constrained and Structured Recombination |
| Authors: | D.Gusfield |
| | |
| CSE-2004-33.pdf (Technical Report): | A Fundamental Decomposition Theory for Phylogenetic Networks and Incompatible Characters |
| Authors: | D. Gusfield |
| | |
| CSE-2004-34.pdf (Technical Report): | Tree Pattern Constraints for XML: Theory and Application |
| Authors: | A. Kwong |
| | |
| CSE-2004-35.pdf (Technical Report): | Synchroscalar: An Optimizing Scheduler and Architectural Evaluation |
| Authors: | P. Sultana |
| | |
| CSE-2004-36.pdf (Technical Report): | Virtual-Topology Adaptation for WDM Mesh Networks Under Dynamic Traffic and Realistic Cost Conditions |
| Authors: | S. Gieselman |
| | |
2003
| CSE-2003-5.pdf (Technical Report): | Polynomial Time Algorithms for Solving Integer Range Constraints |
| Authors: | Z. Su and D. Wagner |
| | |
| CSE-2003-6.pdf (Technical Report): | Fair Queuing With Service Envelopes (FQSE): A Cousin-Fair Hierarchical Scheduler And It's Application In Ethernet PON |
| Authors: | A. Banerjee and G. Kramer and B. Mukherjee and N. Singhal and S. Dixit and Y. Ye |
| | |
| CSE-2003-7.pdf (Technical Report): | A Projection Subspace and its Application to the Quadratic Eigenvalue Problem |
| Authors: | Z. Bai |
| | |
| CSE-2003-8.pdf (Technical Report): | SLIC:Scheduled Linear Image Compositing for Parallel Volume Rendering |
| Authors: | A. Stompel and K. Ma and E. Lum and J. Ahrens and J. Patchett |
| | |
| CSE-2003-9.pdf (Technical Report): | A Novel Interface for Ten-Dimensional Classification Functions |
| Authors: | F. Tzeng and K. Ma and E. Lum |
| | |
| CSE-2003-10.pdf (Technical Report): | A Rendering Isosurfaces Directly From 3D Textures |
| Authors: | E. Lum and K. Ma |
| | |
| CSE-2003-11.pdf (Technical Report): | Visualizing Industrial CT Volume Data for Nondestructive Testing Applications |
| Authors: | R. Huang and K. Ma and P. McCormick and W. Ward |
| | |
| CSE-2003-12.pdf (Technical Report): | Traffic Grooming for Survivable WDM NetworksÑDedicated Protection |
| Authors: | C. Ou and K. Zhu and H. Zang and J. Zhang and H. Zhu and B. Mukherjee and L.Sahasrabuddhe |
| | |
| CSE-2003-13.pdf (Technical Report): | Traffic Grooming for Survivable WDM NetworksÑShared Protection |
| Authors: | C. Ou and B. Mukherjee and H. Zang and K. Zhu and L. Sahasrabuddhe |
| | |
| CSE-2003-14.pdf (Technical Report): | Generalized Segment Protection for Bandwidth Efficiency and Differentiated Quality of Protection in Optical Networks |
| Authors: | C. Ou and B. Mukherjee |
| | |
| CSE-2003-15.pdf (Technical Report): | Group Communications in Mobile Ad Hoc Networks |
| Authors: | P. Mohapatra and J. Li and C. Gui |
| | |
| CSE-2003-16.pdf (Technical Report): | Next-Generation Information Retrieval: Integrating Document and Data Retrieval Based on XML |
| Authors: | J. Bremer |
| | |
| CSE-2003-17.pdf (Technical Report): | Design and Analysis of Traffic-Groomable Optical WDM Networks |
| Authors: | K. Zhu |
| | |
| CSE-2003-18.pdf (Technical Report): | Web Server Performance Improvement and QoS Provisioning |
| Authors: | H. Chen |
| | |
| CSE-2003-19.pdf (Technical Report): | Out-of-Core Interactive Display of Large Meshes Using an Oriented Bounding Box-Based Hardware Depth Query |
| Authors: | H. Ha |
| | |
| CSE-2003-20.pdf (Technical Report): | Distributed XML Repositories: Top-down Design and Transparent Query Processing |
| Authors: | M. Gertz and J. Bremer |
| | |
| CSE-2003-21.pdf (Technical Report): | A second-order Krylov subspace and its application for solving the quadratic eigenvalue problem |
| Authors: | Z. Bai and Y. Su |
| | |
| CSE-2003-22.pdf (Technical Report): | OptimizingPlacementof Beacons and Data loggers in a Sensor Network, A Case Study |
| Authors: | J. Yick and D. Ghosal and A. Bharathidasan and G. Pasternack and B. Mukherjee |
| | |
| CSE-2003-23.pdf (Technical Report): | The Complexity of Message Delivery in Kleinberg's Small-world Model |
| Authors: | C. Martel and V. Nguyen |
| | |
| CSE-2003-24.pdf (Technical Report): | 2003 Student Workshop |
| Authors: | CS |
| | |
| CSE-2003-25.pdf (Technical Report): | Out-of-core Interactive Display of Large Meshes An Using Oriented Bounding Box-based Hardware Depth Query |
| Authors: | K. Joy and H. Ha |
| | |
| CSE-2003-26.pdf (Technical Report): | Adaptive Extraction of Time-varying Isosurfaces |
| Authors: | K. Joy and H. Ha and J. Senecal and B. Gregorski and M. Duchaineau |
| | |
| CSE-2003-27.pdf (Technical Report): | Compression and Occlusion for Fast Isosurface Extraction from Massive Datasets |
| Authors: | K. Joy and J. Senecal and B. Gregorski and M. Duchaineau |
| | |
| CSE-2003-28.pdf (Technical Report): | The Fine Structure Of Galls In Phylogenetic Networks With Recombination |
| Authors: | D. Gusfield and S. Eddhu and C. Langley |
| | |
| CSE-2003-29.pdf (Technical Report): | Optimal Efficient Reconstruction Of Phylogenetic Networks With Constrained Recombination |
| Authors: | D. Gusfield and S. Eddhu and C. Langley |
| | |
| CSE-2003-30.pdf (Technical Report): | On Tree Pattern Constraints for XML Documents |
| Authors: | M. Gertz and A. Kwong |
| | |
| CSE-2003-31.pdf (Technical Report): | High Quality Lighting for Pre-Integrated Volume Rendering |
| Authors: | K. Ma and E. Lum and B. Wilson |
| | |
| CSE-2003-32.pdf (Technical Report): | Using Cross-Sharing Trees for Survivable Multicast Connections in Mesh Networks |
| Authors: | N. Singhal and C. Ou and B. Mukherjee and L. Sahasrabuddhe |
| | |
| CSE-2003-33.pdf (Technical Report): | Image-Based Rendering of Range Data and Depth Uncertainty |
| Authors: | C. Hofsetz |
| | |
| CSE-2003-35.pdf (Technical Report): | Detecting Day-Zero Worms using Anomalous Pattern Discovery |
| Authors: | A. Aggarwal |
| | |
| CSE-2003-36.pdf (Technical Report): | TCPOpera: A Software Tool to Actively Manipulate Recorded TCP Traffic |
| Authors: | F. Wong |
| | |
| CSE-2003-38.pdf (Technical Report): | Network-Based Detection of Polymorphic Attacks |
| Authors: | A. Pasululati |
| | |
| CSE-2003-39.pdf (Technical Report): | Vulnerability Database Integration with Intrusion Detection Systems |
| Authors: | V. Law |
| | |
| CSE-2003-40.pdf (Technical Report): | Policy-Based Protection Against External Programs Via Code Transformation |
| Authors: | B. Hashii |
| | |
| CSE-2003-41.pdf (Technical Report): | Adaptive View-dependanti Multi-valued Volume Data Visualization Using Data-dependant and Data-independent Metrics |
| Authors: | J. Gray |
| | |
| CSE-2003-42.pdf (Technical Report): | Analyzing packet delay Across A GSM/GPRS Network |
| Authors: | X. Fang and D. Ghosal |
| | |
| CSE-2003-43.pdf (Technical Report): | Compression and Occulsion for Fast Isosurface Extraction from Massive Datasets |
| Authors: | B. Gregorski and J. Senecal and K. Joy and M. Duchaineau |
| | |
| CSE-2003-44.pdf (Technical Report): | Interactive and Perpetually Enhanced Visualization of Large, Complex Line-Based Datasets |
| Authors: | G. Schussman |
| | |
2002
| CSE-2002-2.pdf (Technical Report): | Resource Management for IP Telephony Networks |
| Authors: | Matthew C. Caesar and Dipak Ghosal and Randy H. Katz |
| | |
| CSE-2002-6.pdf (Technical Report): | Online Algorithms For Shared-Path Protection In Optical WDM Mesh Networks |
| Authors: | C. Ou and J. Zhang and H. Zang and B. Mukherjee and L. Sahasrabuddhe |
| | |
| CSE-2002-25.pdf (Technical Report): | Detecting Spoofed Packets |
| Authors: | S. Templeton |
| | |
| CSE-2002-26.pdf (Technical Report): | Using Properties of Network Topology to Detect Malicious Routing Behavior |
| Authors: | P Balasubramanyam and K. Levitt |
| | |
| CSE-2002-31.pdf (Technical Report): | NP-Completeness Of Minimum Cost Network Flow Problem |
| Authors: | K.Zhu and B.Mukherjee |
| | |
| CSE-2002-38.pdf (Technical Report): | Computing The Disconnectivity Of A Graph |
| Authors: | G. Nuckolls and C. Martel and D. Sniegowski and M. Haungs |
| | |
2001
| CSE-2001-6.pdf (Technical Report): | On the time complexity of finding link disjoint and bundle disjoint lightpaths in a WDM network |
| Authors: | L. Sahasrabuddhe and B. Mukherjee |
| | |
| CSE-2001-7.pdf (Technical Report): | Proceedings of the 2001 UC Davis Student Workshop on Computing |
| Authors: | D. Keen |
| | |
| CSE-2001-8.pdf (Technical Report): | A Practical Architecture for Reliable Quantum Computers |
| Authors: | Mark Oskin and Frederic T. Chong and Isaac Chuang |
| | |
| CSE-2001-9.pdf (Technical Report): | A General Model for Authenticated Data Structures |
| Authors: | Chip Martel and Glen Nuckolls and Prem Devanbu and Michael Gertz and April Kwon and Stuart and G. Stubblebine |
| | |
| CSE-2001-10.pdf (Technical Report): | MigratingSockets: Bridging the OS Primitive/Internet Application Gap |
| Authors: | Michael Haungs and Raju Pandey and Earl Barr and J. Fritz Barnes |
| | |
2000
| CSE-2000-1.pdf (Technical Report): | Perfect Phylogenies for Incomplete Characters |
| Authors: | Oliver Eulenstein and David Fernandez-Baca |
| | |
| CSE-2000-2.pdf (Technical Report): | MACA- An Efficient Channel Allocation Scheme In Wireless Network |
| Authors: | Xiaoxin Wu and B. Mukherjee and S.H and Gary Chan |
| | |
| CSE-2000-3.pdf (Technical Report): | MADF: A Novel Approach to Add an Ad-Hoc Overlay On a Fixed Cellular Network Systems Info structure |
| Authors: | B. Mukherjee and Xiaowin Wu |
| | |
| CSE-2000-4.pdf (Technical Report): | Roadmaps to Higher IPC: Combining Statistical and Symbolic Simulation to Guide Microprocessor Designs |
| Authors: | Mark Oskin and Fred Chong and Matt Farrens |
| | |
| CSE-2000-9.pdf (Technical Report): | Grad Workshop on Computing |
| Authors: | Grad Workshop |
| | |
1999
| CSE-99-1.pdf (Technical Report): | CSE-99-1 |
| Authors: | Chip Martel and Dan Gusfield |
| | |
| CSE-99-3.pdf (Technical Report): | UMAC-Message Authentication Code using Halevi Universal Hashing |
| Authors: | Black and Hevia and Krawczyk and Krovetz and Rogaway |
| | |
| CSE-99-4.pdf (Technical Report): | ATLAS: A TCP-level Load-shared Active Server |
| Authors: | Vijoy Pandey and Dipak Ghosal |
| | |
| CSE-99-8.pdf (Technical Report): | CSE-99-8 |
| Authors: | Gusfield |
| | |
| CSE-99-9.pdf (Technical Report): | Grad Workshop on Computing |
| Authors: | Grad Workshop |
| | |
| CSE-99-10.pdf (Technical Report): | CSE-99-10 |
| Authors: | Raju Pandey |
| | |
| CSE-99-11.pdf (Technical Report): | CBC MACs for Arbitrary-Length Messages: The Three-Key Constructions |
| Authors: | John Black and Phil Rogaway |
| | |
1998
| CSE-98-2.pdf (Technical Report): | Simple and Flexible Detection of Contiguous Repeats Using a Suffix Tree |
| Authors: | J. Stoye amd D. Gusfield |
| | |
| CSE-98-5.pdf (Technical Report): | Automatic Policy Satisfaction and Verification for Intranet Wide Defense Systems Using Signature Based Intrusion Detection and Response Systems |
| Authors: | Mell |
| | |
| CSE-98-6.pdf (Technical Report): | CSE-98-6 |
| Authors: | L. Sahasrabuddhe and Biswanath Mukherjee |
| | |
| CSE-98-7.pdf (Technical Report): | Executive Summary of the UC Davis Intrusion Detection and Response Data Sharing Workshop |
| Authors: | Matt Bishop and S. Northcutt |
| | |
| CSE-98-8.pdf (Technical Report): | CSE-98-8 |
| Authors: | Raju Pandey |
| | |
| CSE-98-10.pdf (Technical Report): | Design Issues for Decoupled Compilers |
| Authors: | Farrens and M. Rich |
| | |
1997
| CSE-97-4.pdf (Technical Report): | CSE-97-4 |
| Authors: | Laxman |
| | |
| CSE-97-5.pdf (Technical Report): | CSE-97-5 |
| Authors: | Pandey |
| | |
| CSE-97-6.pdf (Technical Report): | A Data Structure for Unstructured 3-Dimensional |
| Authors: | J. Legakis and R. MacCracken and Meshes and Ken Joy |
| | |
| CSE-97-7.pdf (Technical Report): | Impact of Transmission Impairments on Teletraffic Performance of Wavelength Routed Optical Networks |
| Authors: | B. Ramamurthy |
| | |
1996
| CSE-96-2.pdf (Technical Report): | CSE-96-2 |
| Authors: | Dan Gusfield |
| | |
| CSE-96-3.pdf (Technical Report): | CSE-96-3 |
| Authors: | Dan Gusfield |
| | |
| CSE-96-4.pdf (Technical Report): | CSE-96-4 |
| Authors: | Dan Gusfield |
| | |
| CSE-96-5.pdf (Technical Report): | CSE-96-5 |
| Authors: | Dan Gusfield |
| | |
| CSE-96-6.pdf (Technical Report): | CSE-96-6 |
| Authors: | Norm Matloff |
| | |
| CSE-96-7.pdf (Technical Report): | Free-form Deformations with lattices of Arbitrary Topology |
| Authors: | R. MacCracken and Ken Joy |
| | |
| CSE-96-9.pdf (Technical Report): | Free-Form Deformations with Lattices of Arbitrary Topology |
| Authors: | R. MacCracken and Ken Joy |
| | |
| CSE-96-10.pdf (Technical Report): | Performance Analysis of a Replicated Server Architecture for Supporting IP-Host Mobility |
| Authors: | J. P. Jue and Dipak Ghosal |
| | |
| CSE-96-12.pdf (Technical Report): | Optical Components for WDM Lightwave Networks |
| Authors: | M. Borella and S. Jue and Banerjee and Ramamurthy and Mukherjee |
| | |
| CSE-96-13.pdf (Technical Report): | Optimizing Amplifier Placements in a Multi-Wavelength Optical Network |
| Authors: | Ramamurthy and J. Iness and Biswanath Mukherjee |
| | |
| CSE-96-16.pdf (Technical Report): | Preliminary Study to Justify the Use of Sparse Wavelength Converters in Optical Networks |
| Authors: | J. Iness and Biswanath Mukherjee |
| | |
| CSE-96-17.pdf (Technical Report): | Wavelength Conversion in WDM Networking |
| Authors: | B. Ramamurthy Biswanath Mukherjee |
| | |
| CSE-96-19.pdf (Technical Report): | Diagnosing Jultiple Interacting Defects with Combination Descriptions |
| Authors: | Nancy Reed |
| | |
| CSE-96-20.pdf (Technical Report): | Integration of an Expert Teaching Assistant with Distance Learning Software |
| Authors: | Nancy Reed |
| | |
| CSE-96-21.pdf (Technical Report): | Branch Penalty Reduction via Modified Hardware Predication |
| Authors: | Matthew Farrens and G. Tyson and K. Rich and A. Pleszkun |
| | |
1995
| CSE-95-1.pdf (Technical Report): | An Improved Model of Heterogeneous Elevator (SCAN) Polling |
| Authors: | M. S. Borella and Biswanath Mukherjee |
| | |
| CSE-95-3.pdf (Technical Report): | Microkernel Support for Distributed Programming Languages: Issues in Design and Implementation |
| Authors: | G. Bemson |
| | |
| CSE-95-4.pdf (Technical Report): | Scheduling Packet Traffic on Latin-Router-Based SingleHop WDM Local Optical Networks |
| Authors: | M. Borella |
| | |
| CSE-95-5.pdf (Technical Report): | A Lower Bound on the Expected Cost of Minimum Delay Multicast Traffic |
| Authors: | M. Borella |
| | |
| CSE-95-12.pdf (Technical Report): | Generating Optimal Sequential Experiments for a Bayesian Classifier |
| Authors: | R. Davis and A. Prietitis |
| | |
| CSE-95-13.pdf (Technical Report): | Problems with Proposed IP Cryptography |
| Authors: | Phil Rogaway |
| | |
| CSE-95-14.pdf (Technical Report): | CBC Encryption |
| Authors: | Phil Rogaway |
| | |
1994
| CSE-94-1.pdf (Technical Report): | An approximation algorithm for the minimum broadcast time problem |
| Authors: | R. Ravi |
| | |
| CSE-94-4.pdf (Technical Report): | A Distributed Algorithm for Dynamic Load Balancing on WDM/TDM Local Lightwave Networks |
| Authors: | M. Borella and Biswanath Mukherjee |
| | |
| CSE-94-5.pdf (Technical Report): | Preliminary Specification of MicroSR Semantics in HOL |
| Authors: | C. Zhang |
| | |
| CSE-94-6.pdf (Technical Report): | Improved Solution to the Reproducibility Problem for Semaphores |
| Authors: | Ron Olsson |
| | |
| CSE-94-7.pdf (Technical Report): | Reproducible Execution of SR Programs |
| Authors: | Ron Olsson |
| | |
| CSE-94-8.pdf (Technical Report): | CSE-94-8 |
| Authors: | J. Iness |
| | |
| CSE-94-9.pdf (Technical Report): | Tools for Teaching CCRs, Monitors, and CSP Concurrent Programming Concepts |
| Authors: | Ron Olsson and C. McNamee |
| | |
| CSE-94-10.pdf (Technical Report): | Implementation Notes for CCR, Monitor, and CSP Preprocessors for SR |
| Authors: | Ron Olsson |
| | |
| CSE-94-11.pdf (Technical Report): | Experience Using the C Preprocessor to Implement CCR, Monitor, and CSP Preprocessors for SR |
| Authors: | Ron Olsson |
| | |
| CSE-94-12.pdf (Technical Report): | Qualitative Regularization: Resolving Non-smooth Solutions |
| Authors: | L. Simcik and Peter Linz |
| | |
| CSE-94-13.pdf (Technical Report): | A Reservation-Based Multicasting Protocol for WDM4 Local Lightwave Networks |
| Authors: | M. Borella and Biswanath Mukherjee |
| | |
1993
| CSE-93-1.pdf (Technical Report): | Combinatorial algorithms for DNA sequence assembly |
| Authors: | J. Kececioglu |
| | |
| CSE-93-2.pdf (Technical Report): | Exact and approximation algorithms for the inversion distance between two chromosomes |
| Authors: | J. Kececioglu |
| | |
| CSE-93-3.pdf (Technical Report): | An Analysis of the Linear Functional Strategy for Ill-Posed Problems |
| Authors: | Peter Linz |
| | |
| CSE-93-4.pdf (Technical Report): | FANSYS: A Computer Model of Text Comprehension and Question Answering for Failure Analysis |
| Authors: | S. Alvarado and R. K. Braun and K. J. Mock |
| | |
| CSE-93-5.pdf (Technical Report): | Scheduling Variable-Length Messages In A Single-Hop Multichannel Local Lightwave Network |
| Authors: | Feiling Jia and Biswanath Mukherjee and J. Inesson |
| | |
| CSE-93-6.pdf (Technical Report): | Using General Polar Values as Control Points for Polynomial Curves |
| Authors: | M. Duchaineau |
| | |
| CSE-93-7.pdf (Technical Report): | CSE-93-7 |
| Authors: | Calvin Ko |
| | |
| CSE-93-8.pdf (Technical Report): | Optimized Partitioning of a Wavelength Distributed Data Interface Ring Network |
| Authors: | Biswanath Mukherjee and S. Ramamurthy and B. Moslehi |
| | |
| CSE-93-9.pdf (Technical Report): | Network Intrusion Detection |
| Authors: | Biswanath Mukherjee and K.N. Levitt |
| | |
| CSE-93-10.pdf (Technical Report): | Some Principles for Designing A Wide-Area Optical Network |
| Authors: | Biswanath Mukherjee and S. Ramamurthy and D. Banerjee and A. Mukherjee |
| | |
| CSE-93-11.pdf (Technical Report): | GEMNET: A Generalized, Shuffle-Exchange-Based Regular, Scalable, and Modular Multihop Network Based on WDM Lightwave Technology |
| Authors: | J. Iness and Biswanath Mukherjee and S. Banerjee |
| | |
| CSE-93-12.pdf (Technical Report): | Variable-length Message Scheduling Algoritms for WDM-based Multichannel Local Lightwave Networks with Performance Comparisons |
| Authors: | F. Jia and Biswanath Mukherjee and J. Iness and S. Ojha |
| | |
| CSE-93-13.pdf (Technical Report): | CSE-93-13 |
| Authors: | Dan Gusfield |
| | |
1992
| CSE-92-16.pdf (Technical Report): | Algorithms for Optimized Node Arrangements in ShuffleNet Based Multihop Lightwave Networks |
| Authors: | S. Banerjee and Biswanath Mukherjee |
| | |
| CSE-92-17.pdf (Technical Report): | Intrusion Detection: the Applic of Feature Selection a Comparison of Algorithms and the Application of a Wide Area Network Analyzer |
| Authors: | J. Doak |
| | |
| CSE-92-18.pdf (Technical Report): | An Evaluation of Feature Selection Methods and Their Application to Computer Security |
| Authors: | J. Doak |
| | |
| CSE-92-19.pdf (Technical Report): | Towards a Verified Code Basis for a Secure Distributed Operating System |
| Authors: | W. L. Harrison |
| | |
| CSE-92-20.pdf (Technical Report): | Mechanizing the Axiomatic Semantics for a Programming Language with Asynchronous Send and Receive in HOL |
| Authors: | W. L. Harrison |
| | |
| CSE-92-21.pdf (Technical Report): | A HOL Mechanization of The Axiomatic Semantics of a Simple Distributed Programming Language |
| Authors: | W. L. Harrsion |
| | |
| CSE-92-22.pdf (Technical Report): | Learning Reward Functions in Real-Time for Continuous-Spac e Navigation |
| Authors: | G. Bemson and A. Prieditis |
| | |
| CSE-92-25.pdf (Technical Report): | Using Coherent Cache Clusters as Multiported Memories in Large-scale Parallel Systems |
| Authors: | A. Park and Matthew Farrens |
| | |
| CSE-92-1.pdf (Technical Report): | Proofs Incorporating Extra-Formal Information |
| Authors: | Sara Kalvara and M. Archerla |
| | |
| CSE-92-2.pdf (Technical Report): | SR: A Language for Pararallel and Distributed Programming |
| Authors: | Ron Olsson and G. R. Andrews and G. M. Townsend |
| | |
| CSE-92-3.pdf (Technical Report): | Static Inter-module Analysis for Determining Process Co-Residency |
| Authors: | C. M. McNamee and Ron Olsson |
| | |
| CSE-92-4.pdf (Technical Report): | Efficient and Fair Protocol for a Multichannel Lightwave Network |
| Authors: | S. Banerjee and Biswanath Mukherjee |
| | |
| CSE-92-5.pdf (Technical Report): | Dynamic and Near-Optimal Configurations of Photonic Ring Networks |
| Authors: | S. Banerjee and Biswanth Mukherjee |
| | |
| CSE-92-6.pdf (Technical Report): | A Generalized SVD Method for Ill-Posed Problems |
| Authors: | Peter Linz |
| | |
| CSE-92-8.pdf (Technical Report): | The Receiver Collison Avoidance (RCA) Protocol for a Single-Hop WDM Local Lightwave Network |
| Authors: | F. Jia and Biswanath Mukherjee |
| | |
| CSE-92-9.pdf (Technical Report): | Combinable Collections of Knot Suites: Generalized Spline Control Through Blossoming |
| Authors: | M.A. Duchaineau |
| | |
| CSE-92-10.pdf (Technical Report): | Validation of Array Accesses: Integration of Flow Analysis and Program Verification Techniques |
| Authors: | R. W. Lo and Karl Levitt and Ron Olsson |
| | |
| CSE-92-11.pdf (Technical Report): | A New View of Non-Interference |
| Authors: | R. Shaw J. and Ron Olsson |
| | |
| CSE-92-15.pdf (Technical Report): | RegularNet: An Arbitrary-Sized, Regular-Structured, Reconfigurable, Fault-Tolerant WDM-Based Multihop Lightwave Network |
| Authors: | J. Sung and Biswanath Mukherjee |
| | |
| CSE-92-12.pdf (Technical Report): | XGP User's Manual. A Simple X-Window Graphics |
| Authors: | D.Austin and S.McCall and Ken Joy |
| | |
1991
| CSE-91-31.pdf (Technical Report): | On Standards for Numerical Software |
| Authors: | Peter Linz |
| | |
| CSE-91-32.pdf (Technical Report): | Architectures and Protocols for WDM-Based Local Lightwave Networks |
| Authors: | Mukherjee |
| | |
| CSE-91-33.pdf (Technical Report): | Bimodal Throughput and Nonmonotonic Delay Characteristics of A Single-Hop WDM Local Lightwave Network |
| Authors: | Biswanath Mukherjee and F. Jiailing |
| | |
| CSE-91-34.pdf (Technical Report): | CSE-91-34 |
| Authors: | Alvarado |
| | |
| CSE-91-35.pdf (Technical Report): | CSE-91-35 |
| Authors: | Alvarado |
| | |
| CSE-91-36.pdf (Technical Report): | Improving Issue Rates of Deeply Pipelined Processors |
| Authors: | Matthew Farrens and A. Pleszkun |
| | |
| CSE-91-15.pdf (Technical Report): | Is the Shuffle-Exchange Better than the Butterfly |
| Authors: | R. Raghunathan and Huzur Saran |
| | |
| CSE-91-16.pdf (Technical Report): | Towards Composition of Verified Hardware |
| Authors: | T. E. Schubert |
| | |
| CSE-91-17.pdf (Technical Report): | Kanji-Lookup: A Computer-Based System for Beginning Students of Japanese |
| Authors: | Richard Walters and D. Fahy and A. Y. Nakamura and C. M. Reid |
| | |
| CSE-91-18.pdf (Technical Report): | Analysis of the Paging Behavior of UNIX |
| Authors: | A. Park and J. C. Becker |
| | |
| CSE-91-19.pdf (Technical Report): | Compiler Optimization of Interprocess Communication and Synchronization Mechanisms |
| Authors: | C. M. McNamee |
| | |
| CSE-91-20.pdf (Technical Report): | Mechanical Verification of Secure Distributed System Specifications |
| Authors: | J. Alves-Foss |
| | |
| CSE-91-21.pdf (Technical Report): | Mechanical Verification of Secure Distributed System Specifications: The HOL Proofs & Definitions |
| Authors: | J. Alves-Foss |
| | |
| CSE-91-22.pdf (Technical Report): | Representing and Enumerating Edge Connectivity Cuts in RNC |
| Authors: | D. Naor and V. Vazirani |
| | |
| CSE-91-23.pdf (Technical Report): | Towards Detecting Intrusions in a Networked Environment |
| Authors: | T. Heberlein |
| | |
| CSE-91-25.pdf (Technical Report): | Analyzing the Information Content of Address Reference Streams |
| Authors: | J. Becker and A. Park and Matthew Farrens |
| | |
| CSE-91-26.pdf (Technical Report): | Workload and Implementation Considerations for Dynamic |
| Authors: | Matthew Farrens and A. Park |
| | |
| CSE-91-27.pdf (Technical Report): | Proceedings of the Joint American-Japanese Workshop on Parallel Knowledge Systems and Logic Programming |
| Authors: | R. Keller |
| | |
| CSE-91-28.pdf (Technical Report): | CCHIME: A Cache Coherent Hybrid Interconnected Memory Extension |
| Authors: | Matthew Farrens and A. Park and A. Woodruff |
| | |
| CSE-91-29.pdf (Technical Report): | Heuristic Algorithms for Constructing Near-Optimal Structures of Linear Multihop Lightwave Networks |
| Authors: | S. Banerjee and Biswanath Mukherjee and D. Sarkar |
| | |
| CSE-91-30.pdf (Technical Report): | Design of A Knowledge-Based System for Underlying |
| Authors: | C. Zhang and Richard Walters |
| | |
| CSE-91-1.pdf (Technical Report): | An Overview of Compiler Optimization of Interprocess Communication and Synchronization Mechanisms |
| Authors: | Ron Olsson and C. M. McNamee |
| | |
| CSE-91-2.pdf (Technical Report): | Axiomatic Semantics for Escape Statements |
| Authors: | D. T. Huang and Ron Olsson |
| | |
| CSE-91-4.pdf (Technical Report): | Efficient Methods for Multiple Sequence Alignment With Guaranteed Error Bounds |
| Authors: | Dan Gusfield |
| | |
| CSE-91-5.pdf (Technical Report): | Color set Size Problem with Applications to String Matching |
| Authors: | L. Hui |
| | |
1990
| CSE-90-22.pdf (Technical Report): | The Formal Verification of Generic Interpreters |
| Authors: | P.J. Windley |
| | |
| CSE-90-24.pdf (Technical Report): | CSE-90-24 |
| Authors: | A. Jasuja |
| | |
| CSE-90-25.pdf (Technical Report): | An Approach to Genuine Dynamic Linking |
| Authors: | W. W. Ho and Ron Olsson |
| | |
| CSE-90-26.pdf (Technical Report): | How to emulate synchrony |
| Authors: | Chip Martel and R. Subramonian |
| | |
| CSE-90-27.pdf (Technical Report): | Verification of Memory Management Units Using HOL |
| Authors: | T. Schubert |
| | |
| CSE-90-28.pdf (Technical Report): | Sequential Debugging: Raising its Level of Abstraction |
| Authors: | Ron Olsson and R. Crawford and W. W. Ho and C. E. Wee |
| | |
| CSE-90-29.pdf (Technical Report): | CSE-90-29 |
| Authors: | S. Kalvala |
| | |
| CSE-90-30.pdf (Technical Report): | A Planning System for the Secure Systems |
| Authors: | D. A. Frincke and M. Archer and Karl Levitt |
| | |
| CSE-90-31.pdf (Technical Report): | Scheduling Variable-Length Messages On Slotted, High-Speed Fiber Optic LANs/MANs Using the Continuation-Bit Approach |
| Authors: | Biswanath Mukherjee and A. Kamal |
| | |
| CSE-90-32.pdf (Technical Report): | Alternative Strategies for Improving the Fairness in an Analytical Model of DQDB Networks |
| Authors: | Biswanath Mukherjee and S. Banerjee |
| | |
| CSE-90-1.pdf (Technical Report): | A Poor Man's Implementation of Abstract Theories |
| Authors: | P.J. Windley |
| | |
1989
| CSE-89-18.pdf (Technical Report): | A Posteriori Error Bounds for Nonlinear Operator Equations |
| Authors: | R. L. C. Wang and Peter Linz |
| | |
| CSE-89-19.pdf (Technical Report): | On Invisibility Coherence |
| Authors: | Ken Joy |
| | |
| CSE-89-20.pdf (Technical Report): | On the Complexity of Distributed Algorithms for Multiple Access Broadcast Networks |
| Authors: | T. P. Vayda |
| | |
| CSE-89-21.pdf (Technical Report): | A Fast Algorithm for the Generalized Parametric Minimum Cut Problem and Applications |
| Authors: | Dan Gusfield and Chip Martel |
| | |
| CSE-89-22.pdf (Technical Report): | A Failure Detection and Handling Mechanism for the SR Distributed Programming Language |
| Authors: | D. T. Huang |
| | |
| CSE-89-23.pdf (Technical Report): | An Exception Handling Mechanism for SR |
| Authors: | D. T. Huang and Ron Olsson |
| | |
| CSE-89-24.pdf (Technical Report): | Toward the Optimization of Interprocess Communication Mechanisms |
| Authors: | C. McNamee |
| | |
| CSE-89-25.pdf (Technical Report): | Transformations for Optimizing Interprocess Communication |
| Authors: | C. McNamee and Ron Olsson |
| | |
| CSE-89-26.pdf (Technical Report): | A Comparison of Synchronization Mechanisms for Concurrent Programming |
| Authors: | J. Herman |
| | |
| CSE-89-27.pdf (Technical Report): | A Hierarchical Methodology for Verifying Microprocessors |
| Authors: | P. Windley |
| | |
| CSE-89-28.pdf (Technical Report): | Bounds and Estimates for Condition Numbers of Integral Equations |
| Authors: | Peter Linz |
| | |
| CSE-89-29.pdf (Technical Report): | Integrated Voice-Data Communication Over High-Speed Fiber Optic Networks |
| Authors: | Biswanath Mukherjee |
| | |
| CSE-89-30.pdf (Technical Report): | Faster Detection of Comprised Data In 2-D Tables |
| Authors: | Dan Gusfield |
| | |
| CSE-89-31.pdf (Technical Report): | OpEd: A Computer Model of Argument Comprehension and Retrieval |
| Authors: | Alvarado |
| | |
| CSE-89-32.pdf (Technical Report): | A Model of Politico-Economic Knowledge for Computer Comprehension of Editorials |
| Authors: | Alvarado |
| | |
| CSE-89-33.pdf (Technical Report): | Improved Uniprocessor Cache Performance Using an Optical Interconnect |
| Authors: | T. Schubert and R. Gosula and Norm Matloff |
| | |
| CSE-89-34.pdf (Technical Report): | Natural Language Processing: Computer Comprehension of Editorial Text |
| Authors: | Alvarado |
| | |
| CSE-89-35.pdf (Technical Report): | Argument Representation for Editorial Text |
| Authors: | Alvarado |
| | |
| CSE-89-36.pdf (Technical Report): | Argument Comprehension and Retrieval for Editorial Text |
| Authors: | Alvarado |
| | |
| CSE-89-37.pdf (Technical Report): | Exception Handling in an Object-Oriented Language |
| Authors: | P. Windley |
| | |
| CSE-89-38.pdf (Technical Report): | The Design and Implementation of a High Performance Single-Chip Processor |
| Authors: | Matthew Farrens |
| | |
1988
| CSE-88-1.pdf (Technical Report): | The SR Approach to Multiway Rendezvous |
| Authors: | M. Coffin and Ron Olsson |
| | |
| CSE-88-2.pdf (Technical Report): | Parametric Stable Marriage |
| Authors: | Dan Gusfield and R. W. Irving |
| | |
| CSE-88-3.pdf (Technical Report): | An Algorithm for the Pi-Persistent Protocol - Using Infinite Buffers and Channel Feedback |
| Authors: | Biswanath Mukherjee |
| | |
| CSE-88-4.pdf (Technical Report): | Efficient Algorithms for Inferring Evolutionary History |
| Authors: | Dan Gusfield |
| | |
| CSE-88-5.pdf (Technical Report): | A Program for Solving Fredholm Integral Equations with Guaranteed Accuracy |
| Authors: | Peter Linz and R. L. C. Wang |
| | |
| CSE-88-6.pdf (Technical Report): | Partial Implementations of Abstract Data Types: Theory and Practice. Thesis, June 1988 |
| Authors: | M. Archer |
| | |
| CSE-88-7.pdf (Technical Report): | Performance of Priority Queue Structures in a Virtual Memory Environment |
| Authors: | D. Naor and Chip Martel and Norm Matloff |
| | |
| CSE-88-8.pdf (Technical Report): | A Study of Two Efficient Access Protocols for Unidirectional Broadcast Bus Networks |
| Authors: | A. C. Lantz and Biswanath Mukherjee |
| | |
| CSE-88-9.pdf (Technical Report): | The Open-Ring/Active-Bus Network Structure - Access Techniques and Their Heavy Traffic Performance |
| Authors: | Biswanath Mukherjee |
| | |
| CSE-88-10.pdf (Technical Report): | SIGGRAPH/88 - Slides from Tutorial #9 |
| Authors: | Ken Joy |
| | |
| CSE-88-11.pdf (Technical Report): | Properties of Sorting and Maximum Finding on a Multiple Access Channel |
| Authors: | Chip Martel and W.-L. Moh |
| | |
| CSE-88-12.pdf (Technical Report): | A Simple Techniques for Automatic Recompilation in Modular Programming Languages |
| Authors: | Ron Olsson and G. R. Whitehead |
| | |
| CSE-88-13.pdf (Technical Report): | Design of Monolithic Digital Archieve: Bringing the Library of Congress on Line |
| Authors: | A. Park |
| | |
| CSE-88-14.pdf (Technical Report): | Extracting Maximal Information About Sets of Minimum Cuts |
| Authors: | Dan Gusfield and D. Naor |
| | |
| CSE-88-15.pdf (Technical Report): | A Fast Parallel Quicksort Algorithm |
| Authors: | Chip Martel and Dan Gusfield |
| | |
| CSE-88-16.pdf (Technical Report): | The Processor Identify Problem |
| Authors: | R.J. Lipton and A. Park |
| | |
| CSE-88-17.pdf (Technical Report): | A Workstation Based Course Management and Instruction System |
| Authors: | Fisher |
| | |
| CSE-88-18.pdf (Technical Report): | Expected Linear Time Sorting on a Multiple Access Channel |
| Authors: | Chip Martel and W.-L. Moh |
| | |
| CSE-88-19.pdf (Technical Report): | L.C. Bounds on the Inverses of Certain Integral Operators with Non-Smooth Kernels |
| Authors: | Wang, R. and Peter Linz |
| | |
| CSE-88-20.pdf (Technical Report): | A Multilingual Workstation Support System |
| Authors: | Richard Walters |
| | |
1987
| CSE-87-1.pdf (Technical Report): | Very Simple Algorithms and Programs for all Pairs Network Flow Analysis |
| Authors: | Dan Gusfield |
| | |
| CSE-87-2.pdf (Technical Report): | Computing the Strength of a Network in 0(|V|3E|) Time |
| Authors: | Dan Gusfield |
| | |
| CSE-87-3.pdf (Technical Report): | Computer Graphics Shading Models, M.S. Thesis 6/87 |
| Authors: | J. Chen |
| | |
| CSE-87-4.pdf (Technical Report): | An Overview of a Graphical, Multi-Language Applications Environment |
| Authors: | Fisher |
| | |
| CSE-87-5.pdf (Technical Report): | Precise Bounds for Inverses of Integral Equation Operators |
| Authors: | Peter Linz |
| | |
| CSE-87-6.pdf (Technical Report): | Approximate Solution of Fredholm Integral Equations with Accurate and Computable Error Bounds |
| Authors: | Peter Linz |
| | |
| CSE-87-7.pdf (Technical Report): | A Comparison of Phase and Non-phase Network Flow Algorithms |
| Authors: | Chip Martel |
| | |
| CSE-87-8.pdf (Technical Report): | A Critique of Numerical Analysis |
| Authors: | Peter Linz |
| | |
| CSE-87-9.pdf (Technical Report): | An Overview of the SR Language and Implementation |
| Authors: | G. R. Andrews and Ron Olsson and M. Coffin and I. Elshoff and K. Nilsen and T. Purdin |
| | |
| CSE-87-10.pdf (Technical Report): | Performance of Multitasking and Synchronization Mechanism |
| Authors: | M. S. Atkins and Ron Olsson |
| | |
| CSE-87-12.pdf (Technical Report): | Soft Shadow Volumes |
| Authors: | Ken Joy |
| | |
1986
| CSE-86-1.pdf (Technical Report): | Ray Tracing Parametric Surface Patches Utilizing Numerical Techniques and Ray Coherence |
| Authors: | Ken Joy and M. Bhetanabhotla |
| | |
| CSE-86-2.pdf (Technical Report): | Color Approximation Techniques for Realistic Image Synthesis |
| Authors: | C. F. Borges |
| | |
| CSE-86-3.pdf (Technical Report): | The Daisy Applications Development Environment |
| Authors: | Fisher and F.J. Leahy and Ken Joy |
| | |
| CSE-86-4.pdf (Technical Report): | Ray Tracing Parametric Surface Patches Using Spatial Coherence and Numerical Techniques |
| Authors: | M. Bhetanabhotla |
| | |
| CSE-86-5.pdf (Technical Report): | VLSI Architecture for Curve Detection |
| Authors: | H. D. Cheng and C. Tong |
| | |
| CSE-86-6.pdf (Technical Report): | A Dissection of Fujimoto's Algorithm |
| Authors: | Ken Joy |
| | |
2063 Kemper Hall, 1 Shields Avenue, Davis CA 95616 | Phone 530-752-7004 | FAX 530-752-4767
