Institutional Repository
 
Filters: Format: "application/pdf"
51 - 75 of 159
Number of results to display per page
TitleDateTypeSetname
51 Practical symbolic execution analysis and methodology for GPU programs2015-05Textir_etd
52 Thread verification vs. interrupt verification2006-01-01Textir_uspace
53 hopCP: A concurrent hardware description language1991Textir_uspace
54 Provenance in scientific workflow systems2007Textir_uspace
55 Fast and reliable motion model for Articulated Wheeled Mobile Robots on extremely rough and rocky terrains2018Textir_etd
56 Efficient search for inputs causing high floating-point errors2014-01-01Textir_uspace
57 Pluggable abstract domains for analyzing embedded software2006-01-01Textir_uspace
58 Program analyses for resilient and approximate computation2016Textir_etd
59 Instrumented sensor system architecture1997Textir_uspace
60 The political economy of Maurice Dobb: history, theory, and the economics of reproduction, crisis, and transformation2011-05Textir_etd
61 Deriving abstract transfer functions for analyzing embedded software2006-01-01Textir_uspace
62 Effect of pellet-cladding interaction (PCI) and degradation mechanisms on spent nuclear fuel rod mechanical performance during transportation2016Textir_etd
63 Offline compression for on-chip RAM2007-01-01Textir_uspace
64 Abstract interpretation and indeterminacy1984Textir_uspace
65 An abstract machine for parallel graph reduction1989Textir_uspace
66 Parameterized verification of GPU kernel programs2012-01-01Textir_uspace
67 An abstract machine for parallel graph reduction1989Textir_uspace
68 Instrumented sensor system architecture1997Textir_uspace
69 Memory safety and untrusted extensions for TinyOS2006-01-01Textir_uspace
70 Memory safety and untrusted extensions for TinyOS2006-06-30Textir_uspace
71 Active shoe sole capable of providing a level walking surface on low-angled terrain2011-08Textir_etd
72 Improving control-flow analysis of higher-order languages2015Textir_etd
73 Finding and understanding bugs in C compilers2011-01-01Textir_uspace
74 Runtime model checking of multithreaded C/C++ programs2007Textir_uspace
75 CFSIM: A concurrent compiled-code functional simulator for hopCP1992Textir_uspace
51 - 75 of 159