Institutional Repository
 
Filters: Department: "Computing, School of"
51 - 75 of 111
Number of results to display per page
TitleDateTypeSetname
51 Peephole optimization of asynchronous networks through process composition and burst-mode machine generation1993Textir_uspace
52 Speed without fear: composable self-timed GaAs circuits1993Textir_uspace
53 ASSASSIN : a CAD system for self-timed control-unit design1982Textir_uspace
54 PPL quick reference guide (NMOS)1986Textir_uspace
55 SOAR user's manual1997Textir_uspace
56 Self-timed design with dynamic domino circuits2003Textir_uspace
57 psolve: Deciding satisfiability for presburger formulae using automata, rewriting and a model checker1999Textir_uspace
58 A survey on sensor classifications for industrial applications1995Textir_uspace
59 A transformational approach to asynchronous high-level synthesis1993Textir_uspace
60 PPL design examples (NMOS30 Version)1986Textir_uspace
61 Leveraging 3D technology for improved reliability2007-12Textir_uspace
62 Transforming an Ada program unit to silicon and verifying its behavior in an Ada environment: a first experiment1983Textir_uspace
63 Computer aided design1984Textir_uspace
64 Dynamic reordering of high latency transactions in time-warp simulation using a modified micropipeline1992Textir_uspace
65 Design and verification of the rollback chip using HOP: a case study of formal methods applied to hardware design1990Textir_uspace
66 The NSR processor prototype1992Textir_uspace
67 Optimizing NUCA organizations and wiring alternatives for large caches with CACTI 6.02007-12Textir_uspace
68 From process-oriented functional specifications to efficient asynchronous circuits1991Textir_uspace
69 Self-timed circuits using DCVSL semi-bundled delay wrappers2005Textir_uspace
70 HDL modeling for analysis and optimization of asynchronous controllers2005Textir_uspace
71 Translating concurrent programs into delay-insensitive circuits1989Textir_uspace
72 Low latency workstation cluster communications using sender-based protocols1996Textir_uspace
73 Visual threads: the benefits of multithreading in visual programming languages1997Textir_uspace
74 Corpus-based identification of non-anaphoric noun phrases1999Textir_uspace
75 Cascade: hardware for high/variable precision arithmetic1989Textir_uspace
51 - 75 of 111