Search Constraints

Filtering by: Date 1999 Remove constraint Date: 1999 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/ School Oregon Graduate Institute Remove constraint School: Oregon Graduate Institute
Number of results to display per page

Search Results

  1. A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivial (preliminary Report)

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

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

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

    K930bx24d?file=thumbnail
  5. Erasure for termination proofs

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

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

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

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

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

    M613mx86t?file=thumbnail
  11. Elementary microarchitecture algebra : top-level proof of pipelined microarchitecture

    Sn009z07c?file=thumbnail
  12. The Efficiency of multimodal interaction for a map-based task

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

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

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

    Vx021f413?file=thumbnail
  16. GuardHouse: locking the stable door ahead of the Trojan Horse

    Q237hs27w?file=thumbnail