Search Constraints

Filtering by: Collection Scholars Archive Remove constraint Collection: Scholars Archive School Oregon Graduate Institute Remove constraint School: Oregon Graduate Institute
Number of results to display per page

Search Results

  1. Traits : the Formal Model

    D504rk62m?file=thumbnail
  2. Traits : composable units of behavior

    Zc77sq43h?file=thumbnail
  3. Fault detection for salinity sensors in the Columbia Estuary

    Sf2685403?file=thumbnail
  4. Calculating software generators from solution specifications

    Q237hs306?file=thumbnail
  5. A practical method for realizing semantics-based concurrency control

    Kd17ct13d?file=thumbnail
  6. Sparse data-flow analysis for DAG parallel programs

    D217qp84d?file=thumbnail
  7. A reference chain approach for live variables

    F7623c777?file=thumbnail
  8. Termination issues in automated syntheses

    8w32r597k?file=thumbnail
  9. ASTRE : towards a fully automated program transformation System

    Qz20ss90r?file=thumbnail
  10. cse-94-026

    8623hz03h?file=thumbnail
  11. Defunctionalization of typed programs

    Vq27zn695?file=thumbnail
  12. Processor virtualization and migration for PVM

    Vm40xr940?file=thumbnail
  13. Gang scheduling in heterogenous distributed systems

    3x816n02f?file=thumbnail
  14. Induction and synthesis for automatic program transformation

    0c483j74w?file=thumbnail
  15. AutoCRAT : an automated tool to support conflict detection in a concurrent engineering environment

    Kd17ct124?file=thumbnail
  16. Automating synthesis by completion

    8c97kq651?file=thumbnail
  17. CoMet : a synthetic benchmark for message-passing architectures

    Kw52j831k?file=thumbnail
  18. A user-Level process package for PVM

    1c18dg07w?file=thumbnail
  19. Partitioning of unstructured meshes for load balancing

    7s75dc66p?file=thumbnail
  20. Combining simulated annealing with local search heuristics

    B8515n701?file=thumbnail
  21. PVM : experiences, current status and future direction

    1c18dg06m?file=thumbnail
  22. Adaptive load migration systems for PVM

    Hm50ts06t?file=thumbnail
  23. MPI : a message passing interface

    Mc87pq56t?file=thumbnail
  24. Adaptive Execution of Data Parallel Computations on Networks of Heterogeneous Workstations

    P5547r71t?file=thumbnail
  25. Software Design for Reliability and Reuse A ProofofConcept Demonstration

    Gx41mj212?file=thumbnail
  26. A transformation system combining partial evaluation with term rewriting

    Bz60cw63f?file=thumbnail
  27. Automatic transformations by rewriting techniques

    S7526c745?file=thumbnail
  28. Monads, indexes and transformations

    Hh63sw25s?file=thumbnail
  29. Letter-sequence dialogues

    Cf95jb79w?file=thumbnail
  30. Message Specication Language MSL A domain specific design language for message translation and validation

    X059c7621?file=thumbnail
  31. Improving programs which recurse over multiple inductive structures

    Qj72p740p?file=thumbnail
  32. Optimizing algebraic programs

    C821gk05k?file=thumbnail
  33. A specification for an MTV generator

    C821gk049?file=thumbnail
  34. Algebraic design language (preliminary definition)

    707958028?file=thumbnail
  35. Acknowledgment acts in task-oriented dialogue

    8049g531c?file=thumbnail
  36. Momentum and optimal stochastic search

    5x21tf758?file=thumbnail
  37. Predicting the U.S. index of industrial production (extended abstract)

    Np1939674?file=thumbnail
  38. Fast pruning using principal components

    2801pg64n?file=thumbnail
  39. Optimal stochastic search and adaptive momentum

    D504rk61b?file=thumbnail
  40. A coordinate independent center manifold reduction

    3r074v23r?file=thumbnail
  41. On the application of partial evaluation to database optimization

    X920fx199?file=thumbnail
  42. Demand-driven constant propagation

    H702q672c?file=thumbnail
  43. Script-based QOS specifications for multimedia presentations

    Jd472w75j?file=thumbnail
  44. Software design for reliability and reuse preliminary method definition

    3484zh37b?file=thumbnail
  45. A semantics of compile-time Reflection

    K06987806?file=thumbnail
  46. Type parametric programming

    M039k5268?file=thumbnail
  47. Combining simulated annealing with local search heuristics

    Tx31qj070?file=thumbnail
  48. A user-level process package for concurrent computing

    Fq977v162?file=thumbnail
  49. Contribution graphs in multiparty discourse

    Fq977v15s?file=thumbnail
  50. Detecting induction variables using SSA form

    Pr76f371k?file=thumbnail
  51. Extended SSA with factored use-def chains to support optimization and parallelism

    Jw827b99c?file=thumbnail
  52. Automatic array alignment for distributed memory multicomputers

    41687h77v?file=thumbnail
  53. A class specific optimizing compiler

    Rb68xc12w?file=thumbnail
  54. Parallel array classes and lightweight sharing mechanisms

    Ns064642h?file=thumbnail
  55. A brief tutorial on epsilon serializability and a survey of recent work

    7d278t334?file=thumbnail
  56. A study of dynamic optimization techniques : lessons and directions in kernel design

    Gb19f614b?file=thumbnail
  57. Separate polyvariant binding-time analysis

    0k225b43c?file=thumbnail
  58. Accessing imprecise data : an approach based on intervals

    6969z106c?file=thumbnail
  59. Asynchronous consistency restoration under epsilon serializability

    1831ck26k?file=thumbnail
  60. Efficient computation of sparse elements of the inverse of a sparse near-tridiagonal matrix with application to the nerve equation

    Z316q196r?file=thumbnail
  61. Fast exact multiplication by the Hessian

    Mk61rh241?file=thumbnail
  62. Inductive programming

    Hd76s031v?file=thumbnail
  63. Feature selection for improved classification

    8p58pd138?file=thumbnail
  64. Weight space probability densities in stochastic learning : II. transients and basin hopping times

    Db78tc281?file=thumbnail
  65. Weight space probability densities in stochastic learning : I. dynamics and equilibria

    J6731406r?file=thumbnail
  66. Prediction and control of the glucose metabolism of a diabetic

    Z029p5083?file=thumbnail
  67. Participatory behavior in participatory design

    Fx719m72p?file=thumbnail
  68. Three monads for continuations

    0v838086x?file=thumbnail
  69. Monads, indexes and transformations

    Cc08hf93h?file=thumbnail
  70. MetaMP approach to parallel programming

    F4752h00k?file=thumbnail
  71. Generating programs by Reflection

    0k225b423?file=thumbnail
  72. Workshop on spoken language understanding

    Bk128b192?file=thumbnail
  73. Triangular Banerjees Inequalities with directions

    3484zh362?file=thumbnail
  74. Flow graph anomalies : whats in a loop?

    9z903022q?file=thumbnail
  75. Specification and generation of displays for complex database objects

    9c67wn177?file=thumbnail
  76. The effects of virtually addressed caches on virtual memory design and performance

    41687h76k?file=thumbnail
  77. A review of research in automatic language identification

    Q237hs29f?file=thumbnail
  78. Porting Chorus to the PA-RISC : Overall Evaluation

    1r66j149d?file=thumbnail
  79. Trading with committees : a comparative study

    Sb397864f?file=thumbnail
  80. Price behavior and Hurst Exponents of tick-by-tick interbank foreign exchange rates INTERBANK FOREIGN EXCHANGE RATES

    Kk91fk776?file=thumbnail
  81. Economic forecasting : challenges and neural network solutions

    St74cq83q?file=thumbnail
  82. IMPROVED ESTIMATES FOR The rescaled range and Hurst exponents

    T435gd25v?file=thumbnail
  83. Using compact data representations for languages based on catamorphisms

    Zw12z5620?file=thumbnail
  84. Customizable operating systems

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

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

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

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

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

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

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

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

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

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

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

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

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

    K930bx24d?file=thumbnail
  98. Erasure for termination proofs

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

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

    2v23vt761?file=thumbnail