Search Constraints

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

Search Results

  1. Induction and synthesis for automatic program transformation

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

    Kd17ct124?file=thumbnail
  3. Automating synthesis by completion

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

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

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

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

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

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

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

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

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

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

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

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

    Hh63sw25s?file=thumbnail
  16. Letter-sequence dialogues

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

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

    Qj72p740p?file=thumbnail
  19. Optimizing algebraic programs

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

    C821gk049?file=thumbnail