Search Constraints

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

Search Results

  1. Microarchitecture specification

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

    Mg74qm48c?file=thumbnail
  3. A connectionist

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

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

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

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

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

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

    St74cq82f?file=thumbnail
  10. Earley deduction

    Mg74qm473?file=thumbnail
  11. Displaying database objects

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

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

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

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

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

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

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

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

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

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

    W3763717s?file=thumbnail
  22. Software templates

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    S1784m05g?file=thumbnail