TO
| Author | Title | Subject | Date | Publication Type | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Clark, James Henry | 3-D design of free-form B-spline Surfaces | Computer graphics | 1974 | dissertation |
| 2 |
 |
Goyal, Sachin | A collective approach to harness idle resources of end nodes | Idle resources; end nodes; collective managers | 2011-08 | dissertation |
| 3 |
 |
Catmull, Edwin Earl | A subdivision algorithm for computer display of curved surfaces | Computer science | 1974 | disswertation |
| 4 |
 |
Atkinson, Kevin Jay | Application binary interface compatability through a customizable language | Applied sciences; Abi; binary compatibility; customizable language; extensible compilers; macros; scheme | 2011-12 | dissertation |
| 5 |
 |
Nguyen, Hoa Thanh | Automatic catalog construction for product search engines | Database; Data integration; Deep web; E-commerce; Machine learning; Schema matching | 2011-12 | dissertation |
| 6 |
 |
Venkataraju, Kannan Umadevi | Automatic markup of neural cell membranes using boosted decision stumps | Decision making -- Data processing; Neural circuitry; Cell membranes | 2010 | thesis |
| 7 |
 |
Perry, Daniel James | Cloud modeling and rendering | Computer graphics; Clouds--Graphic rendering | 2007-04-05 | honors thesis |
| 8 |
 |
Blinn, James Frederick | Computer display of curved surfaces | 1978 | dissertation | |
| 9 |
 |
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 |
| 10 |
 |
Rague, Brian William | CS1 pedagogical approach to parallel thinking | Computer; CS1; Education; Parallel; Programming; Science | 2010-08 | dissertation |
| 11 |
 |
Johnson, David Michael | Design and implementation of a mobile wireless sensor network testbed | Network simulation; Mobile Emulab | 2010-04-15 | thesis |
| 12 |
 |
Vo, Huy T. | Designing a parallel dataflow architecture for streaming large-scale visualization on heterogeneous platforms | Dataflow architecture; Heterogeneous platforms; Multi-CPU; Multi-GPU; Parallel execution | 2011-08 | dissertation |
| 13 |
 |
Pagariya, Rohit | Direct equivalence testing of embedded software | Compiler testing; Embedded software; Equivalence testing; Verification | 2011-08 | thesis |
| 14 |
 |
Vakkalanka, Sarvani | Efficient dynamic verification algorithms for MPI applications | Dynamic verification; MPI; Testing | 2010 | dissertation |
| 15 |
 |
Seth, Manav | Emergency service in WI-FI networks without access point association | 911; Emergency service; Networks; Wi-Fi; Emergency reporting systems; Computer science | 2011-08 | thesis |
| 16 |
 |
Gebhardt, Daniel J. | Energy-efficient design of an asynchronous network-on-chip | Computer Engineering; Electrical engineering; Computer science | 2011-08 | dissertation |
| 17 |
 |
Clark, Michael R. | Enhancing covert communications with colluding receivers | Communications; Covert; Computer science | 2010 | thesis |
| 18 |
 |
Ricci, Robert Preston Riekenberg | Enhancing realism and scalability in network testbeds | Computer science | 2010 | dissertation |
| 19 |
 |
Maheshwari, Manas | Enhancing reliability in device-free localization | Device free localization; Localization; Security; Sensor networks; Tracking; Computer science | 2011-08 | thesis |
| 20 |
 |
Ziemek, Tina Renee | Evaluating the effectiveness of orientation indicators with an awareness of individual differences | Orientation indicators | 2010-08 | dissertation |
| 21 |
 |
Pokkunuri, Rama Krishna Sandeep | Exploiting example structure in multiple instance learning | Cutting plane optimization; Machine learning; Multiple instance learning; Structured prediction | 2011-05 | thesis |
| 22 |
 |
Daniels, Joel, II | Feature-aligned, semiregular, quad-only mesh generation | Computer graphics; Geometry processing; Mesh simplification; Quadrilateral meshing; Surface parameterization; Surface reconstruction | 2010 | dissertation |
| 23 |
 |
Li, Guodong | Formal verification of programs and their transformations | Compiler verification; Formal verification; GPU program; Parallel program; SMT solving; Theorem proving | 2010-12 | dissertation |
| 24 |
 |
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 |
| 25 |
 |
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 |