Search Constraints

Filtering by: Collection Scholars Archive Remove constraint Collection: Scholars Archive Resource type article Remove constraint Resource type: article

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