Search Constraints

Filtering by: Collection Scholars Archive Remove constraint Collection: Scholars Archive

Search Results

  1. Traits : composable units of behavior

    Zc77sq43h?file=thumbnail
  2. Fault detection for salinity sensors in the Columbia Estuary

    Sf2685403?file=thumbnail
  3. Calculating software generators from solution specifications

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

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

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

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

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

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

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

    Vq27zn695?file=thumbnail