Search Constraints

Number of results to display per page

Search Results

  1. Calculating software generators from solution specifications

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

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

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

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

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

    Qz20ss90r?file=thumbnail
  7. Defunctionalization of typed programs

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

    Vm40xr940?file=thumbnail
  9. Induction and synthesis for automatic program transformation

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

    Kd17ct124?file=thumbnail
  11. Automating synthesis by completion

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

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

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

    7s75dc66p?file=thumbnail
  15. PVM : experiences, current status and future direction

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

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

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

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

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

    Bz60cw63f?file=thumbnail