|
|
Author | Title | Subject | Date | Publication Type |
1 |
|
Venkataraju, Kannan Umadevi | Automatic markup of neural cell membranes using boosted decision stumps | Decision making -- Data processing; Neural circuitry; Cell membranes | 2010 | thesis |
2 |
|
Vakkalanka, Sarvani | Efficient dynamic verification algorithms for MPI applications | Dynamic verification; MPI; Testing | 2010 | dissertation |
3 |
|
Clark, Michael R. | Enhancing covert communications with colluding receivers | Communications; Covert; Computer science | 2010 | thesis |
4 |
|
Ricci, Robert Preston Riekenberg | Enhancing realism and scalability in network testbeds | Computer science | 2010 | dissertation |
5 |
|
Daniels, Joel, II | Feature-aligned, semiregular, quad-only mesh generation | Computer graphics; Geometry processing; Mesh simplification; Quadrilateral meshing; Surface parameterization; Surface reconstruction | 2010 | dissertation |
6 |
|
Meakin, Benjamin LaSalle | Multicore system design with XUM: the extensible Utah multicore project | Embedded system; Message passing; Multicore; On-chip network | 2010 | thesis |
7 |
|
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 |
8 |
|
Potter, Kristin | Visualization of uncertainty | Visualization | 2010 | dissertation |
9 |
|
Rague, Brian William | CS1 pedagogical approach to parallel thinking | Computer; CS1; Education; Parallel; Programming; Science | 2010-08 | dissertation |
10 |
|
Ziemek, Tina Renee | Evaluating the effectiveness of orientation indicators with an awareness of individual differences | Orientation indicators | 2010-08 | dissertation |
11 |
|
Li, Guodong | Formal verification of programs and their transformations | Compiler verification; Formal verification; GPU program; Parallel program; SMT solving; Theorem proving | 2010-12 | dissertation |
12 |
|
Thacker, Robert A | New verification method for embedded systems | Embedded systems; Petri nets; Verification | 2010-12 | dissertation |
13 |
|
Luitjens, Justin Paul | The scalability of parallel adaptive mesh refinement within Uintah | Adaptive mesh refinement; Load balancing; Parallel; Regridding; Scalability; Simulation; Uintah | 2010-08 | dissertation |
14 |
|
Zhang, Junxing | Wireless link signature: measurements, methodologies, and applications | | 2010-08 | dissertation |
15 |
|
Johnson, David Michael | Design and implementation of a mobile wireless sensor network testbed | Network simulation; Mobile Emulab | 2010-04-15 | thesis |