Stem centaur$ (all stems)
3 papers:
- CAV-2009-HuntS #verification
- Centaur Technology Media Unit Verification (WAHJ, SS), pp. 353–367.
- ESOP-1992-Levaire #case study #programming #using
- Using the Centaur System to for Data-Parallel SIMD Programming: A Case Study (JLL), pp. 341–350.
- ESOP-1990-Bertot #implementation #interpreter #parallel
- Implementation of an Interpreter for a Parallel Language in Centaur (YB), pp. 57–69.