TO
| Author | Title | Subject | Date | Publication Type | ||
|---|---|---|---|---|---|---|
| 101 |
 |
Chen, Yang | Improving the utility of compiler fuzzers | Bug reporting; Compiler defect; Compiler testing; Random testing; Test-case minimization; Test-case reduction | 2014-05 | dissertation |
| 102 |
 |
Wilder, Andrew M. | Computer-assisted approaches to intrafascicular multielectrode stimulation | Asynchronous interleaved multielectrode stimulation; Functional electrical stimulation; Interleaved stimulation; Multielectrode stimulation; Peripheral nerve; Utah slanted electrode array | 2014-05 | dissertation |
| 103 |
 |
Liang, Shuying | Static analysis of Android applications | Android; Malware; Static analysis | 2014-08 | dissertation |
| 104 |
 |
Mahoney Jr, Arthur W. | Advanced methods for controlling untethered magnetic devices using rotating magnetic fields | Capsule endoscopy; Magnetics; Medical robotics; Microrobotics | 2014-08 | dissertation |
| 105 |
 |
Subramanyam, Naveen Dasa | Efficient switching between WiFi and cellular networks for robust internet connectivity | Cellular; Internet; Networks; Smartphone; Wifi; Computer science | 2014-08 | thesis |
| 106 |
 |
Sun, Weibin | Harnessing GPU computing in system-level software | GPU; Network; Storage; System software | 2014-08 | dissertation |
| 107 |
 |
Zhou, Liang | Multivariate transfer function design | Transfer function design; User interaction; Volume visualization | 2014-08 | dissertation |
| 108 |
 |
Shankar, Varun | Radial basis function-based numerical methods for the simulation of platelet aggregation | Forcing method; Immersed boundary method; Meshfree methods; Platelet aggregation; Radial basis Functions (RBFs) | 2014-08 | dissertation |
| 109 |
 |
Gerszewski, Daniel James | Physics-based animation of large-scale splashing liquids, elastoplastic solids, and model-reduced flow | Computer graphics; Liquid simulation; Model reduction; Physically based modeling; Physics-based animation; Point-based simulation | 2014-08 | dissertation |
| 110 |
 |
Meng, Qingyu | Large-scale distributed runtime system for dag-based computational framework | Distributed system; Heterogeneous computing; MPI; Multithread; Uintah | 2014-08 | dissertation |
| 111 |
 |
Gritton, Christopher E. | Ringing instabilities in particle methods | Particle methods; Ringing instabilities | 2014-08 | thesis |
| 112 |
 |
Liu, Wei | Resting state functional magnetic resonance imaging analysis by graphical model | Brain connectivity; Functional MRI; Graphical models | 2014-08 | dissertation |
| 113 |
 |
Lewis, Thomas James | A GPU-based maximal independent set aggregation strategy: algorithms, comparisons, and applications withing algebraic multigrid | GPU; maximal independent set; multigrid | 2014-08 | thesis |
| 114 |
 |
Nellans, David | Improving operating system and hardware interactions through co-design | 2014-12 | dissertation | |
| 115 |
 |
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 |
| 116 |
 |
Nayak, Prashanth | Detecting and mitigating malware in virtual appliances | Detection; Expert systems; Malware; Mitigation; Virtual appliance; Virtual machine introspection | 2014-12 | thesis |
| 117 |
 |
Huang, Ruihong | Improving information extraction by discourse-guided and multifaceted event recognition | 2014-12 | dissertation | |
| 118 |
 |
Yang, Xuejun | Random testing of open source C compilers | Compiler bugs; Compilers; Csmith; Gcc; llvm; Random testing | 2014-12 | dissertation |
| 119 |
 |
Rivera, Axel Y. | Using autotuning for accelerating tensor contraction on graphics processing units (GPUS) | Autotuning; Gpu; Tensor contraction | 2014-12 | thesis |
| 120 |
 |
Sorensen, Tyler Rey | Testing and exposing weak graphics processing unit memory models | GPU; Litmus tests; Memory consistency | 2014-12 | thesis |
| 121 |
 |
Desai, Amey | Streaming algorithms for matrix approximation | Algorithmas; Fregquent; Directions; Matrix appoximation; Random projections; Sampling; Streaming | 2014-12 | thesis |
| 122 |
 |
Lyde, Steven | Improving control-flow analysis of higher-order languages | 2015 | dissertation | |
| 123 |
 |
Joseph, Jithu | Cenet-- capability enabled networking: towards least-privileged networking | Access control in SDN; Capability based access control; Network access control; Network security; Security; Software defined networks | 2015 | thesis |
| 124 |
 |
De bever, Joshua Thomas | Adaptive model-predictive control and 3d acoustic radiation force imaging for the improvement of magnetic resonance-guided focused ultrasound therapies | Acoustic Radiation Force Imaging; Focused Ultrasound; Model-Predictive Control; MRI | 2015 | dissertation |
| 125 |
 |
Jones, Benjamin James | Artist-guided physics-based animation | Animation; example-based; physics | 2015 | dissertation |