Search Constraints

Filtering by: Collection Scholars Archive Remove constraint Collection: Scholars Archive
Number of results to display per page

Search Results

  1. A neural-net training program based on conjugate-radient optimization

    Cz30ps986?file=thumbnail
  2. Set processing and complex object assembly in Volcano and the REVELATION project

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

    8336h223x?file=thumbnail
  4. Pitch detection with a neural-net classifier

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

    Rf55z796z?file=thumbnail
  6. Parallel external sorting in volcano

    Pz50gw34r?file=thumbnail
  7. Encapsulation of parallelism in the volcano query processing system

    Vh53ww06b?file=thumbnail
  8. Volcano : an extensible and parallel query evaluation Systen

    1c18dg05b?file=thumbnail
  9. Loop rotation

    Tx31qj045?file=thumbnail
  10. More iteration space tiling

    3x816n00w?file=thumbnail
  11. Why isnt there an object-oriented data model?

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

    Pk02c996q?file=thumbnail
  13. Modifications to artificial neural networks models for Digital Hardware Implementation

    Pc289j41v?file=thumbnail
  14. KLOPF--a classically conditioned silicon neuron architecture specification

    73666484s?file=thumbnail
  15. CAPsim tutorial

    Nv9353252?file=thumbnail
  16. The HyperModel benchmark

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

    Sf268539b?file=thumbnail
  18. ANNE user manual

    Tt44pn24d?file=thumbnail
  19. ANNE : Another Neural Network Emulator

    Tq57nr32v?file=thumbnail
  20. A VLSI interconnect structure for neural networks

    M613mx85j?file=thumbnail
  21. A program for mapping CNNs to physical architectures

    6395w751f?file=thumbnail
  22. Query optimization in object-oriented database systems : the REVELATION project

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

    Fb494864p?file=thumbnail
  24. Contention and the star graph as a network topology

    Cj82k759n?file=thumbnail
  25. Relational division : four algorithms and their performance

    1r66j1484?file=thumbnail
  26. Fltsim detailed description and operation

    9s161651q?file=thumbnail
  27. Fault simulation of a wafer-scale integrated neural network

    K930bx234?file=thumbnail
  28. Physical Broadcast Structure

    5h73pw447?file=thumbnail
  29. Microarchitecture specification for the Back-propagation State Machine (BSM)

    3b5918834?file=thumbnail
  30. Microarchitecture specification for the Broadcast Hierarchy (TBH) Test chip

    Gq67jr38r?file=thumbnail
  31. Microarchitecture specification for the Analog Processor Node, APN

    Qb98mf695?file=thumbnail
  32. Parallel processing research at OGC

    Z603qx70p?file=thumbnail
  33. High-level parallel debugging with LGDF2

    9c67wn16z?file=thumbnail
  34. A formal model of parallel computation for LGDF2

    8k71nh43g?file=thumbnail
  35. Design of a debugger for large-grain data flow programs

    0c483j73m?file=thumbnail
  36. Software design revision control or, how to keep too many cooks from spoiling the broth

    Xk81jk719?file=thumbnail
  37. The stability of query evaluation plans and dynamic query evaluation plans

    2r36tx861?file=thumbnail
  38. Program monitoring tools for parallel processing with large-grain data flow techniques

    4q77fr67f?file=thumbnail
  39. Making database systems fast enough for CAD applications

    Ww72bb81p?file=thumbnail
  40. Abstract object in an object-oriented data model

    2r36tx85r?file=thumbnail
  41. Multi-level monitoring of parallel programs

    1v53jx222?file=thumbnail
  42. Selectivity estimation using moments and density functions

    02870w05p?file=thumbnail
  43. Constructive semantics for negation

    Np193965k?file=thumbnail
  44. A connectionist

    V979v3389?file=thumbnail
  45. A model for execution of PARLOG on a distributed porcessor network

    6969z1053?file=thumbnail
  46. Functions + logic in theory and practice

    8w32r5951?file=thumbnail
  47. Load balancing heuristics and network Topologies for distributed evaluation of Prolog

    Vq27zn67m?file=thumbnail
  48. PIQUE : a relational query language without relations

    Bz60cw625?file=thumbnail
  49. A RlSC architecture for symbolic computation

    V118rd85q?file=thumbnail
  50. Microarchitecture specification

    B5644r801?file=thumbnail
  51. The filter - A paradigm for interfaces

    Mg74qm48c?file=thumbnail
  52. A connectionist

    Wm117p31q?file=thumbnail
  53. A connectivity analysis of a class of simple associative neural networks

    02870w04d?file=thumbnail
  54. A design methodology for high-performance, general-purpose VLSI

    12579s60d?file=thumbnail
  55. How to make a billion connections

    Rb68xc11m?file=thumbnail
  56. Development of an object-oriented DBMS

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

    Bk128b15z?file=thumbnail
  58. Constructive negation in Horn-clause programs

    St74cq82f?file=thumbnail
  59. Earley deduction

    Mg74qm473?file=thumbnail
  60. Displaying database objects

    B5644r798?file=thumbnail
  61. Parallel processing on the DENECLOR HEP with large grain data flow techniques

    Xs55mc42m?file=thumbnail
  62. Incremental collection of dynamic, list-structure memories

    0p0967267?file=thumbnail
  63. When chasing your tail saves time

    Pr76f3709?file=thumbnail
  64. Release testing for probable correctness

    St74cq815?file=thumbnail
  65. The G-machine: a fast, graph-reduction evaluator

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

    0z708w568?file=thumbnail
  67. Functional Semantics of Modules

    S1784m06r?file=thumbnail
  68. An efficient garbage collector for graph machines

    B5644r780?file=thumbnail
  69. Capturing more meaning in databases

    Vt150j65f?file=thumbnail
  70. Predicate driven model of data flow computation

    W3763717s?file=thumbnail
  71. Software templates

    Xd07gs92m?file=thumbnail
  72. Marigold - a functional, flow-graph language

    Ms35t899n?file=thumbnail
  73. An experimental multicomputer with a real-time event monitor

    V692t6545?file=thumbnail
  74. Pattern recognition in FP programs

    Vd66w0157?file=thumbnail
  75. Representing roles in univeral scheme interfaces

    5d86p0534?file=thumbnail
  76. A syntax-analyzer constructor

    Rv042t33w?file=thumbnail
  77. Abstract syntax in theory and practice

    C821gk02r?file=thumbnail
  78. Type checking In Exp : an algebraic approach

    T722h910g?file=thumbnail
  79. cse-82-002

    Ff3655656?file=thumbnail
  80. Design of a language for modular programs

    Kp78gg623?file=thumbnail
  81. Canonization for disjoint unions of theories

    4x51hj29h?file=thumbnail
  82. A recursive do for Haskell : Design and Implementation

    Nz805z98f?file=thumbnail
  83. Recursive monadic bindings : technical development and details

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

    9g54xh96x?file=thumbnail
  85. Taking the hol out of HOL

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

    N583xv30s?file=thumbnail
  87. Elementary microarchitecture algebra : top-level proof of pipelined microarchitecture

    Sn009z07c?file=thumbnail
  88. Feedback-based dynamic proportion allocation for disk I

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

    1831ck259?file=thumbnail
  90. An idealized MetaML : simpler, and more expressive. (includes proofs)

    Wm117p30f?file=thumbnail
  91. Rapid prototyping of a German TTS system

    Wm117p29p?file=thumbnail
  92. A feedback-driven proportion allocator for real-rate scheduling

    2801pg623?file=thumbnail
  93. A feedback-driven proportion allocator for real-rate scheduling

    73666483h?file=thumbnail
  94. Adaptation Space: Surviving non-maskable failures

    4m90dv79q?file=thumbnail
  95. Synthetic files : enabling low-latency file I

    08612n83b?file=thumbnail
  96. The shared model : the key to analysis without paralysis

    6969z104t?file=thumbnail
  97. Quality of service semantics for multimedia database systems

    Gh93gz91h?file=thumbnail
  98. SWiFT : a feedback control and dynamic reconfiguration toolkit

    Bk128b13d?file=thumbnail
  99. The anatomy of a component generator

    S1784m05g?file=thumbnail
  100. Location independent names for nomadic computers

    Qv33rx066?file=thumbnail