TO
1 - 25 of 15
| 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 |
1 - 25 of 15