Search Constraints

Filtering by: Collection Scholars Archive Remove constraint Collection: Scholars Archive Rights http://rightsstatements.org/vocab/InC/1.0/ Remove constraint Rights: http://rightsstatements.org/vocab/InC/1.0/
Number of results to display per page

Search Results

  1. The stability of query evaluation plans and dynamic query evaluation plans

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

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

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

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

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

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

    Np193965k?file=thumbnail
  8. A connectionist

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

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

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

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

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

    V118rd85q?file=thumbnail
  14. Microarchitecture specification

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

    Mg74qm48c?file=thumbnail
  16. A connectionist

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

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

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

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

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

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

    St74cq82f?file=thumbnail
  23. Earley deduction

    Mg74qm473?file=thumbnail
  24. Displaying database objects

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

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

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

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

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

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

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

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

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

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

    W3763717s?file=thumbnail
  35. Software templates

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    N583xv30s?file=thumbnail