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. Customizable operating systems

    6q182k427?file=thumbnail
  2. Reflection on a legacy transaction processing monitor

    Vd66w017s?file=thumbnail
  3. Notes for pipelines of transformations for ML

    7d278t32v?file=thumbnail
  4. Device and data independence for multimedia presentations

    H702q6713?file=thumbnail
  5. Fast concurrent dynamic linking for an adaptive operating system

    N296wz46f?file=thumbnail
  6. A multimodal browser for the World-Wide Web

    2801pg63c?file=thumbnail
  7. Coding for mutuality strategies in dialogue

    W9505075z?file=thumbnail
  8. Vertical information management : a framework to support high-level information requests

    8w32r5969?file=thumbnail
  9. Flexible mapping for retrieval from federated schemas with modelling variations

    Bv73c072b?file=thumbnail
  10. Revisiting catamorphisms over datatypes with embedded functions

    0p096727h?file=thumbnail
  11. A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivial (preliminary Report)

    Gh93gz932?file=thumbnail
  12. Algebraic unnesting for nested queries

    Tq57nr34d?file=thumbnail
  13. QoS Scalability for Streamed Media Delivery

    P8418n56z?file=thumbnail
  14. Interfac-directed partial evaluation

    K930bx24d?file=thumbnail
  15. Erasure for termination proofs

    Z890rt50d?file=thumbnail
  16. A dependently typed assembly language

    12579s62z?file=thumbnail
  17. MetaML and multi-stage programming with explicit annotations

    2v23vt761?file=thumbnail
  18. Symbolic simulation of microprocessor models using type classes in Haskell

    Hx11xf637?file=thumbnail
  19. Revisiting reference materialization techniques for object query Processing

    Qb98mf72g?file=thumbnail
  20. Adaptive resource management via modular feedback control

    M613mx86t?file=thumbnail
  21. Proceedings of SRS-93

    J6731405g?file=thumbnail
  22. Database query optimization, proceedings of the ODBF workshop

    1v53jx24m?file=thumbnail
  23. Supplemental proceedings of the 13th international conference on theorem proving in higher order logics (TPHOLs 2000)

    3f4625777?file=thumbnail
  24. Signal, noise, and genetic algorithms

    Gh93gz92s?file=thumbnail
  25. Comments on the andquot;Third-Generation Data Base System Manifestoandquot;

    Rr171x51k?file=thumbnail
  26. What is an abstract machine?

    0k225b40j?file=thumbnail
  27. Breitenbush and Santiam : tools for program development in Extended ML

    0r967408h?file=thumbnail
  28. Concurrencry control, version management and transactions in advanced database systems

    Vq27zn68w?file=thumbnail
  29. Towards an object-oriented query algebra

    12579s61p?file=thumbnail
  30. Speaking in tongues : the language of Revelation

    K0698779f?file=thumbnail
  31. Hypercube Vs cube-connected cycles : a topological evaluation

    Tx31qj05f?file=thumbnail
  32. Data structures for optimizing programs with explicit parallelism

    9593tv48g?file=thumbnail
  33. Distribution independent programming and the Saxpy

    Tq57nr334?file=thumbnail
  34. MetaMP : a higher level abstraction for message-passing programming

    6395w752q?file=thumbnail
  35. Encoding and classification in a model of olfactory cortex

    Kw52j8309?file=thumbnail
  36. Controlling interaction with meta-acts

    4j03cz94m?file=thumbnail
  37. Dynamics of learning in recurrent feature-discovery Networks

    7d278t31k?file=thumbnail
  38. The LGDF2 language and preprocessor

    Rx913q112?file=thumbnail
  39. Air traffic control communication at Portland International Airport July 1, 1990

    C247ds47m?file=thumbnail
  40. Air traffic control communication at Detroit Metro Wayne County Airport August 17, 1987

    Cf95jb78m?file=thumbnail
  41. Efficient assembly of complex objects

    Pk02c9970?file=thumbnail
  42. Speech recognition with a cortex model : preliminary results and outlook

    Gf06g3007?file=thumbnail
  43. Program transformation and rewriting

    0g354f523?file=thumbnail
  44. A matching process modulo a theory of categorical products

    X059c759q?file=thumbnail
  45. Recovery with limited replay : fault-tolerant processes in Linda

    5999n377g?file=thumbnail
  46. Communications in a tree architecture

    Sq87bt90w?file=thumbnail
  47. A survey of categorical computation : fixed points, partiality, combinators, ... control?

    Ff365566g?file=thumbnail
  48. Experiences with data dependence and loop restructuring in the tiny research tool

    6h440s80w?file=thumbnail
  49. The Power Test for data dependence

    9880vr333?file=thumbnail
  50. A loop restructuring research tool

    Jw827b983?file=thumbnail