Theses & Dissertations
 
Filters: Department: "Computing" Type: "Text"
1 - 25 of 15
Number of results to display per page
TitleDateType
1 Automatic markup of neural cell membranes using boosted decision stumps2010Text
2 Efficient dynamic verification algorithms for MPI applications2010Text
3 Enhancing covert communications with colluding receivers2010Text
4 Enhancing realism and scalability in network testbeds2010Text
5 Feature-aligned, semiregular, quad-only mesh generation2010Text
6 Multicore system design with XUM: the extensible Utah multicore project2010Text
7 Simplifying the creation and deployment of collaborative data analysis and visualization tools2010Text
8 Visualization of uncertainty2010Text
9 CS1 pedagogical approach to parallel thinking2010-08Text
10 Evaluating the effectiveness of orientation indicators with an awareness of individual differences2010-08Text
11 Formal verification of programs and their transformations2010-12Text
12 New verification method for embedded systems2010-12Text
13 The scalability of parallel adaptive mesh refinement within Uintah2010-08Text
14 Wireless link signature: measurements, methodologies, and applications2010-08Text
15 Design and implementation of a mobile wireless sensor network testbed2010-04-15Text
1 - 25 of 15