ProQuest Subject Index - Computer science at RICE UNIVERSITY

TOP >> RICE UNIVERSITY >> Computer science

Browse Institutions

You are viewing titles for RICE UNIVERSITY in the Computer science available through the UMI Dissertations & Thesis Gradwoorks site

Distance-1 constrained channel assignment in single radio wireless mesh networks	Logic design for reliability

Matlab D: Compiling parallel Matlab with user-defined data distributions	Symbol timing synchronization for OFDM-based WLAN systems

Tuning a priority-based register allocator using adaptive compilation	Context for system resource management: An application in wireless data management

Design and implementation of the Maestro network control platform	Dimension reduction for unsteady nonlinear partial differential equations via empirical interpolation methods

Buchi containment and size-change termination	Passivity preserving model reduction in the context of spectral zero interpolation

A scattered data approximation tool to map carbon nanotube dispersion to the processing parameters in polymer nanocomposites	Micro power management of active 802.11 network interfaces

Linear vs. branching time: A semantical perspective	Visual displays: Developing a computational model explaining the global effect

Kinodynamic motion planning for high-dimensional physical systems	Replanning: A powerful planning strategy for systems with differential constraints

Exploring the potential for accelerating sparse matrix-vector product on a Processing-in-Memory architecture	Acumen: An environment for rapid prototyping of Cyber-Physical Systems

Workload-aware live storage migration for clouds	Efficient virtualization of network interfaces without sacrificing safety and transparency

Compiler support for work-stealing parallel runtime systems	Methods for detecting multi-locus genotype-phenotype association

Segmentation and visualization of volume maps	Mapping the structural landscape of protein families with geometric feature vectors

Discontinuous Galerkin formulation for multi-component multiphase flow	Gleaning network wide congestion information from packet markings

Sequentially optimized meshfree approximation method for the solution of differential equations	Parameterization and adaptive search for graph coloring register allocation

A minimum-cost-neighbor multicast routing protocol for mobile wireless ad hoc networks	VoteBox Nano: A smaller, stronger FPGA-based voting machine

Reasoning about staged programs	The case for vehicular visible light communication (V2LC): Architecture, services and experiments

Optimizing network I/O virtualization through guest-driven scheduler bypass	The Axon Ethernet device

Unsynchronized Distributed Motion Planning with Safety Guarantees under Second-Order Dynamics	On the Modeling of Signaling Networks with Petri Nets

A Sequence-Based, Population Genetic Model of Regulatory Pathway Evolution	Scheduling Macro-DataFlow Programs on Task-Parallel Runtime Systems

From Gene Trees to Species Trees: Algorithms for Parsimonious Reconciliation	A Computational Model of Jetliner Taxiing

Function Shipping in a Scalable Parallel Programming Model	Pose Estimation With Low-Resolution Bearing-Only Sensors

Nested QoS: Providing flexible SLAs in shared storage systems	QUIRE: Lightweight Provenance for Smart Phone Operating Systems

Multi-robot behaviors with bearing-only sensors and scale-free coordinates	Violin Virtuoso: A game for violin education

Automated Detection and Differential Diagnosis of Non Small Cell Lung Carcinoma Cell Types Using Label-Flee Molecular Vibrational Imaging	Reducing DRAM Row Activations with Eager Writeback

MoodScope: Building a Mood Sensor from Smartphone Usage Patterns	Separating Smartphone advertising from applications

Argos: Practical Base Stations for Large-scale Beamforming	Designing Scalable Networks for Future Large Datacenters

Application insight through performance modeling	Mu-bases and their applications in geometric modeling

A multi-faceted model of the consequences of sample size choice in usability testing	Program analysis and transformation in mathematical programming

Compiling dynamic languages via statically typed functional languages	Experimental and analytical evalution of embedded link performance with small-scale channel fluctuations

Enhancing ethernet's reliability and scalability	Array optimizations for high productivity programming languages

A type-based prototype compiler for telescoping languages	Online social networks: Measurement, analysis, and applications to distributed information systems

Exploring the design space of cooperative streaming multicast	From high-level tasks to low-level motions: Motion planning for high-dimensional nonlinear hybrid robotic systems

Deriving executable models of biochemical network dynamics from qualitative data	VoteBox: A tamper-evident, verifiable voting machine

Molecules in motion: Computing structural flexibility	Efficient duty cycle MAC protocols for dynamic traffic loads in wireless sensor networks

The use of data topology in unsupervised clustering of high-dimensional data with self-organizing maps	Efficient tamper-evident data structures for untrusted servers

Efficient optimization of memory accesses in parallel programs	Grid-centric scheduling strategies for workflow applications

Efficient traffic trajectory error detection	A storage architecture for data-intensive computing

Performance analysis for parallel programs from multicore to petascale	Inference of parsimonious species phylogenies from multi-locus data

Designing incentives for peer-to-peer systems	Designing type inference for typed object-oriented languages

Static analysis for circuit families	Computational discovery and analysis of metabolic pathways

A Scalable Locality-aware Adaptive Work-stealing Scheduler for Multi-core Task Parallelism	Foundations for Automatic, Adaptable Compilation

A Framework for Testing Concurrent Programs	Performance Optimizations for Software Transactional Memory

Approximate logic circuits: Theory and applications	Techniques for Realtime Viewing and Manipulation of Volumetric Data

Autonomous storage management for low-end computing environments	Dynamic Assertion-Based Verification for SystemC

Space Weather Event Modeling of Plasma Injection Into the Inner Magnetosphere with the Rice Convection Model	Maestro: Achieving scalability and coordination in centralizaed network control plane

Task and motion planning for mobile manipulators	Optics and virtualization as data center network infrastructure

Regime Change: Sampling Rate vs. Bit-Depth in Compressive Sensing	Live Cell Compartment Tracking: Object Tracking in Oscillating Intensity Images

Towards Accurate Reconstruction of Phylogenetic Networks	Low-Level Haskell Code: Measurements and Optimization Techniques

An Empirical Analysis of Internet Use on Smartphones: Characterizing Visit Patterns and User Differences