Search Constraints

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

Search Results

  1. A design methodology for high-performance, general-purpose VLSI

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

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

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

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

    St74cq82f?file=thumbnail
  6. Earley deduction

    Mg74qm473?file=thumbnail
  7. Displaying database objects

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

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

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

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

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

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

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

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

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

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

    W3763717s?file=thumbnail
  18. Software templates

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Qv33rx066?file=thumbnail
  48. Pitch estimation

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

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

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

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

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

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

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

    2227mp891?file=thumbnail
  56. Reactive functional programming

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

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

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

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

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

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

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

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

    Q811kk017?file=thumbnail
  65. Type-driven defunctionalization

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

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

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

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

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

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

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

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

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

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

    Ng451h905?file=thumbnail
  76. Window functions

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Z603qx69x?file=thumbnail