TO
Filters: Publication Type: "dissertation" School Or College: "College of Engineering" Collection: "ir_etd"
| Author | Title | Subject | Date | Publication Type | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Thacker, Robert A | New verification method for embedded systems | Embedded systems; Petri nets; Verification | 2010-12 | dissertation |
| 2 |
 |
Rague, Brian William | CS1 pedagogical approach to parallel thinking | Computer; CS1; Education; Parallel; Programming; Science | 2010-08 | dissertation |
| 3 |
 |
Choudhury, A.N.M. Imroz | Visualizing program memory behavior using memory reference traces | Cache; Memory; Memory reference traces; Visualization; Memory behavior | 2012-08 | dissertation |
| 4 |
 |
Qadir, Ashequl | Acquiring knowledge for affective state recognition in social media | Affective Polarity; Emotion Hashtag; Implicit Property; Natural Language Processing; Simile; Social Media | 2016 | dissertation |
| 5 |
 |
Baker, James Brandon | Determining specular, diffuse, and ambient color material properties of industrial plant primitives | Automation; Computer aided design; Computer vision; Industrial plants; Material properties; Numerical inversion | 2014-05 | dissertation |
| 6 |
 |
Burtsev, Anton | Deterministic systems analysis | Deterministic replay; Replay debugging; Xen | 2013-05 | dissertation |
| 7 |
 |
Du, Min | Large scale system log monitoring and analysis: a data-driven approach | 2019 | dissertation | |
| 8 |
 |
Sudan, Kshitij | Data placement for efficient main memory access | Computer Architecture; DRAM memory management; Main memory; Operating system | 2013-05 | dissertation |
| 9 |
 |
Edgar, Lowell Taylor | The dynamic biomechanical regulation of morphogenesis | Neovascularization; Neovascularization - Regulation; Blood-vessels - Mechanical properties; Biomechancis | 2015-08 | dissertation |
| 10 |
 |
Dimjasevic, Marko | Enhancing automatic software testing for broader applicability | Computer science; Electrical engineering | 2018 | dissertation |
| 11 |
 |
Stephens, Abraham J. | Control of spatial and temporal fidelity with adaptive sampling | Interactive computer graphics; Adaptive; Fidelity; Framelet; Graphics; Rendering; Spatiotemporal; Temporal fidelity; Spatial fidelity | 2011-05 | dissertation |
| 12 |
 |
Nguyen, Binh Quang | Enhancing scalability and reliability in mobile core networks | Computer science | 2018 | dissertation |
| 13 |
 |
Probst, Matthew Jared | Distributed friend-to-friend framework and services using social networks | Distributed Systems; Malware Detection; Peer-to-Peer; Social Distance; Social Networks; Social psychology; Computer science | 2012-12 | dissertation |
| 14 |
 |
Duan, Jianjun | Formal verification of device drivers in embedded systems | Device; Driver; Formal; Interrupt; Verification | 2013-12 | dissertation |
| 15 |
 |
Nellans, David | Improving operating system and hardware interactions through co-design | 2014-12 | dissertation | |
| 16 |
 |
Awasthi, Manu | Managing data locality in future memory hierarchies using a hardware software codesign approach | Cache management; Data locality; DRAM; Memory hierarchy; NUMA; Operating system support | 2014-12 | dissertation |
| 17 |
 |
Fu, Zhisong | Parallel-streaming algorithms for solving partial differential equations on unstructured meshes | GPU; PDE; Unstructured meshes | 2013-12 | dissertation |
| 18 |
 |
Baek, Hyun-wook | Interparty visibility in a cloud computing platform | 2018 | dissertation | |
| 19 |
 |
Moon, Sung Man | Methods for the design, optimization, and image correction of local insert gradient system in magnetic resonance imaging | Gradient coil; Gradient design; Insert gradient; Magnetic resonance; MRI; Optimization; Image correction; Gradient system | 2010-08 | dissertation |
| 20 |
 |
Kumar, Sidharth | A scalable and tunable adaptive resolution parallel i/o framework | File system; HPC; Parallel I/O | 2016 | dissertation |
| 21 |
 |
Li, Xiangqi | Debugging with Domain-specific Events via Macros | Computer science | 2017 | dissertation |
| 22 |
 |
Price, Timothy A. | An experimental study of momentum and scalar transport in heterogeneous vegetative canopies | 2018 | dissertation | |
| 23 |
 |
Hartos, Michael Joseph | Design and optimization of a neutron radiography beamport capability with the University of Utah triga reactor | 2021 | dissertation | |
| 24 |
 |
Muralidharan, Saurav | Abstractions and strategies for adaptive programming | adaptive programming; architecture-adaptive; autotuning; input-adaptive; multiobjective; nested data parallelism | 2016 | dissertation |
| 25 |
 |
Ardestani, Ali Shafiee | Design and optimization of hardware accelerators for deep learning | Computer science | 2018 | dissertation |