Institutional Repository
 
Filters: Type: "Text" Department: "Computing, School of"
276 - 300 of 1,116
Number of results to display per page
TitleDateTypeSetname
276 Volatiles are miscompiled, and what to do about it2008-01-01Textir_uspace
277 Volume rendering with multidimensional peak finding2012-01-01Textir_uspace
278 How to rapidly prototype a real-time scheduler2002-01-01Textir_uspace
279 Finding and understanding bugs in C compilers2011-01-01Textir_uspace
280 FluoRender: An application of 2D image space methods for 3D and 4D confocal microscopy data visualization in neurobiology research2012-01-01Textir_uspace
281 ISP: An optimal out-of-core image-set processing streaming architecture for parallel heterogeneous systems2012-01-01Textir_uspace
282 A practical logic framework for verifying safety properties of executables2011-01-01Textir_uspace
283 Deriving abstract transfer functions for analyzing embedded software2006-01-01Textir_uspace
284 Dynamic CPU management for real-time, middleware-based systems2004-01-01Textir_uspace
285 Interface contracts for TinyOS2007-01-01Textir_uspace
286 CPU reservations and time constraints: implementation experience on windows NT1999-01-01Textir_uspace
287 Optimizing Inverse Electrocardiographic Problem: Hybrid and High-Order Finite Element MethodText; Imageir_uspace
288 Scheduling Tasks with mixed preemption relations for robustness to timing faults2002-01-01Textir_uspace
289 Safe and structured use of interrupts in real-time and embedded software2007-01-01Textir_uspace
290 Runtime verification for wireless sensor network applications2008-01-01Textir_uspace
291 Test-case reduction for C compiler bugs2012-01-01Textir_uspace
292 Testing static analyzers with randomly generated programs2012-01-01Textir_uspace
293 ARMor: fully verified software fault isolation2011-01-01Textir_uspace
294 Edicts: implementing features with flexible binding times2008-01-01Textir_uspace
295 Image registrationText; Imageir_uspace
296 Pluggable abstract domains for analyzing embedded software2006-01-01Textir_uspace
297 Augmented CPU reservations: towards predictable execution on general-purpose operating systems2001-01-01Textir_uspace
298 Combined surface and volumetric occlusion shading2012-01-01Textir_uspace
299 Comparing program logics for reasoning about safety properties2010-10-06Text; Imageir_uspace
300 Some guidelines for proportional share CPU scheduling in general-purpose operating systems2001-01-01Textir_uspace
276 - 300 of 1,116