Theses & Dissertations
 
Filters: Format: "application/pdf" Collection: "ir_etd"
1 - 25 of 52
Number of results to display per page
AuthorTitleSubjectDatePublication Type
1 Liang, ShuyingStatic analysis of Android applicationsAndroid; Malware; Static analysis2014-08dissertation
2 Atzeni, SimoneLow overhead data race detection techniques for large openMP applicationsComputer science2017dissertation
3 Aananthakrishnan, SriramA composable static analysis framework for program analysisComputer science; applied sciences; compositional analysis2016dissertation
4 Earl, ChristopherIntrospective pushdown analysis and neboComputer science2014-05dissertation
5 Li, PengPractical symbolic execution analysis and methodology for GPU programs2015-05dissertation
6 Kakkar, ShantnuFast and reliable motion model for Articulated Wheeled Mobile Robots on extremely rough and rocky terrains2018thesis
7 Haran, ArvindProgram analyses for resilient and approximate computationapproximate computing; dynamic analysis; fault tolerance; HPC; resilience; static analysis2016thesis
8 Despain, Hans G.The political economy of Maurice Dobb: history, theory, and the economics of reproduction, crisis, and transformationCrisis; Dobb; Economics; Marxian economics; Reproduction2011-05dissertation
9 Poudyal, RishavEffect of pellet-cladding interaction (PCI) and degradation mechanisms on spent nuclear fuel rod mechanical performance during transportationChemistry; Civil engineering; Nuclear engineering2016thesis
10 Steigerwaldt, Brett AlanActive shoe sole capable of providing a level walking surface on low-angled terrainActive shoe sole; Ankle deflection; Ankle mobility; Ankle moment; Tarsal coalition2011-08thesis
11 Lyde, StevenImproving control-flow analysis of higher-order languages2015dissertation
12 Burroughs, Michelle L.A sarrus-based passive mechanism for rotorcraft perchingMechanism; Perching; Robotics; Rotorcraft; Sarrus2014-12thesis
13 McMullin, Paul WConnection of precast shear wall panels using carbon fiber composites and adhesive anchor boltsFibrous composites; Concrete2000-03-28thesis
14 Mohammed, SamiullahDevelopment of a structural foam wall system for freeform fabrication of residential housing structuresFoamed construction2010-03-11thesis
15 Nye, Trevor K.Glass fiber reinforced polymer composite connection between concrete wall panels under cyclic shearCivil engineering2017thesis
16 Meng, QingyuLarge-scale distributed runtime system for dag-based computational frameworkDistributed system; Heterogeneous computing; MPI; Multithread; Uintah2014-08dissertation
17 Lo, Yu jungPerformance modeling for architectural and program analysisCUDA unified memory; Memory Bandwidth; Roofline2015-05thesis
18 Rabiega, Marcin AAnalysis of edge impacts on stiffened composite structuresComposite materials2010-03-24thesis
19 Li, ShunEvaluation and numerical modeling of defections and vertical displacement of rail systems supported by expanded polystyrene (EPS) geofoam embankments2D and 3D modeling; Deflection and vertical displacement; Expanded polystyrene (EPS) geofoam embankment; FLAC; Large-scale one-dimensional compression test; Rail systems2014-12thesis
20 Dimjasevic, MarkoEnhancing automatic software testing for broader applicabilityComputer science; Electrical engineering2018dissertation
21 Thacker, Robert ANew verification method for embedded systemsEmbedded systems; Petri nets; Verification2010-12dissertation
22 Sharma, SubodhPredictive analysis of message passing applicationsDynamic verification; MPI; Predictive analysis2013-08dissertation
23 Sharma, Vishal ChandraTowards building efficient error detectors for improving system resilienceFault Injection; Fault Tolerance; Resilience; Soft Error Detectors; Computer science2017dissertation
24 Chen, YangImproving the utility of compiler fuzzersBug reporting; Compiler defect; Compiler testing; Random testing; Test-case minimization; Test-case reduction2014-05dissertation
25 Choudhury, A.N.M. ImrozVisualizing program memory behavior using memory reference tracesCache; Memory; Memory reference traces; Visualization; Memory behavior2012-08dissertation
1 - 25 of 52