Search Constraints

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

Search Results

  1. Development of an object-oriented DBMS

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

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

    St74cq82f?file=thumbnail
  4. Earley deduction

    Mg74qm473?file=thumbnail
  5. Displaying database objects

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

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

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

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

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

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

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

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

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

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

    W3763717s?file=thumbnail
  16. Software templates

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Qv33rx066?file=thumbnail
  46. Pitch estimation

    Gx41mj20s?file=thumbnail
  47. View consistency for optimistic replication

    4m90dv78f?file=thumbnail
  48. Mx a package for rapid mathematical prototyping and algorithm development with application to speech and speaker recognition

    Q811kk02h?file=thumbnail
  49. Multi-stage programming : axiomatization and type safety

    5t34sj83q?file=thumbnail
  50. Confirmation in multimodal systems

    T148fh37d?file=thumbnail
  51. On type-directed partial evaluation

    Gt54kn28r?file=thumbnail
  52. Facets of multi-stage computation in software architecture

    4t64gn433?file=thumbnail
  53. Precis-based navigation for familiarization

    2227mp891?file=thumbnail
  54. Reactive functional programming

    Tb09j596c?file=thumbnail
  55. OGIresLPC : Diphone synthesizer using residual-excited linear prediction

    Db78tc26g?file=thumbnail
  56. Teaching software quality and leadership : experiences and successes

    5999n374n?file=thumbnail
  57. Adaptive prefetching for device-independent file I

    Dz010q35x?file=thumbnail
  58. A toolkit for specializing production operating system code

    Rj4304863?file=thumbnail
  59. Flow and congestion control for internet media streaming applications

    Pk02c9945?file=thumbnail
  60. Exploiting non-determinism in set iterators to reduce I

    Gb19f611h?file=thumbnail
  61. Physical media independence : system support for dynamically available network interfaces

    Ww72bb80d?file=thumbnail
  62. CPU management for UNIX-based MPEG video Applications

    Q811kk017?file=thumbnail
  63. Type-driven defunctionalization

    5425kb01m?file=thumbnail
  64. Demand-driven interprocedural constant propagation : implementation and evaluation

    Mk61rh23r?file=thumbnail
  65. Smoothing regularizers for projective basis function networks

    0r967406z?file=thumbnail
  66. Structured maps : modeling explicit semantics over a universe of information

    Kk91fk75n?file=thumbnail
  67. A type-directed, on-line partial evaluator for a polymorphic language

    79407x52t?file=thumbnail
  68. A simple method for estimating the weight decay parameter

    Wh246s463?file=thumbnail
  69. Smoothing regularizers for projective basis function networks

    1v53jx21s?file=thumbnail
  70. Fusion for free!

    Cn69m449x?file=thumbnail
  71. Model matching and SFMD computation

    Mk61rh22g?file=thumbnail
  72. A neural network approach to futures trading

    9c67wn15p?file=thumbnail
  73. A neural network approach to futures trading

    Ng451h905?file=thumbnail
  74. Window functions

    Cr56n131q?file=thumbnail
  75. Proving program termination in higher order logic

    0g354f51t?file=thumbnail
  76. NetVCR: a high-performance packet replay engine

    0c483j72b?file=thumbnail
  77. Adaptive principal component analysis

    8336h221c?file=thumbnail
  78. The Efficiency of multimodal interaction for a map-based task

    2n49t190j?file=thumbnail
  79. The Adaptive agent architecture: achieving fault- tolerance using persistent broker teams

    2b88qc50s?file=thumbnail
  80. Towards a fault-tolerant multi-agent system architecture

    Tq57nr31k?file=thumbnail
  81. Fine-grain period adaptation in soft real-time environments

    Vx021f413?file=thumbnail
  82. Using dynamic optimization for control of real rate CPU resource management applications

    Cj82k7573?file=thumbnail
  83. Provisioning on-line games : a traffic analysis of a busy counter-strike server

    736664827?file=thumbnail
  84. A recursive do for Haskell : design and implementation

    J96020870?file=thumbnail
  85. Recursive monadic bindings: technical development and details

    2n49t189s?file=thumbnail
  86. A bibliography of the intersection of genetic search and artificial neural networks

    Qz20ss865?file=thumbnail
  87. Indexing in an object-oriented DBMS

    G158bh620?file=thumbnail
  88. An efficient garbage collector for graph machines

    6395w7505?file=thumbnail
  89. Functional analysis of programs

    2227mp88r?file=thumbnail
  90. Tools for large-scale software engineering

    Cv43nx208?file=thumbnail
  91. The MU6-G virtual address cache

    9593tv45n?file=thumbnail
  92. Supporting time-sensitive applications on general-purpose operating systems

    Dv13zt35j?file=thumbnail
  93. Supporting low latency TCP-based media streams

    0z708w550?file=thumbnail
  94. Timber : a programming language for real-time embedded systems

    C821gk01g?file=thumbnail
  95. Infopipes: an abstraction for multimedia streaming

    9s161649p?file=thumbnail
  96. The Minimal buffering requirements of congestion controlled interactive multimedia applications

    D504rk602?file=thumbnail
  97. Infopipesan abstraction for information flow

    6108vb496?file=thumbnail
  98. Reifying communication at the application level

    Z603qx69x?file=thumbnail
  99. Infopipes for composing distributed information flows

    Bv73c0712?file=thumbnail
  100. Thread transparency in information flow middleware

    Qf85nb54s?file=thumbnail