Search Constraints

Filtering by: Collection Scholars Archive Remove constraint Collection: Scholars Archive School Oregon Graduate Institute Remove constraint School: Oregon Graduate Institute
Number of results to display per page

Search Results

  1. SWiFT : a feedback control and dynamic reconfiguration toolkit

    Bk128b13d?file=thumbnail
  2. Quality of service semantics for multimedia database systems

    Gh93gz91h?file=thumbnail
  3. The shared model : the key to analysis without paralysis

    6969z104t?file=thumbnail
  4. Synthetic files : enabling low-latency file I

    08612n83b?file=thumbnail
  5. Adaptation Space: Surviving non-maskable failures

    4m90dv79q?file=thumbnail
  6. A feedback-driven proportion allocator for real-rate scheduling

    73666483h?file=thumbnail
  7. A feedback-driven proportion allocator for real-rate scheduling

    2801pg623?file=thumbnail
  8. Rapid prototyping of a German TTS system

    Wm117p29p?file=thumbnail
  9. An idealized MetaML : simpler, and more expressive. (includes proofs)

    Wm117p30f?file=thumbnail
  10. A categorical analysis of multi-level languages (extended abstract)

    1831ck259?file=thumbnail
  11. Feedback-based dynamic proportion allocation for disk I

    S7526c72m?file=thumbnail
  12. Elementary microarchitecture algebra : top-level proof of pipelined microarchitecture

    Sn009z07c?file=thumbnail
  13. A Comparison of speech recognizers created using manually-aligned and automatically-aligned training data

    N583xv30s?file=thumbnail
  14. Taking the hol out of HOL

    Ns064640z?file=thumbnail
  15. DALI: an untyped CBV operational semantics and equational theory for datatypes with binders (Technical Development)

    9g54xh96x?file=thumbnail
  16. Recursive monadic bindings : technical development and details

    V405s974f?file=thumbnail
  17. A recursive do for Haskell : Design and Implementation

    Nz805z98f?file=thumbnail
  18. Canonization for disjoint unions of theories

    4x51hj29h?file=thumbnail
  19. Design of a language for modular programs

    Kp78gg623?file=thumbnail
  20. cse-82-002

    Ff3655656?file=thumbnail
  21. Type checking In Exp : an algebraic approach

    T722h910g?file=thumbnail
  22. Abstract syntax in theory and practice

    C821gk02r?file=thumbnail
  23. A syntax-analyzer constructor

    Rv042t33w?file=thumbnail
  24. Representing roles in univeral scheme interfaces

    5d86p0534?file=thumbnail
  25. Pattern recognition in FP programs

    Vd66w0157?file=thumbnail
  26. An experimental multicomputer with a real-time event monitor

    V692t6545?file=thumbnail
  27. Marigold - a functional, flow-graph language

    Ms35t899n?file=thumbnail
  28. Software templates

    Xd07gs92m?file=thumbnail
  29. Predicate driven model of data flow computation

    W3763717s?file=thumbnail
  30. Capturing more meaning in databases

    Vt150j65f?file=thumbnail
  31. An efficient garbage collector for graph machines

    B5644r780?file=thumbnail
  32. Functional Semantics of Modules

    S1784m06r?file=thumbnail
  33. Translating an FP dialect to L - A proof of correctness

    0z708w568?file=thumbnail
  34. The G-machine: a fast, graph-reduction evaluator

    Qz20ss88q?file=thumbnail
  35. Release testing for probable correctness

    St74cq815?file=thumbnail
  36. When chasing your tail saves time

    Pr76f3709?file=thumbnail
  37. Incremental collection of dynamic, list-structure memories

    0p0967267?file=thumbnail
  38. Parallel processing on the DENECLOR HEP with large grain data flow techniques

    Xs55mc42m?file=thumbnail
  39. Displaying database objects

    B5644r798?file=thumbnail
  40. Earley deduction

    Mg74qm473?file=thumbnail
  41. Constructive negation in Horn-clause programs

    St74cq82f?file=thumbnail
  42. QUICKTALK : a Smalltalk-80 dialect for defining primitive methods

    Bk128b15z?file=thumbnail
  43. Development of an object-oriented DBMS

    Pk02c995f?file=thumbnail
  44. How to make a billion connections

    Rb68xc11m?file=thumbnail
  45. A design methodology for high-performance, general-purpose VLSI

    12579s60d?file=thumbnail
  46. A connectivity analysis of a class of simple associative neural networks

    02870w04d?file=thumbnail
  47. A connectionist

    Wm117p31q?file=thumbnail
  48. The filter - A paradigm for interfaces

    Mg74qm48c?file=thumbnail
  49. Microarchitecture specification

    B5644r801?file=thumbnail
  50. A RlSC architecture for symbolic computation

    V118rd85q?file=thumbnail
  51. PIQUE : a relational query language without relations

    Bz60cw625?file=thumbnail
  52. Load balancing heuristics and network Topologies for distributed evaluation of Prolog

    Vq27zn67m?file=thumbnail
  53. Functions + logic in theory and practice

    8w32r5951?file=thumbnail
  54. A model for execution of PARLOG on a distributed porcessor network

    6969z1053?file=thumbnail
  55. A connectionist

    V979v3389?file=thumbnail
  56. Constructive semantics for negation

    Np193965k?file=thumbnail
  57. Selectivity estimation using moments and density functions

    02870w05p?file=thumbnail
  58. Multi-level monitoring of parallel programs

    1v53jx222?file=thumbnail
  59. Abstract object in an object-oriented data model

    2r36tx85r?file=thumbnail
  60. Making database systems fast enough for CAD applications

    Ww72bb81p?file=thumbnail
  61. Program monitoring tools for parallel processing with large-grain data flow techniques

    4q77fr67f?file=thumbnail
  62. The stability of query evaluation plans and dynamic query evaluation plans

    2r36tx861?file=thumbnail
  63. Software design revision control or, how to keep too many cooks from spoiling the broth

    Xk81jk719?file=thumbnail
  64. Design of a debugger for large-grain data flow programs

    0c483j73m?file=thumbnail
  65. A formal model of parallel computation for LGDF2

    8k71nh43g?file=thumbnail
  66. High-level parallel debugging with LGDF2

    9c67wn16z?file=thumbnail
  67. Parallel processing research at OGC

    Z603qx70p?file=thumbnail
  68. Microarchitecture specification for the Analog Processor Node, APN

    Qb98mf695?file=thumbnail
  69. Microarchitecture specification for the Broadcast Hierarchy (TBH) Test chip

    Gq67jr38r?file=thumbnail
  70. Microarchitecture specification for the Back-propagation State Machine (BSM)

    3b5918834?file=thumbnail
  71. Physical Broadcast Structure

    5h73pw447?file=thumbnail
  72. Fault simulation of a wafer-scale integrated neural network

    K930bx234?file=thumbnail
  73. Fltsim detailed description and operation

    9s161651q?file=thumbnail
  74. Relational division : four algorithms and their performance

    1r66j1484?file=thumbnail
  75. Contention and the star graph as a network topology

    Cj82k759n?file=thumbnail
  76. DataCube : an integrated data and compute server based on a hypercube-connected dataflow database machine

    Fb494864p?file=thumbnail
  77. Query optimization in object-oriented database systems : the REVELATION project

    Kd17ct11v?file=thumbnail
  78. A program for mapping CNNs to physical architectures

    6395w751f?file=thumbnail
  79. A VLSI interconnect structure for neural networks

    M613mx85j?file=thumbnail
  80. ANNE : Another Neural Network Emulator

    Tq57nr32v?file=thumbnail
  81. ANNE user manual

    Tt44pn24d?file=thumbnail
  82. A fast algorithm for near-optimal static scheduling of acyclic graphs to Multiprocessor Systems

    Sf268539b?file=thumbnail
  83. The HyperModel benchmark

    5m60qs126?file=thumbnail
  84. CAPsim tutorial

    Nv9353252?file=thumbnail
  85. KLOPF--a classically conditioned silicon neuron architecture specification

    73666484s?file=thumbnail
  86. Modifications to artificial neural networks models for Digital Hardware Implementation

    Pc289j41v?file=thumbnail
  87. Representing CSG solids using a logic-based object data model

    Pk02c996q?file=thumbnail
  88. Why isnt there an object-oriented data model?

    N870zr20s?file=thumbnail
  89. More iteration space tiling

    3x816n00w?file=thumbnail
  90. Loop rotation

    Tx31qj045?file=thumbnail
  91. Volcano : an extensible and parallel query evaluation Systen

    1c18dg05b?file=thumbnail
  92. Encapsulation of parallelism in the volcano query processing system

    Vh53ww06b?file=thumbnail
  93. Parallel external sorting in volcano

    Pz50gw34r?file=thumbnail
  94. The one-to-one match operator of the Volcano query Processing System

    Rf55z796z?file=thumbnail
  95. Pitch detection with a neural-net classifier

    F1881m256?file=thumbnail
  96. Heap-Filter Merge Join: A new algorithm for joining medium-size relations

    8336h223x?file=thumbnail
  97. Set processing and complex object assembly in Volcano and the REVELATION project

    Vt150j670?file=thumbnail
  98. A neural-net training program based on conjugate-radient optimization

    Cz30ps986?file=thumbnail
  99. HAS User manual

    9z903021f?file=thumbnail
  100. SARA : a Cray Assembly Language speedup tool

    Wm117p320?file=thumbnail