TO
| Author | Title | Subject | Date | Publication Type | ||
|---|---|---|---|---|---|---|
| 76 |
 |
Gebhardt, Daniel J. | Energy-efficient design of an asynchronous network-on-chip | Computer Engineering; Electrical engineering; Computer science | 2011-08 | dissertation |
| 77 |
 |
Dimjasevic, Marko | Enhancing automatic software testing for broader applicability | Computer science; Electrical engineering | 2018 | dissertation |
| 78 |
 |
Clark, Michael R. | Enhancing covert communications with colluding receivers | Communications; Covert; Computer science | 2010 | thesis |
| 79 |
 |
Ricci, Robert Preston Riekenberg | Enhancing realism and scalability in network testbeds | Computer science | 2010 | dissertation |
| 80 |
 |
Maheshwari, Manas | Enhancing reliability in device-free localization | Device free localization; Localization; Security; Sensor networks; Tracking; Computer science | 2011-08 | thesis |
| 81 |
 |
Nguyen, Binh Quang | Enhancing scalability and reliability in mobile core networks | Computer science | 2018 | dissertation |
| 82 |
 |
Ziemek, Tina Renee | Evaluating the effectiveness of orientation indicators with an awareness of individual differences | Orientation indicators | 2010-08 | dissertation |
| 83 |
 |
Premnath, Sriram Nandha | Exploiting cross layer opportunities for secrecy and efficiency in wireless networks | Cross layer; Dynamic spectrum access networks; Filterbank multicarrier; Secret key extraction; Wireless channel characteristics | 2013-05 | dissertation |
| 84 |
 |
Pokkunuri, Rama Krishna Sandeep | Exploiting example structure in multiple instance learning | Cutting plane optimization; Machine learning; Multiple instance learning; Structured prediction | 2011-05 | thesis |
| 85 |
 |
Lakshmane Gowda, Prarthana | Exploring bluetooth for received signal strength indicator-based secret key extraction | Android; Bluetooth; RSSI; Secret keys | 2012-12 | thesis |
| 86 |
 |
Raman, Parasaran | Exploring the landscape of clusterings | Clustering; Data mining; Machine learning; Sampling | 2013-12 | dissertation |
| 87 |
 |
Zaheer, Zirak | Eztrust: Network independent perimeterization for microservices | 2019 | thesis | |
| 88 |
 |
Daniels, Joel, II | Feature-aligned, semiregular, quad-only mesh generation | Computer graphics; Geometry processing; Mesh simplification; Quadrilateral meshing; Surface parameterization; Surface reconstruction | 2010 | dissertation |
| 89 |
 |
Wang, Dafang | Finite element solutions to inverse Electrocardiography | Cardiac electrophysiology; Finite element method; Inverse problem; Optimization; Partial differential equation; Scientific computing | 2012-12 | dissertation |
| 90 |
 |
Territo, Matthew Joseph | Flightcontroller | 2019 | thesis | |
| 91 |
 |
Strum, Matt | Flowops: open access network management and operation | Municipal networks; Network framework; Network management; Open access network; Openflow; Software-defined network | 2013-12 | thesis |
| 92 |
 |
Wan, Yong | Fluorender, an interactive tool for confocal microscopy data visualization and analysis | Anatomical atlas; Biology application; Confocal microscopy; Visualization; Volume rendering | 2013-08 | dissertation |
| 93 |
 |
Duan, Jianjun | Formal verification of device drivers in embedded systems | Device; Driver; Formal; Interrupt; Verification | 2013-12 | dissertation |
| 94 |
 |
Li, Guodong | Formal verification of programs and their transformations | Compiler verification; Formal verification; GPU program; Parallel program; SMT solving; Theorem proving | 2010-12 | dissertation |
| 95 |
 |
Christensen, Cameron T. | Framework and model for interactive spatiotemporal data analysis and visualization systems | 2019 | thesis | |
| 96 |
 |
Kim, Mark | Gpu-enabled surface visualization | Applied sciences; GPU; Visualizing surfaces | 2016 | dissertation |
| 97 |
 |
Sun, Weibin | Harnessing GPU computing in system-level software | GPU; Network; Storage; System software | 2014-08 | dissertation |
| 98 |
 |
Chiang, Wei-Fan | Heuristics for efficient dynamic verification of message passing interface and thread programs | Dynamic verification; Heuristic; MPI programs; Thread programs | 2011-05 | thesis |
| 99 |
 |
Ha, Linh Khanh | High performance multiscale image processing framework on multi-gpus (graphics processing units) with applications to unbiased diffeomorphic atlas construction | Atlas construction; CUDA; Diffeomorphism; GPU; HPC; Medical image processing | 2011-08 | dissertation |
| 100 |
 |
Robison, Braden Devin | Hybrid scheduling for graph-based algorithm decomposition in high-performance computing environments | Computer Engineering; Computer science | 2014 | thesis |