Institutional Repository
 
Filters: Department: "Computing, School of"
251 - 275 of 1,117
Number of results to display per page
TitleDateTypeSetname
251 LOT-ECC: LOcalized and tiered reliability mechanisms for commodity memory systems2012-01-01Textir_uspace
252 Target-directed navigation using wireless sensor networks and implicit surface interpolation2012-01-01Textir_uspace
253 Hierarchical schedulers, performance guarantees, and resource management1999-01-01Textir_uspace
254 Issues in using commodity operating systems for time-dependent tasks: experiences from a study of windows NT1998-01-01Textir_uspace
255 An isotach implementation for myrinet1997-01-01Textir_uspace
256 The case for hierarchical schedulers with performance guarantees2000-01-01Textir_uspace
257 Biomedical visual computing: case studies and challenges2012-01-01Textir_uspace
258 The problems you're having may not be the problems you think you're having: results from a latency study of windows NT1999-01-01Textir_uspace
259 Predictable scheduling for digital audio2000-01-01Textir_uspace
260 Operating system support for multimedia: the programming model matters2000-01-01Textir_uspace
261 Proofs as a substrate for tool integration supporting high-confidence embedded software2005-01-01Textir_uspace
262 Message from the general chair2012-01-01Textir_uspace
263 From the editor: real-time and embedded systems--teaching reliability2006-01-01Textir_uspace
264 Inferring scheduling behavior with hourglass2002-01-01Textir_uspace
265 Memory safety and untrusted extensions for TinyOS2006-01-01Textir_uspace
266 Lock inference for systems software2003-01-01Textir_uspace
267 Offline compression for on-chip RAM2007-01-01Textir_uspace
268 Ph.D. Proposal: hierarchical loadable schedulers1999-01-01Textir_uspace
269 Using hierarchical scheduling to support soft real-time applications in general-purpose operating systems2001-01-01Textir_uspace
270 Vertically integrated analysis and transformation for embedded software2003-01-01Textir_uspace
271 Random testing of interrupt-driven software2005-01-01Textir_uspace
272 Thread verification vs. interrupt verification2006-01-01Textir_uspace
273 Topology verification for isosurface extraction2012-01-01Textir_uspace
274 Topological analysis and visualization of cyclical behavior in memory reference traces2012-01-01Textir_uspace
275 Two case studies in predictable application scheduling using Rialto/NT2001-01-01Textir_uspace
251 - 275 of 1,117