Search Constraints

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

Search Results

  1. Sparse data-flow analysis for DAG parallel programs

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

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

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

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

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

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

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

    3x816n02f?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. Combining simulated annealing with local search heuristics

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

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

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

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

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

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

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

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

    Hh63sw25s?file=thumbnail
  24. Letter-sequence dialogues

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

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

    Qj72p740p?file=thumbnail
  27. Optimizing algebraic programs

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

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

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

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

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

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

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

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

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

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

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

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

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

    K06987806?file=thumbnail
  41. Type parametric programming

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

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

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

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

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

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

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

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

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

    7d278t334?file=thumbnail