Institutional Repository
 
Filters: Format: "application/pdf"
101 - 125 of 159
Number of results to display per page
TitleDateTypeSetname
101 Abstract semantics for functional constraint programming1989Textir_uspace
102 Asynchronous circuit verification using trace theory and CCS1992Textir_uspace
103 Towards building efficient error detectors for improving system resilience2017Textir_etd
104 Dynamic program monitoring and transformation using the OMOS object server1992Textir_uspace
105 RobotShare: a framework for robot knowledge sharing2007Textir_uspace
106 Improving the utility of compiler fuzzers2014-05Textir_etd
107 A category theoretic formalism for abstract interpretation1984Textir_uspace
108 A correctness criterion for asynchronous circuit validation and optimization1992Textir_uspace
109 New verification method for embedded systems2009Textir_uspace
110 Safe and structured use of interrupts in real-time and embedded software2007-01-01Textir_uspace
111 Study of particle-bubble interaction using atomic force microscopy: current possibilities and challenges2002Textir_uspace
112 Visualizing program memory behavior using memory reference traces2012-08Textir_etd
113 The 'test model-checking' approach to the verification of formal memory models of multiprocessors1998Textir_uspace
114 The 'Test model-checking' approach to the verification of formal memory models of multiprocessors1998Textir_uspace
115 Brine percolation and the transport properties of sea ice2001Textir_uspace
116 High level optimizations in compiling process descriptions to asynchronous circuits1992Textir_uspace
117 Rigorous concurrency analysis of multithreaded programs2003Textir_uspace
118 Forward electromagnetic scattering models for sea ice1998Textir_uspace
119 HOP: a process model for synchronous hardware systems1988Textir_uspace
120 Random testing of open source C compilers2014-12Textir_etd
121 Robot share: a framework for robot knowledge sharing2009-05Textir_etd
122 A path-precise analysis for property synthesis2003-12-01Textir_uspace
123 Eliminating the call stack to save RAM2009-01-01Textir_uspace
124 Energy-efficient processor design using multiple clock domains with dynamic voltage and frequency scaling2002Textir_uspace
125 Exploring power behaviors and trade-offs of in-situ data analytics2013-01-01Textir_uspace
101 - 125 of 159