Institutional Repository
 
Filters: Department: "Computing, School of"
51 - 75 of 136
Number of results to display per page
TitleDateTypeSetname
51 The key node method: a highly-parallel alpha-beta algorithm1983Textir_uspace
52 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
53 Using reliable multicast for caching and collaboration within the world wide web1999Textir_uspace
54 Fast structured design of VLSI circuits1988Textir_uspace
55 Inferring scheduling behavior with hourglass2002-01-01Textir_uspace
56 Reducing consistency traffic and cache misses in the avalanche multiprocessor1995Textir_uspace
57 Semantic definition of a subset of the structured query language (SQL)1991Textir_uspace
58 DPOS: A metalanguage and programming environment for parallel processors1990Textir_uspace
59 Interactive simulation and visualization1999Textir_uspace
60 Supporting persistent C++ objects in a distributed storage system1999Textir_uspace
61 System performance advisor user guide1991Textir_uspace
62 Case studies in symbolic model checking1994Textir_uspace
63 Dynamic reordering of high latency transactions in time-warp simulation using a modified micropipeline1992Textir_uspace
64 Microarchitectural techniques to reduce interconnect power in clustered processors2004Textir_uspace
65 Nemos: a framework for axiomatic and executable specifications of memory consistency models2003Textir_uspace
66 Systolic array synthesis by static analysis of program dependencies1986Textir_uspace
67 Type-safe composition of object modules1994Textir_uspace
68 Microkernels meet recursive virtual machines (draft. May 10, 1996))1996Textir_uspace
69 Using khazana to support distributed application development1999Textir_uspace
70 Abstract semantics for functional constraint programming1989Textir_uspace
71 Augmented CPU reservations: towards predictable execution on general-purpose operating systems2001-01-01Textir_uspace
72 Combining scheduling strategies in tabled evaluations1997Textir_uspace
73 Dynamically tuning processor resources with adaptive processing2003-12Textir_uspace
74 Two case studies in predictable application scheduling using Rialto/NT2001-01-01Textir_uspace
75 Explicit-enumeration based verification made memory-efficient1995Textir_uspace
51 - 75 of 136