TO
| Author | Title | Subject | Date | Publication Type | ||
|---|---|---|---|---|---|---|
| 201 |
 |
Maheshwari, Shobhi | Scheduling virtual wifi interfaces for high bandwidth video upstreaming using multipath TCP | 2018 | thesis | |
| 202 |
 |
Thacker, Robert A | New verification method for embedded systems | Embedded systems; Petri nets; Verification | 2010-12 | dissertation |
| 203 |
 |
Potter, Kristin | Visualization of uncertainty | Visualization | 2010 | dissertation |
| 204 |
 |
Meakin, Benjamin LaSalle | Multicore system design with XUM: the extensible Utah multicore project | Embedded system; Message passing; Multicore; On-chip network | 2010 | thesis |
| 205 |
 |
Perry, Daniel James | Cloud modeling and rendering | Computer graphics; Clouds--Graphic rendering | 2007-04-05 | honors thesis |
| 206 |
 |
Christensen, Cameron T. | Framework and model for interactive spatiotemporal data analysis and visualization systems | 2019 | thesis | |
| 207 |
 |
Liang, Yulong | Topological data analysis for astronomical data cubes | 2019 | dissertation | |
| 208 |
 |
Wu, Kui | Modeling, readering, and simulating knits | 2019 | dissertation | |
| 209 |
 |
Peterson, Bradley | Portable and performant GPU/heterogeneous asynchronous many-task runtime system | 2019 | dissertation | |
| 210 |
 |
Ying, Jian | Corrected moran's I statistic | 2019 | thesis | |
| 211 |
 |
Li, Guodong | Formal verification of programs and their transformations | Compiler verification; Formal verification; GPU program; Parallel program; SMT solving; Theorem proving | 2010-12 | dissertation |
| 212 |
 |
Stuart, David Alexander | Coarse tetrahedral meshing for interactive simulation | Animation; Meshing; Physics | 2013-05 | thesis |
| 213 |
 |
Zhao, Lu | A program logic and its application in fully verified software fault isolation | Software fault isolation; Trusted computing base; TCB; Hoare logic | 2012-08 | dissertation |
| 214 |
 |
Ricci, Robert Preston Riekenberg | Enhancing realism and scalability in network testbeds | Computer science | 2010 | dissertation |
| 215 |
 |
Clark, James Henry | 3-D design of free-form B-spline Surfaces | 1974 | dissertation | |
| 216 |
 |
Fishbaugh, James | Spatiotemporal modeling of anatomical shape complexes | Shape analysis; Shape regression; Spatiotemporal | 2015-05 | dissertation |
| 217 |
 |
Dos Santos, Marques Emanuele | Simplifying the creation and deployment of collaborative data analysis and visualization tools | Data analysis; Provenance; Visualization systems; Workflow systems | 2010 | dissertation |
| 218 |
 |
Sorensen, Tyler Rey | Testing and exposing weak graphics processing unit memory models | GPU; Litmus tests; Memory consistency | 2014-12 | thesis |
| 219 |
 |
Perry, Daniel James | Solving geometric constraint problems through Monte Carlo optimization | Computer graphics; Geometric programming; Monte Carlo method | 2008-08 | thesis |
| 220 |
 |
Desai, Amey | Streaming algorithms for matrix approximation | Algorithmas; Fregquent; Directions; Matrix appoximation; Random projections; Sampling; Streaming | 2014-12 | thesis |
| 221 |
 |
Rafkind, Jon | Syntactic extension for languages with implicitly delimited and infix syntax | extensible; macros; programming languages | 2013-05 | dissertation |
| 222 |
 |
Madsen, Curtis K. | Stochastic analysis of synthetic genetic circuits | Design space exploration; Stochastic model checking; Stochastic simulation; Synthetic biology | 2013-08 | dissertation |
| 223 |
 |
Mirzaee, Hanieh | Smoothness-increasing accuracy-conserving filters (SIAC) for discontinuous Galerkin solutions | Discontinous Galerkin; Oscillation; Partial differential euqation; Postprocessing; SIAC; Smoothness | 2013-05 | dissertation |
| 224 |
 |
Le, Wangchao | Supporting scalable data analytics on large linked data | Database systems; Linked data; Query optimization; Query rewriting; RDF; SPARQL | 2013-12 | dissertation |
| 225 |
 |
Zhang, Junxing | Wireless link signature: measurements, methodologies, and applications | 2010-08 | dissertation |