ProQuest Subject Index - Computer science at PRINCETON UNIVERSITY

ProQuest^® Dissertations & Theses

The world's most comprehensive collection of dissertations and theses. Learn more...

TOP >> PRINCETON UNIVERSITY >> Computer science

Browse Institutions

You are viewing titles for PRINCETON UNIVERSITY in the subject Computer science available through the UMI Dissertations & Thesis Gradworks site.

A compositional logic for control flow and its application in foundational proof-carrying code	A formal approach to practical network security management

A logic-programming approach to network security analysis	A postal system based digital network and a distance learning application

A principled approach to managing routing in large ISP networks	A routing underlay for overlay networks

Acquisition and representation of material appearance for editing and rendering	Advances in edge-diffraction modeling for virtual-acoustic simulations

Advances in three-dimensional shape acquisition	Algorithms for analyzing and interrogating protein interaction networks

Algorithms for representation and discovery of transcription factor binding sites	Algorithms for the identification of functional sites in proteins

Analysis and visualization of large-scale gene expression microarray compendia	Analysis of large genomic data collections

Analyzing security advice in functional aspect-oriented programming languages	Approximation algorithms for clustering

Approximation algorithms for constraint satisfaction problems	Architectural and compiler techniques for microprocessor power and performance management

Architectural techniques for enabling secure cryptographic processing	Architecture design for distributed content-based publish-subscribe systems

Aspects of network design	Asymptotics of boosting, greedy learning algorithms, and wireless networks

Comparison of clustering algorithms and its application to document clustering	Computational approaches to problems in protein structure and function

Computational issues in optimal auction design	Computational methods for predicting coiled-coil protein-protein interactions

Computational methods for predicting transcription factor binding sites	Computational study of the internal kink mode evolution and associated magnetic reconnection phenomena

Context-sensitive methods for learning from genomic data	Cryptographic algorithms for privacy in an age of ubiquitous recording

Design and analysis of data structures for dynamic trees	Design and implementation of secure trusted overlay networks

Design, modeling, and analysis of networks-on-chip for systems-on-chip	Deterministic sharing of distributed resources

Dissonance theory of sound objects	Distributed mobile storage systems for non-uniform connectivity

Efficient algorithms for online convex optimization and their applications	Efficient algorithms using the Multiplicative Weights Update method

Eliminating scope and selection restrictions in compiler optimization	Emerging energy management techniques for chip multiprocessors

Enabling truly collaborative writing on a computer	Energy conservation techniques in mobile delay-tolerant sensor networks

Energy-efficient mobile system design: The user's perspective	Entropy-based image registration

Exploring social networks in computer systems	Fault tolerance in the Pulsar cluster server

Global instruction scheduling for multi-threaded architectures	Graphs of bounded rank-width

Ideals and reality: Adopting secure technologies and developing secure habits to prevent message disclosure	Intelligent speculation for pipelined multithreading

Interfacing compilers, proof checkers, and proofs for foundational proof-carrying code	Investigating security failures and their causes: An analytic approach to computer security

Learning, adaptation and optimization: The nonnegative Boltzmann machine and the tunneling salesman algorithm	Line drawings of three-dimensional models

Linear logic and imperative programming	Linear-time algorithms for dominators and related problems

MIRO: Multi-path Interdomain ROuting	Managing large scale distributed data with peer-to-peer search trees

Maximum entropy density estimation and modeling geographic distributions of species	Memory in media with manufacturing faults

Microarchitecture modeling for design-space exploration	Modeling and description of embedded processors for the development of software tools

New lower bounds for approximation algorithms in the Lovasz-Schrijver hierarchy	New notions of security

New quantum algorithms and quantum lower bounds	Non-local analysis of SDP-based approximation algorithms

Nonconvex power control in multiuser communication systems	Operating system support for generalized packet forwarding

Optimal network resource allocation for heterogeneous traffic	Oracle semantics

Parallelization techniques with improved dependence handling	Pattern modeling and classification in vision systems

Peer-to-peer tracking for distributed smart cameras	Pipelined multithreading transformations and support mechanisms

Policy enforcement via program monitoring	Privacy-preserving collaborative anomaly detection

Problems in the analysis of complex, high-dimensional datasets	Quadratic forms on graphs and their applications

Query-independent ranking for large-scale persistent search systems	Reasoning about software in the presence of transient faults

Reducing memory requirements for routing protocols	Registration and matching of large geometric datasets for cultural heritage applications

Rendering filters for controlling detail and creating effects	Rethinking traffic management: Design of optimizable networks

Run-time and design-time techniques towards power-efficient interconnection networks	Scalable and efficient self-configuring networks

Scalable isosurface visualization	Secure data delivery in adversarial networks

Shape analysis with inductive recursion synthesis	Shape distinction for three-dimensional object retrieval

Similarity search for large-scale image datasets	Situation-aware optimizations in challenged networks

Structural approaches to spin glasses and optimization problems	Studies in algorithms

Sublinear distributed reconstruction	Sublinear geometric algorithms and geometric lower bounds

TAPESTREA: Techniques and paradigms for expressive synthesis, transformation, and re-composition of environmental audio	The ChucK audio programming language. "A strongly-timed and on-the-fly environ/mentality"

The Tyche CPU scheduler	The acceleration of structural microarchitectural simulation via scheduling

The symmetry transform and its applications	The theory and practice of data description

The velocity compiler: Extracting efficient multicore execution from legacy sequential codes	Topology and function in protein interaction networks

Towards automatic musical instrument timbre recognition	Towards highly reliable and scalable distributed systems

Towards securing interdomain routing on the Internet	Towards understanding application semantics of network traffic

Understanding Internet routing anomalies and building robust transport layer protocols	Understanding and improving modern network server performance

Using structural information in machine learning applications	Using user-provided information to improve Internet services

Virtualizing network file systems