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
  21. Automatic transformations by rewriting techniques

    S7526c745?file=thumbnail
  22. Letter-sequence dialogues

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

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

    Qj72p740p?file=thumbnail
  25. Optimizing algebraic programs

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

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

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

    8049g531c?file=thumbnail
  29. Vertical information management : a framework to support high-level information requests

    8w32r5969?file=thumbnail
  30. Quality of service specification for multimedia presentations

    Sb3978635?file=thumbnail
  31. Design automation : making formal methods relevant

    Hh63sw237?file=thumbnail
  32. Classifying with Gaussian mixtures and clusters

    Nv935323h?file=thumbnail
  33. Prediction risk and architecture selection for neural networks

    Zc77sq427?file=thumbnail
  34. Learning in compositional hierarchies : inducing the structure of objects from data

    C247ds44s?file=thumbnail
  35. A diagrammatic approach to gradient derivations for neural networks

    Zg64tm220?file=thumbnail
  36. A smoothing regularizer for feedforward and recurrent neural networks

    M039k5250?file=thumbnail