ProQuest Subject Index - Computer science at THE UNIVERSITY OF UTAH

TOP >> THE UNIVERSITY OF UTAH >> Computer science

Browse Institutions

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

Enhancing covert communications with colluding receivers	CUDA-CHiLL: A programming language interface for GPGPU optimizations and code generation

Multicore system design with XUM: The Extensible Utah Multicore project	Design and implementation of clocked Open Core Protocol interfaces for Intellectual Property cores and on-chip network fabric

Exploiting example structure in multiple instance learning	Heuristics for efficient dynamic verification of message passing interface and thread programs

Emergency service in Wi-Fi networks without access point association	Enhancing reliability in device-free localization

Methods for streamlining expensive function calls	Direct equivalence testing of embedded software

Improving high-performance sparse libraries using compiler assisted specialization: A PETSc (portable, extensible toolkit for scientific computation) case study	Consistent representation of two-dimensional flow

Exploring Bluetooth for received signal strength indicator-based secret key extraction	Real-time feedback methods for gait rehabilitation through a mobile platform

A CS1 pedagogical approach to parallel thinking	Feature-aligned, semi-regular, quad-only mesh generation

Evaluating the effectiveness of orientation indicators with an awareness of individual differences	Efficient dynamic verification algorithms for MPI applications

The visualization of uncertainty	Simplifying the creation and deployment of collaborative data analysis and visualization tools

A new verification method for embedded systems	Formal verification of programs and their transformations

Entangling power, cartan decomposition, and braiding operators	The scalability of parallel adaptive mesh refinement within Uintah

Design and evaluation of an associative classification framework to identify disease cohorts in the electronic health record	Control of spatial and temporal fidelity with adaptive sampling

Software algorithms for hardware ray tracing	Scalable formal dynamic verification of MPI programs through distributed causality tracking

Designing a parallel dataflow architecture for streaming large-scale visualization on heterogeneous platforms	A collective approach to harness idle resources of end nodes

Monte Carlo based flood risk analysis using a graphics processing unit-enhanced two-dimensional flood model	Segmentation of neurons from electron microscopy images

Energy-efficient design of an asynchronous network-on-chip	High performance multiscale image processing framework on multi-GPUs (graphics processing units) with applications to unbiased diffeomorphic atlas construction

The analysis and visualization of electroencephalography data using a provenance-enabled environment and its applications to visualization	Medial axis of regions bounded by B-spline curves and surfaces

Using incremental filtering for enhancing the depth perception of interactive direct volume rendering	Application binary interface compatibility through a customizable language

Automatic catalog construction for Product Search Engines	Analysis-aware higher order smooth three-dimensional representations: Creation, simulation and visualization

Nonparametric models for high-dimensional data analysis	Managing provenance for knowledge discovery and reuse

Visualizing program memory behavior using memory reference traces	Accurate and interactive visualization of high-order finite element fields

A program logic and its application in fully verified software fault isolation	Finite element solutions to inverse electrocardiography

Localization of people using received signal strength measurements in wireless sensor networks	Distributed friend-to-friend framework and services using social networks

Cogene: An automated design framework for domain-specific architectures	Uncertainty analysis and visualization of diffusion tensor images

Parallel ray tracing in scientific visualization	Smoothness-increasing accuracy-conserving filters (SIAC) for discontinuous Galerkin solutions

Exploiting cross layer opportunities for secrecy and efficiency in wireless networks	The clinical element model Detailed clinical models

Data placement for efficient main memory access